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

10
votes
0answers
137 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
0answers
322 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
0answers
180 views

Converse of Chinese Remainder Theorem

Chinese Remainder Theorem for commutative rings with identity Let $R$ be a commutative ring with identity. If $I, J$ are ideals of $R$ satisfying $I+J=R$, then there is an isomorphism of rings: ...
8
votes
0answers
133 views
+100

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 ...
7
votes
0answers
67 views

Looking for a special class of ideals such that If every ascending chain of ideals from this class stabilizes, then $R$ is a Noetherian ring.

A commutative ring $R$ is called Noetherian if any one of the following holds: $1.$ Every ascending chain of ideals in $R$ stabilizes, that is, $$ I_1\subseteq I_2\subseteq I_3\subseteq\cdots $$ ...
7
votes
0answers
110 views

The difference between the ring version and module version of Chinese Remainder Thereom.

Chinese Remainder Theorem for Commutative Rings If $R$ is a commutative ring with $1$ and $I, J$ are ideals of $R$ that are pairwise coprime or comaximal (meaning $I + J = R$), then $IJ = I \cap J$, ...
6
votes
0answers
287 views

Showing an ideal is prime in polynomial ring

Let $k=\mathbb{C}$ and let $J$ the ideal $(xw-yz,y^{3}-x^{2}z,z^{3}-yw^{2},y^{2}w-xz^{2})$. I want to see why $J$ is a prime ideal in $k[x,y,z,w]$. I know that $Z(J)$ (the zero set of $J$) is ...
5
votes
0answers
39 views

Stuggling to understand ideal powers

In my current algebraic number theory course we have defined the multiplication of 2 ideals as the smallest ideal containing all products of elements of both, [i.e: let I and J be ideals of a ring ...
5
votes
0answers
99 views

Functorial approach to Ideals and Quotients, Multiplicative Sets and Localizations

I have been playing with substructures of commutative rings today and noticed that there is a strong analogy between the formation of quotients and kernels with the formation of localizations with ...
5
votes
0answers
188 views

Counterexamples for lcm-gcd identity and modular law for rings

In Miles Reid's Undergraduate Commutative Algebra, Exercise 1.3, we need to find counterexamples of lcm-gcd identity and modular law in the ring $A=k[X,Y]/(XY)$: $(I+J)(I\cap J)=IJ$; ...
5
votes
0answers
247 views

Irreducible homogeneous ideals

I have the following question: Let $I$ be a homogeneous ideal. Is it true that $I$ is irreducible if and only if it can't be written as the intersection of two homogeneous ideals? So, is it ...
5
votes
0answers
123 views

Counterexamples to the avoidance lemma for arbitrary ideals

Let $A$ be a commutative ring with $1$. Let $I$ and $J_k$, $k=1,\dots,n$ be ideals of $A$ with $I\subseteq \cup _{k=1}^n J_k$. Then I have obtained the following: (1) If $J_k$, $k=1,\dots,n$, are ...
5
votes
0answers
266 views

Ideals in Gaussian integers

Let $R:=\mathbb{Z}[i]$. Prove that every nonzero prime ideal $\mathfrak{P}$ of $R$ belongs to one of the following families: 1) $\mathfrak{P}=(1+i)R$ 2) $\mathfrak{P}=(a+bi)R$ where ...
5
votes
0answers
216 views

Non-cyclic unit groups

Is there any way to motivate why certain factor rings of $\mathbb{Z}, \mathbb{Z}[i]$, etc., to a prime power have non-cyclic unit groups? For example, the only such non-cyclic unit groups of factor ...
4
votes
0answers
60 views

Checking that a set is a finitely generated ideal

The exercise asks us to prove that $I = \{ f \in \Bbb R[X,Y,Z] \mid f(a,b,c) = 0, ~\forall\,(a,b,c)\in \Bbb S^2 \}$ is a finitely generated ideal of $\Bbb R[X,Y,Z]$. Well, clearly $I$ is an ideal of ...
4
votes
0answers
37 views

Compactum of Banach algebra

I need an example of Banach algebra $A$ and a left non-trivial closed ideal $I$ with all of following properties: There exists a bounded approximate identity in $I$ for $I$ i.e., a net ...
4
votes
0answers
85 views

On maximal ideal spaces of a banach algebra

I am reading this article on maximal ideal spaces and there is this part that I don't quite understand very well, hope you guys can help me out. "Let $M(A)$ denote the maximal ideal space of a ...
4
votes
0answers
263 views

Primary decomposition of ideals

How to find a primary decomposition of the ideal $I = (X^2, XY, XZ, YZ)$ in the ring $k[X,Y,Z]$? Is there a general rule for finding primary decompositions? Also how to show that $(X,Y)^{308}$ is a ...
3
votes
0answers
45 views

Intersection $I \cap \mathbb{Z}$ where $I$ is an ideal of $\mathbb{Z}[X]$

is there a reasonable algorithm that allows, given finitely many generators of an ideal $I$ of $\mathbb{Z}[X]$, to find the intersection $I \cap \mathbb{Z}$? Thank you.
3
votes
0answers
38 views

