An ideal is a subset of ring such that it is possible to make a quotient ring with respect to this subset. This is the most frequent use of the name ideal, but it is used in other areas of mathematics too: ideals in set theory and order theory (which are closely related), ideals in semigroups, ...

learn more… | top users | synonyms

5
votes
1answer
64 views

A prime poset of ideals

Let $A$ be a ring (commutative unital), and $\mathcal I$ be a nonempty family of proper ideals of $A$. I will say that $\mathcal I$ has property $\dagger$ if for any $\mathfrak a\in\mathcal I$ and ...
5
votes
1answer
157 views

Quotient of ring of integers

Let $R=\mathcal{O}(K)$ be the ring of the integers of $K=\mathbb{Q}[\zeta_8]$, where $\zeta_8=e^{2\pi i/8}=\sqrt{2}/2(1+i)$ is a primitive eighth root of unity in $\mathbb{C}$. It can be shown that ...
5
votes
1answer
149 views

Idempotent and Hermitian vectors in Group Algebra

Let $C$ be the field of complex number and $G$ a finite group, then define $C[G]$ be a vector space over $C$, with elemnts of $G$ as the basis. Then any element in $C[G]$ can be written as $\sum_{g ...
5
votes
1answer
176 views

A Gröbner Basis Computation Gone Bad

Here is the problem statement: Consider the polynomial ideal $I = \langle b-r_1-r_2, c-r_1r_2 \rangle \subset \mathbb{Q}[r_1,r_2,b,c].$ Show that $I \cap \mathbb{Q}[b,c] = \langle 0 \rangle$. ...
5
votes
1answer
80 views

Is there a ring with the lattice of ideals isomorphic to $(\omega+1)^{\operatorname{op}}?$

In this question, I gave an example of a ring whose lattice of two-sided ideals is order-isomorphic to $\omega+1$. I've been playing a bit with trying to find rings with a given lattice of ideals ...
5
votes
1answer
118 views

Three maximal ideals lying over $3\mathbb{Z}$?

A few weeks ago I asked a question about finding the number of maximal ideals lying above $3\mathbb{Z}$ in $B$, where $B$ is the integral closure of $\mathbb{Z}$ in a splitting extension ...
5
votes
1answer
62 views

Find a maximal ideal $I$ in the ring $\mathbb{Z}[i]$ such that $\mathbb{Z}[i]/I$ is isomorphic to $\mathbb{Z}/521\mathbb{Z}$.

I know $\mathbb{Z}[i]$, the Gaussian integers, is a PID. So $I$ is generated by a single element. At first I thought $I=(521)$, but $521$ can be reduced to $11^2 + 20^2$. Would $I=(11 + 20i)$ or ...
5
votes
0answers
196 views

Irreducible homogeneous ideals

I have the following question: Let $I$ be a homogeneous ideal. Is it true that $I$ is irreducible if and only if it can't be written as the intersection of two homogeneous ideals? So, is it ...
5
votes
0answers
72 views

Counterexamples to the avoidance lemma for arbitrary ideals

Let $A$ be a commutative ring with $1$. Let $I$ and $J_k$, $k=1,\dots,n$ be ideals of $A$ with $I\subseteq \cup _{k=1}^n J_k$. Then I have obtained the following: (1) If $J_k$, $k=1,\dots,n$, are ...
5
votes
1answer
43 views

Is there an ideal decomposition that counts the number of monomial generators?

Consider the ideal $I\subseteq S[x,y,z]$ where $S$ is some field of characteristic 0 (probably any field will do) and $I=\langle x^9-y^4z^4,y^9-x^5z^4,z^8-x^4y^5,x^6\rangle$. Notice that because the ...
5
votes
0answers
186 views

Non-cyclic unit groups

Is there any way to motivate why certain factor rings of $\mathbb{Z}, \mathbb{Z}[i]$, etc., to a prime power have non-cyclic unit groups? For example, the only such non-cyclic unit groups of factor ...
4
votes
4answers
121 views

Why do $f$ and $f'$ generate all of $K[X]$?

I have been studying Marcus' Number Fields. I am stuck on a remark in Appendix 2, page 258. He says: A monic irreducible polynomial $f$ of degree n over $K$ (a subfield of $\mathbb{C}$) splits into n ...
4
votes
3answers
242 views

Verifying that the ideal $(x^3-y^2)$ is prime

How to prove that the ideal $I=(x^3-y^2)$ in $k[x,y]$ is prime? I have constructed a map from $k[x,y]$ to $k[t]$, which maps $x$ to $t^2$, and $y$ to $t^3$. Then, I want to show that the kernel ...
4
votes
3answers
663 views

Find an ideal in $K[x,y]$ that is maximal but not principal.

Let $K$ be a field. Find an ideal of $K[x,y]$ that is maximal but not principal. Prove your claims.(Here we are working in a commutative ring with $1\neq 0.$) My idea: Choose $K=\mathbb{Q}.$ ...
4
votes
2answers
439 views

Does every prime ideal in a ring arise as kernel of a homomorphism into $\mathbb{Z}$?

Let $R$ be a commutative ring. Clearly the kernel of $h$ is a prime ideal whenever $h : R \rightarrow ...
4
votes
3answers
200 views

Idempotent in a local ring

Is it true that a local ring, i.e. a commutative ring with a unique maximal ideal, doesn't contain idempotent elements $\neq 0, 1$ ? Why ? Any hint ?
4
votes
4answers
167 views

Proof of the uniqueness of maximal ideal

Let $R$ be a commutative ring with $1$. Let $M$ be a maximal ideal of $R$ such that $M^2 = 0$. Prove that $M$ is the only maximal ideal of $R$.
4
votes
6answers
988 views

The ideal $I= \langle x,y \rangle\subset k[x,y]$ is not principal

The ideal $I= \langle x,y \rangle\subset k[x,y]$ is not a principal ideal. I don't know how to consider it. Any suggestions?
4
votes
3answers
417 views

Help with proof that $\mathbb Z[i]/\langle 1 - i \rangle$ is a field.

I have been having a lot of trouble teaching myself rings, so much so that even "simple" proofs are really difficult for me. I think I am finally starting to get it, but just to be sure could some one ...
4
votes
3answers
349 views

fields are characterized by the property of having exactly 2 ideals [duplicate]

Possible Duplicate: A ring is a field iff the only ideals are $(0)$ and $(1)$ Michael Artin's Algebra in the introduction of maximal fields, there was a sentence stated that fields are ...
4
votes
3answers
822 views

Ideal of the twisted cubic

The twisted cubic is the image of the morphism $\phi : \mathbb{P}^1 \to \mathbb{P}^3 , (x:y) \mapsto (x^3:x^2 y:x y^2:y^3)$, it is given by $X = V(ad-bc,b^2-ac,c^2-bd)$. Now I would like to compute ...
4
votes
1answer
481 views

Are distinct prime ideals in a ring always coprime? If not, then when are they?

Essentially as the title suggests - in some commutative ring $K$ (with 0,1), if we have 2 distinct proper prime ideals $\mathfrak{p}_1 \neq \mathfrak{p}_2$, is it necessarily the case (or if not, when ...
4
votes
3answers
329 views

Prove : If $I = (p(x))$ is a prime ideal in $F[x]$ then $p(x)$ is irreducible.

I have to show : If $I = (p(x))$ is a prime ideal in $F[x]$, where F is a field, then $p(x)$ is irreducible. In the book I use, there is the proof of the converse which uses Euclid's Lemma. I ...
4
votes
2answers
294 views

Cardinality of the quotient ring $\mathbb{Z}[x]/(x^2-3,2x+4)$

This problem is from a practice exam I was working on. What is the cardinality of the quotient $\mathbb{Z}[x]/(x^2-3,2x+4)$ ? Thoughts. If I find a ring that is easier to handle then this then I ...
4
votes
2answers
146 views

Is there any non-monoid ring which has no maximal ideal?

Is there any non-monoid ring which has no maximal ideal? We know that every commutative ring has at least one maximal ideals -from Advanced Algebra 1 when we are study Modules that makes it as a very ...
4
votes
2answers
237 views

Ideals of $\mathscr{I}(V) = \text{Hom}(V,V)$

I have been trying this notoriously difficult problem for quite some time but i haven't made any progress. Let $\mathscr{I}(V)$ denote the set of all homomorphisms $f : V \to V$. That is ...
4
votes
2answers
63 views

$R/I$ when $R$ is the ring of real continuous functions

If $R$ is the ring of all real continuous functions on $[0,1]$, I am trying to find $R/I$ where $$I=\{f\in{R}|f(.5)=0\}$$ Showing $I$ is an ideal is not a problem since we're defining addition and ...
4
votes
2answers
96 views

Where do I use the fact that $F$ is algebraically closed in this proof?

I have to do the following. Let $F$ be an algebraically closed field. $I\in F[X_1,...,X_n]$ an ideal. Denote by $S(I)$ the subset in $F^n$ consisting of all $n$-tuples $(a_1,...,a_n)\in F^n$ such that ...
4
votes
2answers
181 views

What is a projective ideal?

I've been looking for the definition of projective ideal but haven't found anything, all I've seen is the definition of projective module (but I don't know how these are related, if they are ¿?). Does ...
4
votes
3answers
81 views

For an ideal $I$ of $K[x]$, $K[x]/I$ is finitely generated iff $I$ is nonnull

In a book on rational series, a blunt statement is made to the effect that: For $K$ a field, $I$ an ideal of $K[x]$, $K[x]/I$ is finitely generated iff $I$ is nonnull. The statement elaborates ...
4
votes
2answers
320 views

Is this using the first isomorphism theorem for rings?

Let $F$ be a field and $f(x) = x - 1$ and $g(x) = x^2 - 1$. 1) Show that $F[x]/(f(x)) \cong F$ 2) Is ideal $(g(x))$ maximal? Explain your answer. ** I have a feeling that this uses the first ...
4
votes
2answers
82 views

