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

46
votes
1answer
1k views

What is the algebraic structure of functions with fixed points?

So I just noticed that the set of functions with a fixed point $$f(x_0)=x_0,$$ are closed under composition $$(f\circ g)(x):=g(f(x)),$$ and with $e(x)=x$, the inverible functions even seem to form ...
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 ...
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 ...
25
votes
7answers
7k 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 ...
25
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 ...
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$ ...
22
votes
4answers
752 views

Why do we study prime ideals?

I hope this isn't an inappropriate question here! I'd like to ask the following (perhaps slightly ill-posed) question: why do we study prime ideals in general (commutative or non-commutative) rings? ...
21
votes
2answers
4k 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 ...
20
votes
3answers
3k views

A maximal ideal is always a prime ideal?

A maximal ideal is always a prime ideal, and the quotient ring is always a field. In general, not all prime ideals are maximal. 1 In $2\mathbb{Z}$, $4 \mathbb{Z} $ is a maximal ideal. ...
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 ...
19
votes
5answers
6k 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 ...
18
votes
1answer
441 views

Class group and factorizations

There is a common characterization of the class group ${\rm Cl}(R)$ as a kind of measure of how badly factorization fails to be unique. The most obvious justification for this sentiment is that the ...
16
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 ...
16
votes
0answers
267 views

What does the ideal norm of matrix elements really mean?

Say we have a number field $K$ (specifically, an imaginary quadratic field) and a $2\times2$ matrix $\sigma=\pmatrix{a&c\\b&d}$ with elements $a,b,c,d\in\mathcal O_k$, the ring of integers of ...
15
votes
2answers
4k views

Why is the localization at a prime ideal a local ring?

I would like to know, why $ \mathfrak{p} A_{\mathfrak{p}} $ is the maximal ideal of the local ring $ A_{\mathfrak{p}} $, where $ \mathfrak{p} $ is a prime ideal of $ A $ and $ A_{\mathfrak{p}} $ is ...
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 ...
15
votes
1answer
195 views

Is there a geometric meaning of a prime power not being primary?

I guess that the standard example of a prime power that is not a primary ideal is $$\mathfrak p^2 :=(x,z)^2\subset k[x,y,z]/(xy-z^2):=A.$$ Because $\mathfrak p^2 = (x^2,xz,xy)$, we see that $x\not ...
14
votes
5answers
2k 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, ...
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).
14
votes
5answers
783 views

How does a Class group measure the failure of Unique factorization?

I have been stuck with a severe problem from last few days. I have developed some intuition for my-self in understanding the class group, but I lost the track of it in my brain. So I am now facing a ...
13
votes
2answers
1k views

What's so special about a prime ideal?

An ideal is defined something like follows: Let $R$ be a ring, and $J$ an ideal in $R$. For all $a\in R$ and $b\in J$, $ab\in J$ and $ba\in J$. Now, $J$ would be considered a prime ideal if ...
13
votes
3answers
643 views

Simple example of non-arithmetic ring

Can anyone provide a simple concrete example of a non-arithmetic commutative and unitary ring (i.e., a commutative and unitary ring in which the lattice of ideals is non-distributive)?
13
votes
2answers
656 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 ...
13
votes
1answer
197 views

What's the motivation of the definition of primary ideals?

$$xy\in\mathfrak q\:\Rightarrow\:\text{either $x\in\mathfrak q$ or $y^n\in\mathfrak q$ for some $n\gt0$}.$$ Primary ideals can be regard as the generalization of prime ideals and radical. But ...
12
votes
5answers
338 views

Is $\mathbb{Z}[\sqrt{15}]$ a UFD?

Let $R=\mathbb{Z}[\sqrt{15}]=\{a+b\sqrt{15}:a,b\in\mathbb{Z}\}$. How do I show that $(3,\sqrt{15})$ is a maximal ideal but not a principal ideal? How do I show that $(3,\sqrt{15})^2$ is a ...
12
votes
3answers
1k views

Primary ideals of Noetherian rings which are not irreducible

It is known that all prime ideals are irreducible (meaning that they cannot be written as an finite intersection of ideals properly containing them). While for Noetherian rings an irreducible ideal is ...
12
votes
3answers
377 views

Show the set of points $(t^3, t^4, t^5)$ is closed in $\mathbb A^{3}$

Show the set of points $X = \{(t^3, t^4, t^5) \}$ with $t\in k$ is closed in $\mathbb A^{3}$ and find three generators of $\mathcal{I}(X)$. This is a homework question, so please don't provide ...
12
votes
2answers
422 views

If every ascending chain of primary ideals in $R$ stabilizes, is $R$ a Noetherian ring?

