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

31
votes
6answers
3k views

Quotient ring of Gaussian integers

A very basic ring theory question, which I am not able to solve. How does one show that $\mathbb{Z}[i]/(3-i) \cong \mathbb{Z}/10\mathbb{Z}$. Extending the result: $\mathbb{Z}[i]/(a-ib) \cong ...
17
votes
3answers
843 views

If $\mathop{\mathrm{Spec}}A$ is not connected then there is a nontrivial idempotent

I'm solving a problem from Atiyah-Macdonald. I have to show that if $X=\mathop{\mathrm{Spec}}A$ is not connected then $A$ contains idempotents $e \neq 0,1$. The converse is easy. If $e \in A$ ...
6
votes
2answers
3k views

What are the left and right ideals of matrix ring? How about the two sided ideals?

What are the left and right ideals of matrix ring? How about the two sided ideals?
4
votes
2answers
715 views

In a finite ring extension there are only finitely many prime ideals lying over a given prime ideal

I'm trying to solve the exercise 6.7 of Miles Reid's Undergraduate Commutative Algebra (pag 93). How can I prove that if $B$ is a finite ring extension of $A$, there are only finitely many prime ...
17
votes
7answers
4k views

Show that $\langle 2,x \rangle$ is not a principal ideal in $\mathbb Z [x]$

Hi I don't know how to show that $\langle 2,x \rangle$ is not principal and the definition of a principal ideal is unclear to me. I need help on this, please. The ring that I am talking about is ...
9
votes
2answers
1k views

Methods to check if an ideal of a polynomial ring is prime or at least radical

I am looking for methods to check whether a given ideal in $K[x_0,\dots,x_n]$ is prime. I mean something you can effectively use in some concrete non-trivial example. To be more explicit, I am working ...
14
votes
3answers
1k views

Complement of maximal multiplicative set is a prime ideal

Let $R$ be a commutative ring with identity. I've been trying to prove the following: If $S \subset R$ is a maximal multiplicative set, then $R \setminus S$ is a prime ideal of $R$. I have spent ...
9
votes
4answers
1k views

An integral domain whose every prime ideal is principal is a PID

Does anyone has a simple proof of the following fact: An integral domain whose every prime ideal is principal is a principal ideal domain (PID).
4
votes
1answer
387 views

Is the number of prime ideals of a zero-dimensional ring stable under base change?

Let $A$ be a zero-dimensional ring of finite type over a field $k$ and let $X= \textrm{Spec} \ A$ be its spectrum. Note that $X$ is a finite set. Suppose that $k\subset K$ is a finite field extension ...
6
votes
1answer
606 views

Is each power of a prime ideal a primary ideal?

I want to show that each power of a prime ideal is a primary ideal or I have to think about a counterexample?
1
vote
1answer
184 views

Can $(X_1,X_2) \cap (X_3,X_4)$ be generated with two elements from $k[X_1,X_2,X_3,X_4]$?

Can $(X_1,X_2) \cap (X_3,X_4)$ be generated with two elements in the ring $R=k[X_1,X_2,X_3,X_4]$? Can it be generated with three elements? (Here $k$ is a field.) Thanks for any help.
6
votes
4answers
3k views

Why are maximal ideals prime?

Could anyone explain to me why maximal ideals are prime? I'm approaching it like this, let $R$ be a commutative ring with $1$ and $A$ be a maximal ideal. Let $a,b\in R:ab\in A$ I'm trying to ...
5
votes
4answers
480 views

Maximal ideals in $K[X_1,\dots,X_n]$

Let $K$ be a field, and $a_1,\dots,a_n \in K$. Prove that the ideal $$(X_1-a_1,\dots,X_n-a_n)$$ is maximal in $K[X_1,\dots,X_n]$. I tried proving that the only elements outside the ideal are the ...
28
votes
3answers
930 views

Ideals of $\mathbb{Z}[X]$

Is it possible to classify all ideals of $\mathbb{Z}[X]$? By this I mean a preferably short enumerable list which contains every ideal exactly once, preferably specified by generators. The prime ...
11
votes
3answers
652 views

Examples of rings with ideal lattice isomorphic to $M_3$, $N_5$

In thinking about this recent question, I was reading about distributive lattices, and the Wikipedia article includes a very interesting characterization: A lattice is distributive if and only if ...
5
votes
2answers
249 views

Is quotient of a ring by a power of a maximal ideal local?

