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

9
votes
7answers
3k views

Comaximal ideals in a commutative ring

Let $R$ be a commutative ring and $I_1, \dots, I_n$ pairwise comaximal ideals in $R$, i.e., $I_i + I_j = R$ for $i \neq j$. Why are the ideals $I_1^{n_1}, ... , I_r^{n_r}$ (for any $n_1,...,n_r ...
41
votes
1answer
4k views

Classification of prime ideals of $\mathbb{Z}[X]$

Let $\mathbb{Z}[X]$ be the ring of polynomials in one variable. My question: Is every prime ideal of $\mathbb{Z}[X]$ one of following types? If yes, how would you prove this? $(0)$ $(f(X))$, where ...
37
votes
6answers
6k 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 ...
9
votes
2answers
5k 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?
25
votes
7answers
8k 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 ...
19
votes
5answers
7k 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 ...
20
votes
4answers
1k views

Why are ideals more important than subrings?

I have read that subgroups, subrings, submodules, etc. are substructures. But if you look at the definition of the Noetherian rings and Noetherian modules, Noetherian rings are defined with ideals ...
22
votes
3answers
2k 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$ ...
21
votes
2answers
5k 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 ...
14
votes
3answers
3k 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).
6
votes
2answers
1k views

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

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 ...
6
votes
6answers
2k views

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

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
502 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 ...
4
votes
1answer
693 views

Ideals in direct product of rings

I am trying to solve this problem: Let $ R_1,...,R_n$ be rings with identity. Every ideal of $R=\prod_{i=1}^n R_i$ is of the form $\prod_{i=1}^n I_i$ where $ I_i$ is an ideal of $R_i$. The ...
5
votes
4answers
637 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 ...
17
votes
3answers
2k 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 ...
7
votes
1answer
464 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
3answers
2k 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.
8
votes
5answers
5k 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 ...
4
votes
1answer
589 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
422 views

Ideal in a ring of continuous functions

Let $R$ be the ring of all continuous real valued functions on the unit interval $[0,1]$ (with pointwise operations), and let $I$ be a proper ideal of $R$. Show that there exists $λ\in [0,1]$ such ...
4
votes
1answer
2k views

The set of all nilpotent elements is an ideal

Given that R is commutative ring with unity, I want show that set of all nilpotent elements is an ideal of R. I know how to show ideal if set is given but here set is not given to me. Can anyone ...
11
votes
2answers
2k 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 ...
7
votes
2answers
663 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 ...
7
votes
1answer
897 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
240 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.
26
votes
8answers
3k 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 ...
15
votes
4answers
1k views

Proof that ideals in $C[0,1]$ are of the form $M_c$ that should not involve Zorn's Lemma

I am learning abstract algebra by myself using Dummit & Foote, and sometimes by working very hard I find very complicated non-proofs of things and I have no idea if they are the best or the worst ...
3
votes
3answers
744 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 ...
8
votes
3answers
1k 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 ...
13
votes
2answers
715 views

What is a primary decomposition of the ideal $I = \langle xy, x - yz \rangle$?

Given the ring $k[x,y,z]$, where $k$ is a field, and an ideal $I=(xy,x-yz)$, find a primary decomposition of $I$. I tried to draw the graph of the variety of $I$ and get a decomposition of ...
6
votes
3answers
2k 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
2answers
369 views

Converse to Chinese Remainder Theorem

So as seen on this question Converse of the Chinese Remainder Theorem, we know that if $(n,m) \neq 1$, then $\mathbb{Z} /mn \mathbb{Z} \ncong \mathbb{Z}/n\mathbb{Z} \times \mathbb{Z}/m\mathbb{Z}$, ...
3
votes
2answers
622 views

Finitely many prime ideals lying over $\mathfrak{p}$

Let $A$ be a commutative ring with identity and $B$ a finitely generated $A$-algebra that is integral over $A$. If $\mathfrak{p}$ is a prime ideal of $A$, there are only finitely many prime ideals ...
10
votes
2answers
737 views

Intersection of finitely generated ideals

Let $I$, $J$ be finitely generated ideals in a ring $A$ (commutative with identity). I know that the intersection need not be finitely generated: can somebody give me an example? Thanks.
4
votes
1answer
2k views

Ring of formal power series over a field is a principal ideal domain

If $K$ is a field, any non-zero ideal in the ring of formal power series $A=K[[X]]$ is of the form $AX^n$ with $n\geq 0$, so $A=K[[X]]$ is a principal ideal ring. I can't see why. Usually when we ...
30
votes
3answers
1k 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
1answer
1k 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?
12
votes
3answers
1k 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 ...
6
votes
1answer
712 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 ...
7
votes
2answers
156 views

$M_a =\{ f\in C[0,1] |\ f(a)=0 \}$ for $a$ $\in$ $[0,1]$. Is $M_a$ finitely generated in $C[0,1]$?

Let $C[0,1]$ denote the ring of continuous functions on $[0,1]$. Consider the maximal ideal $M_a =\{ f\in C[0,1] | f(a)=0 \}$ for $a$ $\in$ $[0,1]$. Is $M_a$ finitely generated? Note: It may seem ...
4
votes
2answers
894 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 ...
6
votes
4answers
324 views

Why is $(2, 1+\sqrt{-5})$ not principal?

Why is $(2, 1+\sqrt{-5})$ not principal in $\mathbb{Z}[\sqrt{-5}]$? Say $(2,1+\sqrt{-5})=(\alpha)$, then since $2\in(2,1+\sqrt{-5})$ we have $2\in (\alpha)$, so $\alpha\mid2$ in $\mathbb ...
6
votes
3answers
1k views

An ideal that is maximal among non-finitely generated ideals is prime.

I've been doing some old exam problems and I've come across a problem that I've answered, but my gut is telling me that there's something I'm glossing over. Let $R$ be a commutative ring with ...
9
votes
3answers
1k views

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

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 ...
6
votes
3answers
610 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 ...
4
votes
1answer
232 views

Problem on the number of generators of some ideals in $k[x,y,z]$ [closed]

I have got stuck with two generator problems: The ideal $(zx,xy,yz)$ can't be generated by $2$ elements. The ideal $(xz-y^2,yz-x^3,z^2-xy)$ can't be generated by $2$ elements. Here the ...
3
votes
1answer
283 views

Unique factorization domain and principal ideals

If R was a unique factorization domain, can we deduce that for a nonzero element d in R, d has a finite number of divisors? I need this in solving this question "If R is a unique factorization ...
0
votes
1answer
133 views

How to prove Ass$(R/Q)=\{P\}$ if and only if $Q$ is $P$-primary when $R$ is Noetherian? [duplicate]

Let $R$ be a Noetherian ring, $P$ be a prime ideal, and $Q$ an ideal of $R$. How to prove that $$ \text{Ass}(R/Q)=\{P\} $$ if and only if $Q$ is $P$-primary? Update In fact, I have proved that if ...
6
votes
2answers
924 views

Finitely generated idempotent ideals are principal: proof without using Nakayama's lemma

I am trying to understand Nakayama's lemma. It looks like some "fixed point theorem". Using Nakayama's lemma , I can easily solve the following question. I want another proof. Thanks. Let $A$ be a ...