A commutative ring $R$ is called Noetherian if every ascending chain of ideals in $R$ stabilizes, that is, $$ I_1\subseteq I_2\subseteq I_3\subseteq\cdots $$ implies the existence of $n\in\mathbb{N}$ ...
12
votes
1answer
290 views

Equivalence of Definitions of Prime Ideal in Ring without $1$.

Let $R$ be a rng, so that $1\not\in R$. I am trying to show that following are equivalence of definition of prime ideal $P$; (i) $AB\subseteq P$ with $A,B\subseteq R$ implies $A\subseteq P$ or ...
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 ...
12
votes
1answer
156 views

Ideals of the algebra of all bounded linear operators on $\ell_p \oplus \ell_q$

Let $\mathcal{L}(X)$ be the algebra of all bounded linear operators from $X$ to $X$ for Banach space $X$. I need to show that $\mathcal{L}(\ell_p \oplus \ell_q)$ for $p \neq q$ contains at least two ...
12
votes
2answers
2k views

How to check whether an ideal is a prime (or maximal) ideal?

I have a ring $R$ which is known to be a Dedekind domain, but not necessarily a Euclidian domain, and a nonzero ideal generated by one or two elements in this ring. How can I check if this ideal is a ...
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 ...
11
votes
3answers
643 views

What is the quotient $\mathbb Z[\sqrt{3}]/(1+2\sqrt{3})$?

I am currently doing a past paper and it asks the following: Prove that for $I=(1+2\sqrt{3})$ we have $\mathbb Z[\sqrt{3}]/I$ a field with $11$ elements. If I assume standard algebraic number ...
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?
11
votes
0answers
170 views

Ideals in $C[0,1]$ which are not finitely generated (From Atiyah- Macdonald )

I'm trying to solve the following problem from Atiyah-Macdonald: Is the ring of continuous function on $[0,1]$ is Noetherian ? Certainly not, here are two non terminating ascending chain of ...
10
votes
4answers
1k views

Spectrum of $\mathbb{Z}[x]$

Can someone point me towards a resource that proves that the spectrum of $\mathbb{Z}[x]$ consists of ideals $(p,f)$ where $p$ prime or zero and $f$ irred mod $p$? In particular I remember this can be ...
10
votes
3answers
2k views

Structure of ideals in the product of two rings

$R$ and $S$ are two rings. Let $J$ be an ideal in $R\times S$. Then there are $I_{1}$, ideal of $R$, and $I_{2}$, ideal of $S$ such that $J=I_{1}\times I_{2}$. For me is obvious why $\left\{ r\in ...
10
votes
2answers
945 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 ...
10
votes
1answer
320 views

Conditions for $\sqrt{\mathfrak{a + b}} = \sqrt{\mathfrak{a}} + \sqrt{\mathfrak{b}}$

Let $A$ be a commutative ring with identity and, $\mathfrak{a}$ and $\mathfrak{b}$ ideals.I'm trying to find sufficient and necessary conditions for $\sqrt{\mathfrak{a + b}} = \sqrt{\mathfrak{a}} + ...
10
votes
1answer
267 views

If $I$ is a finitely generated ideal of $A[X]$, is $I\cap A$ necessarily finitely generated for a commutative unital ring $A$?

Let $A$ be a commutative ring with $1$ and $A[X]$ the ring of polynomials in one variable over $A$. Assume $I$ is a finitely generated ideal of $A[X]$. My question is Is $I\cap A$ necessarily ...
10
votes
2answers
707 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.
10
votes
1answer
932 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]$. ...
10
votes
2answers
583 views

Extension and contraction of ideals in polynomial rings

Suppose $I$ is an ideal in a polynomial ring $R=k[x,y]$. Let $\overline{k}$ be the algebraic closure of $k$ and let $S=\overline{k} [x,y]$. Then is $IS\cap R=I$?
10
votes
0answers
324 views

Maximal ideal space of $C^*$-algebra of Riemann integrable functions

Let $R([0,1])$ be the unital commutative $C^*$-algebra of complex valued Riemann integrable functions on $[0,1]$ with pointwise operations and the supremum norm. In the 1980 paper The Gelfand space ...
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 ...
9
votes
4answers
529 views

Let $R$ be a commutative ring with $1$. Suppose that every nonzero proper ideal of $R$ is maximal. Prove that there are at most two such ideals.

Let $R$ be a commutative ring with $1$. Suppose that every nonzero proper ideal of $R$ is maximal. Prove that there are at most two such ideals. Help me some hints. I have no idea to start. ...
9
votes
3answers
633 views

Polynomial irreducible - maximal ideal

I have a couple of ideals which I wonder if I correctly classify as maximal/prime ideal. $I_1 = \langle 2x^2 + 9x -3\rangle$, $I_2 = \langle x - 1\rangle$ $\mathbf 1)$ Is $I_1$ a maximal ideal in ...
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 ...