Is an ideal which is maximal with respect to the property that it consists of zero divisors necessarily prime?

This is in follow-up to this question. Let $R$ be a commutative ring with identity and consider the set $Z \subset R$ of zero divisors. If the ideal $I\subset Z$ is maximal with respect to the ...
4
votes
3answers
225 views

Definition of principal ideal

This is a pretty basic question about principal ideals - on page 197 of Katznelson's A (Terse) Introduction to Linear Algebra, it says: Assume that $\mathcal{R}$ has an identity element. For $g\in ...
4
votes
1answer
273 views

Product of a principal proper ideal by itself

Let $P$ be a principal proper ideal in an integral domain. Is it $P^2 \subset P$ in general? If yes, how to prove it? For example, if you look at the ideal $(3)=3\mathbb{Z}$ in $\mathbb{Z}$, it ...
4
votes
2answers
352 views

On proving every ideal of $\mathbb{Z}_n$ is principal

I was working on a problem in Robert Ash's Abstract Algebra, and didn't follow part of the solution. The problem states Let $R$ be the ring of $\mathbb{Z}_n$ of integers modulo $n$, where $n$ may ...
4
votes
1answer
35 views

If $I\leq K[X_0,\dots,X_n]$ for $K$ a field is an ideal whose radical is homogeneous, is it always the case that $I$ is homogeneous?