Say I have a commutative ring $R$ with a maximal ideal $m$. Then $m/m^k$ is a maximal ideal in $R/m^k$ for any $k$. Is it the only maximal ideal, i.e. is $R/m^k$ a local ring? This is a well ...
3
votes
3answers
197 views

Number of elements in the ring $\mathbb Z [i]/\langle 2+2i\rangle$

The question is : Show that $I=\langle 2+2 i\rangle$ is not a prime ideal of $\mathbb Z[i]$. Also find the number of elements in $\mathbb Z[i]/I$ and its characteristic. My try: I started with ...
6
votes
3answers
282 views

$\mathbb Z\times\mathbb Z$ is principal but is not a PID

I need to find an example of a ring that is not a PID but every ideal is principal. I know that $\mathbb Z\times\mathbb Z$ is not an integral domain, so certainly is not a PID, but here every ideal is ...
5
votes
5answers
1k views

Is $\mathbb{Z}[x]$ a principal ideal domain?

Is $ \mathbb{Z}[x] $ a principal ideal domain? Since the standard definition of principal ideal domain is quite difficult to use. Could you give me some equivalent conditions on whether a ring is a ...
5
votes
6answers
1k 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?
5
votes
1answer
415 views

Is any quotient of a Euclidean domain by a prime ideal a Euclidean domain?

Let $R$ be a Euclidean domain, i.e., a ring with a norm $N : R \rightarrow \mathbb N$ such that for any $a,b\in R$ with $b\not=0$, we may write $a = qb + r$ for some $q,r \in R$ with $N(r) < ...
4
votes
2answers
440 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
1answer
488 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 ...
3
votes
1answer
201 views

Primary decomposition of a monomial ideal

Can anyone give me an idea about the primary decomposition of the ideal $I=(x^3y,xy^4)$ of the ring $R=k[x,y]$? I am trying to connect the primary decomposition with the set Ass(R/I) which i ...
3
votes
2answers
731 views

Maximal ideals in the ring of real functions on $[0,1]$

Assume $S$ to be all continuous functions from $[0,1]$ to $\mathbb R$. How to prove that all maximal ideals of $S$ have the form $M_{x_0}=\{f\in S \mid f(x_0)=0\}$? Thanks in advance.
5
votes
1answer
132 views

Height unmixed ideal and a non-zero divisor

Let $R$ be a commutative Noetherian ring with unit and $I$ an unmixed ideal of $R$. Let $x\in R$ be an $R/I$-regular element. Can we conclude that $x+I$ is an unmixed ideal? Background: A ...
3
votes
3answers
201 views

Maximal ideal in the ring of functions from $\mathbb{R} \to \mathbb{R}$

Well, the problem I'm trying to solve is this: Let $A$ be the ring of all continuous functions from $\mathbb{R} \to \mathbb{R}$. Show that $M = \{f \in A: f(0)=0\}$ is a maximal ideal of $A$. I ...
3
votes
4answers
595 views

Prime ideal and nilpotent elements

If $\mathfrak p \subset R$ is a prime ideal, prove that for every nilpotent $r \in R$ it follows that $r \in \mathfrak p$. The only hint that my tutor gave me was to use induction. Can someone ...
2
votes
1answer
60 views

Locally unital ideals [duplicate]

Let $R$ be a ring with unity not necessarily commutative and $I$ an ideal of $R$. Let for every element $a \in I$ there exists an element $c\in I$ such that $ac=a$. Note that $c$ is related to $a$. ...
1
vote
1answer
120 views

Ideals and prime ideals in a commutative ring. [closed]

Let $A_1$ and $A_2$ be two ideals, and $P_1$ and $P_2$ be two prime ideals in a commutative ring $R$. Assume that $A_1 ∩ A_2 ⊆ P_1 ∩ P_2$. Is there at least an $i$ and $j$ such that $A_i ⊆ P_j$ is ...
1
vote
1answer
296 views

On the grade of an ideal

I need to prove the following statment (actually a special case of it). Let $R$ be a Noetherian ring, $M$ a finite $R$-module and $I$ an ideal of $R$. Then $\operatorname{grade}(I,M)\geq 2$ if ...
19
votes
8answers
1k views

Intuition behind “ideal”

To briefly put forward my question, can anyone beautifully explain me in your own view, what was the main intuition behind inventing the ideal of a ring? I want a clarified explanations in these ...
9
votes
5answers
1k views

If the localization of a ring $R$ at every prime ideal is an integral domain, must $R$ be an integral domain?

