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

42
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 ...
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 ...
27
votes
3answers
796 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 ...
22
votes
4answers
650 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? ...
18
votes
1answer
319 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
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 ...
16
votes
3answers
674 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$ ...
15
votes
1answer
136 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
3answers
2k 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. ...
13
votes
6answers
3k 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 ...
13
votes
2answers
2k 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 ...
13
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 ...
12
votes
5answers
531 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 ...
12
votes
1answer
132 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 ...
11
votes
3answers
449 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)?
11
votes
3answers
352 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
3answers
581 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 ...
10
votes
3answers
866 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 ...
10
votes
2answers
196 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}$ ...
10
votes
2answers
382 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
0answers
271 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
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 ...
9
votes
1answer
442 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 ring?
9
votes
1answer
193 views

Noetherian ring whose ideals have arbitrarily large number of generators

Does a commutative ring satisfying the following two properties exist? All ideals are finitely generated; There are prime ideals with arbitrarily large (finite) minimal generating sets.
9
votes
2answers
511 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 ...
9
votes
1answer
241 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}} + ...
9
votes
1answer
223 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 ...
9
votes
1answer
177 views

Isomorphic factor rings of polynomial rings does imply isomorphic ideals?

Let $k$ be a field, $I$ and $J$ are ideals of $R=k[x_1,\dots,x_n]$. If $R/I\simeq R/J$ as rings, then $I \simeq J$ as $R$-modules holds? Thanks in advance!
9
votes
3answers
321 views

Let $R$ be a finite commutative ring. Show that an ideal is maximal if and only if it is prime.

Let $R$ be a finite commutative ring. Show that an ideal is maximal if and only if it is prime. My attempt: Let $I$ be an ideal of $R$. Then we have $I$ is maximal $\Leftrightarrow$ $R/I$ is a finite ...
9
votes
2answers
1k 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 ...
9
votes
1answer
238 views

A ring that has exactly 7 left ideals (T. Y. Lam)

Exercise 3.25 in Lam's First Course states: Let $R$ be a ring that has exactly seven nonzero left ideals. Prove that one of them is an ideal (i.e. left and right) and provide an example of such a ...
9
votes
1answer
185 views

Ideal in compact Hausdorff space

This is exercise 70, chapter 4. from Folland (page 142) Let $X$ be a compact Hausdorff space. An ideal in $C(X, \mathbb{R})$ is a subalgebra $J$ of $C(X, \mathbb{R})$ such that if $f\in J$ and $g\in ...
8
votes
4answers
209 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. ...
8
votes
3answers
336 views

Attaining the norm of an ideal in a number field by the norm of an element

Let $K$ be a number field of degree $n$ and $\mathfrak{a}$ be an ideal in its ring of integers $\mathcal{O}_K$. We can consider: The norm $N(\mathfrak{a})$ of $\mathfrak{a}$. The norms $N(x)$ of the ...
8
votes
4answers
938 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).
8
votes
3answers
173 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 ...
8
votes
1answer
227 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 ...
8
votes
2answers
381 views

Are ideals in rings and lattices related?

There are (at least) two notions of ideals: An ideal in a ring is a set closed under addition and multiplication by arbitrary element. An ideal in a lattice is a set closed under taking smaller ...
8
votes
2answers
75 views

Maximal ideals in $C^\infty(\mathbb{R})$

I know that for a compact manifold $M$ any maximal ideal in the algebra $C^\infty(M)$ of smooth functions on $M$ is of the form $\mathfrak{m}_p=\{f\in C^\infty(M)|f(p)=0\}$. For example, the proof is ...
8
votes
1answer
506 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]$. ...
8
votes
2answers
159 views

Counterexample: multiplying modules by elements of an ideal vs. taking linear combinations

Let $R$ be a ring (commutative, unital) and $M$ an $R$-module. Let $I \subset R$ be an ideal. We make the following definitions: $$ A := \{ am \ | \ a \in I,\ m \in M \} $$ $$ B := \left\{ ...
8
votes
1answer
145 views

$I\cap J = P$ prime ideal, then $P=I$ or $P=J$

Question: Prove that if $I,J$ are ideals and $I\cap J=P$ is a prime ideal, then either $P=I$ or $P=J$. My proof: Suppose $P\ne I$. Then $I\cap J=P\subsetneq I$ and $\exists i\in I\setminus P$. Now ...
7
votes
5answers
937 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, ...
7
votes
3answers
550 views

Is $\lhd$ common notation for “is an ideal of”?

This question is because of this comment. I would like to know if I should refrain from using $\lhd$ for "is an ideal of" in ring-theoretic questions. Is it common enough, or should I explain what it ...
7
votes
2answers
148 views

Countable rings

Suppose we are given a countable unital ring $R$ with uncountably many distinct right ideals. Does it follow from this that $R$ has uncountably many maximal right ideals?
7
votes
4answers
423 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 ...
7
votes
2answers
2k views

Intersection of prime ideals

This is a problem from an algebra textbook. Let $R$ be a ring, and $I$ be an ideal. If the radical of $I$ is $I$ itself, i.e. $\operatorname{rad}(I) = I$, then $I$ is an intersection of prime ...
7
votes
1answer
126 views

What's the motivation of definition of primary?

Primary ideal can be regard as the generalization of prime ideal and radical. But Why it's defined like that?It's not symmetry. Why not define like that:
7
votes
1answer
137 views

Ideal of ideal needs not to be an ideal

Suppose I is an ideal of a ring R and J is an ideal of I, is there any counter example showing J need not to be an ideal of R? The hint given in the book is to consider polynomial ring with ...
7
votes
1answer
162 views

Prime elements in $\mathbb{Q}[[X,Y,Z]]$ whose status as an infinite series is unchanged by arbitrary multiplication

Let's suppose $R$ is the ring $\mathbb{Q}[[X,Y,Z]]$. I'm interested in finding power series $f(x,y,z) \in R \setminus \mathbb{Q}[X,Y,Z]$ which are, first of all, prime elements in $R$, but also ...