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
884 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
731 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 ...
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
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 ...
10
votes
4answers
2k 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
390 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 ...
7
votes
1answer
618 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
186 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.
14
votes
2answers
3k views

What do prime ideals in $k[x,y]$ look like?

Suppose that $k$ is an algebraically closed field. Then what do the prime ideals in the polynomial ring $k[x,y]$ look like? As far as I know, the maximal ideals of $k[x,y]$ are of the form ...
7
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
486 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 ...
3
votes
3answers
221 views

Maximal ideal in the ring of continuous 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 ...
28
votes
3answers
954 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
673 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
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?
3
votes
1answer
229 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 ...
5
votes
2answers
263 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
206 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 ...
9
votes
1answer
631 views

Every maximal ideal is principal. Is $R$ principal?

Let $R$ be a commutative ring with 1. If every maximal ideal of $R$ is principal, is $R$ a principal ideal ring?
6
votes
3answers
296 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
2k 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
1answer
426 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
468 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
499 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 ...
2
votes
3answers
801 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
140 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
1answer
226 views

Is a prime ideal in the polynomial ring over an algebraically closed field prime also in polynomial rings over extension fields?

Let $k \subsetneq K$ a field extension, $k$ algebraically closed, $I \subset k[x_1,\ldots, x_n]$ a prime ideal generated by the polynomials $f_1, \ldots, f_r$. Let $J \subset K[x_1, \ldots, x_n]$ ...
3
votes
4answers
631 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
62 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
125 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
300 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
2k 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 ...
10
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
600 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
294 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
806 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
511 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
792 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
193 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
300 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
1answer
48 views

An equivalent condition with $\{0\}$ being the only nilpotent ideal

In a ring $R$ prove that $\{0\}$ is the only nilpotent ideal if and only if for every ideals $A$ and $B$ from $R$, $AB=\{0\}$ implies $A\cap B=\{0\} $.
1
vote
2answers
95 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
158 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
576 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]$. ...