Let $R$ be a commutative ring. Suppose that for every prime ideal $p$ of $R$, the localized ring $R_p$ is an integral domain. Must $R$ be a integral domain? I was trying to think of counter-examples, ...
9
votes
2answers
574 views

Infinite product of fields

The main source of inspiration for this question is this excerpt Recall: An ultrafilter on the set X gives you a maximal ideal in the ring of all real-valued functions, and these are the only ...
3
votes
5answers
2k views

The image of an ideal under a homomorphism may not be an ideal

This is an elementary question about ideals. Consider a ring homomorphism $$ f: \mathbb{Z} \rightarrow \mathbb{Z}[x], $$ and consider the ideal $\left< 2\right>$ in $\mathbb{Z}$. When why is ...
5
votes
1answer
282 views

Norm of ideals in quadratic number fields

I do not really understand how to factor ideals in a quadratic field $K = \mathbb{Q}(\sqrt{d})$, mainly because I have some trouble computing the norm of ideals. I think I understand what is going on ...
3
votes
1answer
755 views

Preimage of a maximal ideal.

My textbook says that if $f: R \rightarrow S$ is a ring homomorphism, where R and S are commutative; then if P is a maximal ideal of S, it might not necessarily be a maximal ideal of R. A ...
3
votes
1answer
1k views

If $I$ is a maximal ideal of $R$, why is $R/I$ a field?

If $I$ is a maximal ideal of $R$, why is $R/I$ a field? I'm trying to use the fact that $I$ is maximal to show that $R/I$ only have ideals $\{0\}$ and $R/I$. Can anyone help me with this method. Many ...
3
votes
1answer
503 views

$I$-adic completion

Let $A$ be a commutative noetherian ring, and suppose that $A$ is $I$-adically complete with respect to some ideal $I\subseteq A$. Is it true that for any ideal $J\subseteq I$, the ring $A$ is also ...
2
votes
2answers
758 views

Prove that every nonzero prime ideal is maximal in $\mathbb{Z}[\sqrt{d}]$

$d \in \mathbb{Z}$ is a square-free integer ($d \ne 1$, and $d$ has no factors of the form $c^2$ except $c = \pm 1$), and let $R=\mathbb{Z}[\sqrt{d}]= \{ a+b\sqrt{d} \mid a,b \in \mathbb{Z} \}$. ...
6
votes
4answers
186 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! ...
5
votes
1answer
285 views

Number of generators of the maximal ideals in polynomial rings over a field

Hi I'm trying to prove the following If $K$ is a field (not necessary algebraically closed) then every maximal ideal of $K[x_{1},\dots,x_{n}]$ is generated by exactly $n$ elements. I know that ...
4
votes
3answers
2k 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, ...
1
vote
2answers
94 views

Which of the following is also an ideal?

If $U,V$ are ideals of a ring $R$, then which of the following is also an ideal of $R$? $U+V=\{u+v\mid u\in U,v\in V\}$ $U\cdot V=\{u\cdot v\mid u\in U,v\in V\}$ $U\cap V$ My attempt: I have ...
1
vote
2answers
155 views

Is $Z(R)$ a maximal ideal?

If $p$ and $q$ are two maximal ideals in the set of zero-divisors in a ring $R$ with non-zero intersection between $p$ and $q$. does the set of all zero-divisors are a maximal ideal and equal the ...
8
votes
1answer
566 views

Maximal ideals in $R[x]$

I want to prove the following result: Let $R$ be a ring and $M$ a maximal ideal in $R$. If $P$ is a prime ideal in $R[x]$ that (strictly) contains $M[x]$, then $P$ is a maximal ideal in $R[x]$. ...
6
votes
2answers
223 views

A (probably) wrong exercise from Morandi's Field and Galois theory

After some efforts I realize that the following exercise is wrong: (rings are unitary throughout the book) Morandi's Field and Galois Theory, Appendix A, exercise 18 (b) Let $A\subseteq B$ ...
4
votes
2answers
261 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 ...
3
votes
1answer
360 views

Chain of three prime ideals in Z[x]

How to build three prime ideals of $\mathbb Z[x]$ such that $P_1\subsetneq P_2\subsetneq P_3$?
3
votes
1answer
262 views

Ideals in the ring of endomorphisms of a vector space of uncountably infinite dimension.

I know that if $V$ is a vector space over a field $k,$ then $\operatorname{End}(V)$ has no non-trivial ideals if $\dim V<\infty;$ $\operatorname{End}(V)$ has exactly one non-trivial ideal if ...