Proof verification: $\langle 2, x \rangle$ is a prime, not principal ideal

I want to prove that $\langle 2, x \rangle$ is a prime, but not principal, ideal of $\mathbb{Z}[X]$. $\langle 2, x \rangle$ is prime: Suppose $f(x) = f_n x^n + \ldots + f_1 x + f_0$ and $g(x) = g_m ...
3
votes
0answers
59 views

$\mathbb{Z}[i]$ is principal. And what are the units

I have elements of the form $a+bi$. I have attempted to consider arbitrary ideals in $\mathbb{Z}[i]$. If $N$ is ideal and $N=\{0\}$ then it is generated by $0$. If $N$ is not trivial, then exists ...
3
votes
0answers
39 views

Please help in proving $ab=0 \space \forall a,b$ in a ring $R$ where the only right ideals of $R$ are the trivial ones and $R$ is not a division ring.

I have the following question I am trying to solve: Let $R$ be a ring such that the only right ideals of $R$ are $(0)$ and $R$. Prove that either $R$ is a division ring or that $R$ is a ring with ...
3
votes
0answers
98 views

A Problem for Nil-Ideals

Consider a ring $R$ and $I$ be a finitely generated nil-ideal of $R$. Is $I$ a nilpotent ideal? I have proved this for commutative rings. But for non-commutative rings I think this may not be true. ...
3
votes
0answers
37 views

Module endomorphisms with the same kernel

Let $R$ be a finite commutative principal ideal ring. Let $n$ be a positive integer. For $i=1, \ldots, n-1$ we let \begin{align*} w_i := w_i(x_{i+1}, \ldots, x_n) = \sum_{j=i+1}^n t_{ij}x_j \in ...
3
votes
0answers
58 views

Left ideals in a subring of $M_2(R)$

Let $R$ be a 2-dimensional complete regular local ring $R$ over an algebraically closed field $k$, that is $R\cong k[[x,y]]$. Now look at the the following subring $A$ of $M_2(R)$: $A=\begin{pmatrix} ...
3
votes
0answers
54 views

Order of prime ideals over split primes in the class group.

Let $P$ be a prime ideal of $\mathcal O_K$ ($K$ a quadratic field) and let $P$ have norm $p$ where $p$ is a split prime. Is it possible for the ideal class $[P]$ to have order less than three? I feel ...
3
votes
0answers
70 views

Is there a classification of ideals of $\mathcal O_K$ ($K$ quadratic) over ramified and split primes depending on $d \pmod 4$?

I am unsure if the following argument is correct. I have not seen something like this in my course, so I'm a bit skeptical, since this seems like a very simple way of computing norms of ideals. If ...
3
votes
0answers
39 views

Show that the ideal generated by $4$ in $\mathbb Z_{12}$ is not a prime ideal.

Show that the ideal generated by $4$ in $\mathbb Z_{12}$ is not a prime ideal. Hint: Give a counter-example This is my rough proof to this question. I was wondering if anybody can look over it ...
3
votes
0answers
109 views

Can a local ring have more than one prime ideal?

A local ring is defined as a ring which has a unique maximal ideal. This unique maximal ideal consists of only non-units and contains all the non-units of the ring $R$. So examples of local rings ...
3
votes
0answers
323 views

Multiplicity and regular sequences

We define multiplicity of a module $M$ of dimension $d>0$ as $$e(M) := \operatorname{lc} (P_M) (d-1)!,$$ where $P_M$ denotes the Hilbert polynomial of $M$ and $\operatorname{lc}(P_M)$ its leading ...
3
votes
0answers
76 views

Graded Betti Numbers of a Graded Ideal with Linear Quotients

Exercise 8.8(a) in Monomial Ideals by Herzog and Hibi: Let $I\subset S=K[x_{1},...,x_{n}]$ be a graded ideal which has linear quotients with respect to a homogeneous system of generators ...
3
votes
0answers
75 views

Isomorphism of K-algebras

Let $k[x]$ be a polynomial ring and $I$ an ideal (resp. graded). If $k\subset K$ is a field extension, then prove that there is a natural (resp. graded) isomorphism of $K$-algebras: $$K[x]/IK[x]\cong ...
3
votes
0answers
64 views

About quotient ring

I want to find the value $|\mathbb{Z}({\sqrt{2})/(3+\sqrt{2})}|,|\mathbb{Z}({\sqrt{13})/(5+\sqrt{13})}|$ and also the number of ideals of $\mathbb{Z}({\sqrt{13})/(5+\sqrt{13})}$. But still not ...
3
votes
0answers
91 views

A question about the consequence of Prime Avoidance.

I have found the following statement: Let $R$ be a Noetherian ring and $x$ is a non-zero divisor of $R$. Let $P$ be a prime ideal associated to $xR$. Then by Prime Avoidance there exists a non-zero ...
3
votes
0answers
64 views

Proof about affine varieties