If $I\leq K[X_0,\dots,X_n]$ (for $K$ a field, let's say algebraically closed) is an ideal whose radical is homogeneous, is it always the case that $I$ is homogeneous? I'm trying to understand ...
4
votes
2answers
56 views

Definition of primary ideal question

A primary ideal (in a commutative ring with unity) is an ideal $J$ for which if $ab\in J$, then either $a\in J$ or $b^n\in J$ for some integer $n\geq 1$. So it also implies (due to commutativity) that ...
4
votes
2answers
84 views

Prime ideals in $C[0,1]$

Are there any prime ideals in the ring $C[0,1]$ of continuous functions $[0,1]\rightarrow \mathbb{R}$, which are not maximal? Perhaps, I duplicate smb's question, but this is an interesting problem! ...
4
votes
3answers
348 views

Norm and square of the ideal $(2,1+\sqrt{-5})$ in the ring of integers

Let $I=(2,1+\sqrt{-5})$ be an ideal of the ring of integers of $\mathbb Q(\sqrt{-5})$. What is its norm $N(I)$? And is $I^2$ principal? My notes say: $1$, $\sqrt{-5}$ is a $\mathbb Z$-basis ...
4
votes
1answer
259 views

Is every proper nontrivial ideal in a Noetherian ring not flat?

I guess my general question is exactly what's in the title, but let me explain why I'm asking and how I came to it. Consider the ideal $I=\langle x,y \rangle \subset k[x,y]$ for a field $k$. Just to ...
4
votes
1answer
634 views

$I+J=R$, where $R$ is a commutative rng, prove that $IJ=I\cap J$.

So I basically have to prove what is on the title. Given $R$ a commutative rng (a ring that might not contain a $1$), with the property that $I+J=R$, (where $I$ and $J$ are ideals) we have to prove ...
4
votes
3answers
1k views

A proof that this set is an ideal of a commutative ring

This is a homework problem which I have worked hard on, but got stuck at the last step. Any assistance would be much appreciated. The problem is from Herstein's Abstract Algebra, 3rd ed., section 4.3, ...
4
votes
1answer
50 views

Maximal ideals in the ring of eventually constant sequences of real numbers

For homework I am studying the ring $R$ of eventually constant sequences of real numbers (with multiplication and addition defined componentwise). What are the maximal ideals of $R$? By looking at ...
4
votes
1answer
75 views

Minimal Ideal of a Commutative Ring with Unity

Can anyone help me prove this? This one is from Malik's Fundamentals of Abstract Algebra. An ideal $I$ of a ring $R$ is called a minimal ideal if $I≠{0}$ and there does not exist any ideal $J$ of R ...
4
votes
2answers
75 views

$I$ semisimple + $R/I$ semisimple $\implies$ $R$ semisimple

Let $R$ be a (not necessarily commutative) ring with unit. Let $I\subset R$ be an ideal that in turn is a ring with unit. Is there a theorem that says something like $I$ semisimple and and $R/I$ ...
4
votes
2answers
88 views

Proving a factorization of ideals in a Dedekind Domain

Let $R=\mathbb{Z}[\sqrt{-13}]$. Let $p$ be a prime integer, $p\neq 2,13$ and suppose that $p$ divides an integer of the form $a^2+13b^2$, where $a$ and $b$ are in $\mathbb{Z}$ and are coprime. Let ...
4
votes
1answer
149 views

Solving $x^2+19=y^5$

I was given several exercises and there is a particular one, I am not able to solve. Let it be given that $Pic(\mathbb{Z}[\sqrt{−19}])$ is a finite group of order $3$. Use this to find all integral ...
4
votes
2answers
332 views

How to find the nilpotent elements of $\mathbb{Z}/(\prod p_i^{n_i})$?

I've been following MIT's old opencourseware class on commutative algebra. For one problem, I want to find the nilpotent and idempotent elements of $\mathbb{Z}/(n)$, where $n=\prod p_i^{n_i}$. I know ...
4
votes
1answer
399 views

Is $(XY - 1)$ a maximal ideal in $k[[X]][Y]$?

Is $(XY - 1)$ a maximal ideal in $k[[X]][Y]$, and if so, how can I see it? It is at least prime because the generator is irreducible, and by the same argument it is maximal among all principal ...
4
votes
1answer
265 views

The ideal $(x,y)$ is not a free $K[x,y]$-module

Given a field $K$ we have the polynomial ring $K[x,y]$ in $2$ variables, which is also a left module (over itself). How can we prove that the ideal $(x,y)$ is not a free module?