Ok so I have that $k$ is algebraically closed and $F$ is an element of $k^n$, and it is a reduced polynomial. We have that $V = V(F)$. In the book it says prove that $F$ generates $I(V)$ but in my ...
3
votes
0answers
268 views

Proof of going-up theorem

Can you tell me if my proof is correct? Thanks. (I'm using propositions 5.6 and 5.10 from Atiyah-Macdonald which I proved separately.) Theorem: Let $R$ be integral over $S$. Let $p_1 \subset p_2$ be ...
2
votes
0answers
20 views

Ideal $K$ in ring of germs is generated by nonnegative functions

I asked a question about details allowing to answer this question earlier today. Unfortunately, I didn't manage to complete the exercise. Since the other questions were about another problem, I write ...
2
votes
0answers
59 views

$J$ maximal ideal of $A$ $\iff $ $A/J$ is field

I'm wondering where did this complicated proof that $J$ is a maximal ideal $\iff$ $A/J$ is a field. Is there an easy to look case where we can clearly see that when we take the quotient of the ring ...
2
votes
0answers
59 views

Trying to understand why the associated primes of some ideal are minimal.

In a comment to this answer it is mentioned that all the associated primes of $(XY,(X-Y)Z)$ are minimal using some Cohen-Macaulay ring. Since I don't know anything about Cohen-Macaulay rings, is ...
2
votes
0answers
23 views

Density of integers that are norms of ideals for $K \ne \mathbb{Q}$

I am interested in proving and understanding the following statement: If $K \ne \mathbb{Q}$, then the set of positive integers that are norms of ideals in $\mathcal{O}_K$ have density zero in ...
2
votes
0answers
31 views

How can I visualize ideals on a ring of integers of imaginary quadratic fields?

If I were to visualize the ideal $(2, 3+3i)$ of $Z[i]$ on the complex plane, I would find a gcd of $2$ and $3+3i$ (for example $1+i$) and the ideal $(2, 3+3i)$ is identical to $(1+i)Z[i]$, which forms ...
2
votes
0answers
74 views

Concerning the ring of all real valued functions of bounded variation on $[a,b]$

Let $B[a,b]$ the ring of all real valued functions of bounded variation on $[a,b]$ . What is the cardinality of $B[a,b]$ ? How does the maximal ideals of $B[a,b]$ look like ? How does the prime ideals ...
2
votes
0answers
24 views

Unique prime ideal containing $(2)$ in $\mathbb{Z}[\sqrt{-3}]$

I'm having trouble with an algebraic number theory problem. Let $R = \mathbb{Z}[\sqrt{-3}]$. The problem is to show that $(2, 1 + \sqrt{-3})$ is the unique prime ideal containing the ideal $(2)$, and ...
2
votes
0answers
57 views

Ideals in a ring as geometric objects?

I am interested in learing about the possibility of (one-sided) ideals in a ring being repreented geometrically. In other words, about their status as geometric objects (after all, they can be dealt ...
2
votes
0answers
79 views

How to find prime ideals of $3\Bbb Z$?

Which one of these is prime of $3\Bbb Z$? $42\Bbb Z$,$24\Bbb Z$,$12\Bbb Z$,$9\Bbb Z$ and $33\Bbb Z$ I tried to check their factor groups if they are integral domains. because An ideal I in a ...
2
votes
0answers
47 views

Proof review: Every maximal ideal of ring of continuous functions has the same form

Let $R$ be the ring of real-valued continuous functions on $[0,1]$. If $M$ is a maximal ideal of $R$ prove $\exists \lambda \in [0,1]$ s.t. $M = \{f(x) \in R : f(\lambda) = 0 \}$. (from Herstein ...
2
votes
0answers
64 views

Uniqueness of the decomposition of an ideal

Let $ F $ be a non-empty subset of $ \{ 1,2,\dots,n\} $ and $ P_{F}=(\{x_{i}:i\in F\}) $. Let $ F_{1},F_{2},\dots,F_{m} $ be pair-wise distinct non-empty subsets of $ \{1,2,...,n\} $ and $$ ...
2
votes
0answers
178 views

Left Ideals and Two-Sided Ideals of Rings of Matrices

This is a question I posted in this topic: Pathologies in "rng". However, I decided that the question deserves its own thread, and I want to know if anybody can answer it. For ...
2
votes
0answers
37 views

Prove that $I_1^m\cap I_2^m \cap \dots \cap I_r^m=I_1^m\cdots I_r^m$, where $I_1,…,I_r$ are ideals in $k[x_1,…,x_n]$ and are comaximal.

This is an exercise from Ideals, Varieties and Algorithms by Cox, etc. If $I_i$ and $J_i=\cap_{j\ne i}I_j$ are comaximal for all $i$, where $I_1,...,I_r$ are ideals in $k[x_1,...,x_n]$, prove that ...
2
votes
0answers
41 views

Relation of ideals in probability with other kinds of ideals?

It seems that there are at least 5 kinds of ideals in maths: Ideals in number theory (Kummer, Dedekind) Ideals in abstract algebra (Dedekind, Noether), as kernels of homomorphisms Ideals in order ...