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

0
votes
3answers
30 views

Example of ideal generated by two elements

I have an easy example on my notes that I don't understand. My teacher said that in $\mathbb{Z}$, $(2,3)=2\mathbb{Z}+3\mathbb{Z}$ is a principal ideal, because $2\mathbb{Z}+3\mathbb{Z}=\mathbb{Z}$. ...
0
votes
1answer
12 views

Simple modules over R isomorphic to R/I

Let $R$ be a ring, and let $M$ be a simple $R$-Module, meaning that it only has the trivial submodules {0} and $M$. Show that there's a maximal ideal $I \subset R$ so that $M \cong R/I$. Thanks in ...
1
vote
1answer
16 views

Maximal ideals of finite algebra over a local ring

Let $R$ be a local ring with residue field $k$. Let $A$ be an $R$-algebra which is finitely generated as $R$-module. I want to show that the maximal ideals of $A$ are in one-to-one correspondence ...
2
votes
1answer
28 views

Closed points are dense in $\operatorname{Spec} A$

From 3.6.J in Vakil: Let $k$ be a field, and let $A$ be a finitely generated $k$-algebra. We want to show the closed points are dense in $\operatorname{Spec} A$. This is the set of prime ideals of ...
0
votes
0answers
29 views

if the sum of two units is a unit, then there is an unique maximal ideal

Let $R$ be a ring with identity element. I have to proof that if the sum of two units of $R$ is a unit, then $R$ has an unique maximal ideal. But i don't see a connection. If someone could give me a ...
1
vote
1answer
26 views

Quotient of the ring of integers of a quadratic field by the ideal generated by a split integer prime.

I am wondering about primes $p$ in $\mathbb Z$ that are split in $\mathcal O_{K}$, $K=\mathbb Q(\sqrt d)$. Let $\omega=\sqrt d$ if $d \equiv 2,3 \mod 4$ and $\omega=\frac{1+\sqrt d}{2}$ if $d \equiv 1 ...
5
votes
2answers
44 views

Uniqueness of prime ideals of $\mathbb F_p[x]/(x^2)$

What are the prime ideals of $\mathbb F_p[x]/(x^2)$? I have been told that the only one is $(x)$, but I would like a proof of this. I want to say that a prime ideal of $\mathbb F_p[x]/(x^2)$ ...
1
vote
1answer
24 views

Factoring the Ring of Integers into Ideals

Let $K$ be a number field. Let $\frak p$ be a prime ideal in $\mathcal O_K$. Let $u\in \mathcal O_K$ and $m\in \mathbb N$. I've been told that $|u|_{\frak p} = |m|_{\frak p} = 1$ where $|\cdot|_{\frak ...
1
vote
0answers
91 views

How to prove that an ideal can not be generated by 2 elements

In Kunz's "Introduction to commutative algebra and algebraic geometry", page 137-139, particular monomial affine curves are described. Here is the link. In case the curve is not an ideal ...
3
votes
2answers
25 views

Factorising ideals in the ring of integers of a quadratic field

In an undergraduate algebraic number theory course, I was given the question "If $K = \mathbb Q(\sqrt{-33})$ Factorise the ideal $(1+\sqrt{-33})\subset \mathcal O_K$ into a product of prime ideals." I ...
0
votes
1answer
32 views

how to show that an ideal is convex [on hold]

I need to show that the ideal $J=(i)$ in $C(\mathbb R)$ where $i$ is the identity function, $C(\mathbb R)$ is the ring of all continuous functions on the real numbers, is a convex ideal.
0
votes
1answer
29 views

What are some examples of principal, proper ideals that have height at least $2$?

Krull's principal ideal theorem states that in a Noetherian ring $R$, any principal proper ideal $I$ has height at most $1$. Presumably the Noetherian hypothesis is required, so what are some ...
7
votes
0answers
40 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$, ...
1
vote
1answer
41 views

Why $R/AB$ is cyclic?

Why $R/AB$ is cyclic when $A,B$ are ideals of $R$? I know a cyclic module is a module that can be written as $Rm$ and $Rm$ is isomorphic to $R/Ann(m)$. However, I can't see why the module is ...
5
votes
1answer
74 views

If $R/I \times R/J$ is isomorphic to $R/(I\cap J)$ as $ R $-modules, then $I + J = R$. [duplicate]

If $R$ is a commutative ring with identity and $I$ and $J$ are ideals of $R$ such that $R/I \times R/J$ is isomorphic to $R/(I\cap J)$ as $R$-modules, then $I + J = R$. I know this is the ...
6
votes
2answers
682 views

Are ideals also rings?

I am learning about rings and ideals. But I am confused about something. My book (Gallian) says that an ideal of a ring by definition is a subring. But I have talked to other people who insist that an ...
0
votes
0answers
40 views

Quotient of Ideals in matrix rings

I'd like to know where could I find some info about the quotient $I:J=\{a\in R\mid aJ\subseteq I\}$ ($R$ a ring) in matrix rings? Or for example, in a matrix ring over $\mathbb{Z}$. I would like to ...
0
votes
2answers
34 views

Let $R$ be a PID and $I$ a prime ideal of $R$ s.t. $0 \subset I \subset 1_R$

Let $R$ be a PID and $I$ a prime ideal of $R$ s.t. $0 \subset I \subset 1_R$ and let $I = \langle a \rangle$, where $a$ is a prime element of $R$. My question is: is there any other prime ideal $J$ ...
1
vote
1answer
35 views

Prove that $\Bbb{Z}[i]/I$ is finite where I is an ideal of $\Bbb{Z}[i]$

Show that for any nontrivial ideal $I$ of $\Bbb{Z}[i]$, $\Bbb{Z}[i]/I$ is finite. $\Bbb{Z}[i]$ is a PID, so $I=\langle{a+ib\rangle}$. Now $\Bbb{Z}[i]/I$ has elements of the form ...
0
votes
1answer
15 views

$A$ prime in $S$ implies that $\phi^{-1}(A)$ prime in $R$ ; $A$ maximal in $S$ implies that $\phi^{-1}(A)$ maximal in $R$

Suppose $R,S$ are commutative rings with unities. Let $\phi$ be a ring homomorphism mapping $R\to S$ and let $A\subset S$ be an ideal. How can I start the proofs for: Showing that $A$ prime in ...
1
vote
0answers
26 views

Maximal ideals of the ring of matrices

Let K be a field. We consider $K^n$ as a left module of $M_{n, n}(K)$, the ring of matrices of size $n$ over $K$. 1) For any $M_{n, n}(K)$ module homomorphism $ 0 ≠ \phi: M_{n, n}(K) \to K^n$, show ...
1
vote
1answer
25 views

Finitely generated modules and submodules

Let $R$ be a ring, $M$ an $R$-module and $U$ a submodule of $M$. Show that, if $U$ and $M/U$ are finitely generated, then $M$ is finitely generated aswell. I thought to maybe show this by taking ...
3
votes
3answers
68 views

Is $ \langle x,5 \rangle $ a maximal ideal of $ \mathbb{Z}[x] $?

Here, $ \langle x,5 \rangle $ is the ideal generated by $ x $ and $ 5 $ in $ \mathbb{Z}[x] $, which is the polynomial ring over $ \mathbb{Z} $. How should I approach this question?
2
votes
1answer
20 views

Proving that a Left semisimple ring $R$ is both left noetherian and left artinian

Prove that a left semi-simple ring $R$ is both left noetherian and left-artinian. I am following the proof given in pg 27,A first course in non-commutative rings (T.Y.Lam). Its strategy is to show ...
3
votes
1answer
31 views

If C is a chain of non-principal ideals and the union of the ideals of the chain contains a generator, why is the union then principal

If C is a chain of non-principal ideals and the union of the ideals of the chain contains a generator why is the union then principal. I understand this is a contradiction already and seems painfully ...
2
votes
1answer
35 views

Relatively prime ideals in Dedekind Domains

I am currently working through Lang's Algebra and have come across an exercise I can not solve (Chapter II, Exercise $19$). Any help would be greatly appreciated. Let $R$ be a Dedekind domain. ...
3
votes
0answers
91 views

Cardinomials: Like cardinalities, but polynomial valued

I want to see if this notion is known (or if it makes sense). Let $F$ be a field. Let $A$ be a finite dimensional commutative unital algebra over $F$. Let $X_1$, $X_2 \in A$ etc. be such that their ...
0
votes
2answers
34 views

Is it true that the order of any quotient ring $\mathbb Z[i]/\langle a+ib \rangle $ is $a^2+b^2$ ? (where not both $a,b$ are zero)

Is it true that the order of any quotient ring $\mathbb Z[i]/\langle a+ib \rangle $ is $a^2+b^2$ ? ( I know it is atmost finite ) Please help . Thanks in advance .
2
votes
1answer
40 views

Let $I = \{a+ ib \in \Bbb Z[i] : 2 \mid a-b\}$ then $I$ is a maximal ideal of $ \Bbb Z[i]$.

Let $I = \{a+ ib \in \Bbb Z[i] : 2 \mid a-b\}$ then $I$ is a maximal ideal of $ \Bbb Z[i]$. We consider an ideal $J$ such that $I \subset J\subset\Bbb Z[i] $. So there exists an element $p \in J$ but ...
1
vote
1answer
23 views

I've proved everything about the ideal correspondence easily except $\pi ^{-1} \pi (\frak{a}) = \frak{a}$

The correspondence theorem to which I refer is the bijection between ideals of a commutative ring with $1$, $A$, and ideals of $A/\frak{b}$. I can prove easily most parts that imply the bijection ...
0
votes
1answer
42 views

Let I be an unmixed radical ideal of R. then (I:x) is unmixed

Let $R$ be commutative ring with $1$. One says that an ideal $I$ is unmixed if $I$ has no embedded prime divisors (in other words, if the associated prime ideals of $R/I$ are the minimal prime ideals ...
2
votes
1answer
65 views

How can I verify that the ideal $(x^2-zw, z^2-yw, y^3-xw, w^3-xy^2z)$ in $\mathbb Q[x,y,z,w]$

I want to show that the ideal $$(x^2-zw, z^2-yw, y^3-xw, w^3-xy^2z)$$ in the ring $\mathbb{Q}[x,y,z,w]$ is prime, how can I?
3
votes
2answers
28 views

Is it true that an integral domain $R$ is a UFD if and only if intersection of any two principal ideals of $R$ is principal ?

Is it true that an integral domain $R$ is a UFD if and only if intersection of any two principal ideals of $R$ is principal ?
0
votes
1answer
55 views

If every maximal ideal is finitely generated is the ring Noetherian? [duplicate]

$R$ is a commutative ring with $1$. Suppose every maximal ideal is finitely generated. Is this ring Noetherian? Equivalently, is every prime ideal finitely generated?
4
votes
3answers
66 views

Are all prime ideals in $\mathbb Z[\sqrt{-5}]$ of the form $\langle c, a + b \sqrt{-5} \rangle$?

Where $a, b, c \in \mathbb Z$? I know that if in an UFD, $\langle c, a + b \sqrt{d} \rangle$ would boil down to a principal ideal. But it seems to me that in $\mathbb Z[\sqrt{-5}]$, for any purely ...
0
votes
1answer
40 views

Let $R$ be a PID. Prove that $\exists c \in R$ such that $c\mid a, c\mid b$ and $c = ax + by$.

Let $R$ be a PID and $a,b \in R$. Prove that $\exists c \in R$ such that $c\mid a, c\mid b$ and $c = ax + by$ for some $x,y \in R$.
0
votes
2answers
47 views

True or false question about polynomial ring

Let, $\mathbb{R}[x]$ be a polynomial ring and let $J = (x)$. True/false: $J$ consists of all the polynomials of $\mathbb{R}[x]$ whose constant terms are $0$. I know $J=(x)$ is a maximal ideal of ...
5
votes
1answer
30 views

Show that the ring of integers $A$ of the cubic field $\mathbb Q[x]$ with $x^3=2$ is principal.

Show that the ring of integers $A$ of the cubic field $K=\mathbb Q[x]$ with $x^3=2$ is principal. The hint given in the book is to majorize the discriminant of $A$ by $D(1,x,x^2)$ and then use the ...
1
vote
1answer
51 views

Maximal ideal of $\mathbb{R}[x]$

Let $\mathbb{R}[x]$ be a ring and let $J = (x)$. Prove that $J$ is a maximal ideal of $\mathbb{R}[x]$
2
votes
2answers
52 views

Ideal in $\mathbb Z[x]$ which is not two-generated

I can prove that the ideal $(4, 2x, x^2)$ in $\mathbb Z[x]$ is not principal. But I failed to prove that this cannot be generated by two elements. It's really difficult for me. Would you give me a ...
0
votes
0answers
14 views

Let P be a proper left ideal of R. Want to show that if P is comaximal with every non zero 2 sided ideal of R, Core(P) = {0}.

Let P be a proper left ideal of R. Want to show that if P is co-maximal with every non zero 2 sided ideal of R, Core(P) = {0}. The definition I am using of comaximal is: "I is comaximal with J if ...
1
vote
3answers
81 views

Show that $R/(I \cap J) \cong (R/I) \times (R/J) $

My question actually follows from this one: Show that if $I + J = R$, then $R/(I \cap J) \cong R/I \times R/J$ What I don't understand is why is it necessary for $I+J=R$, in order for $$ ...
1
vote
4answers
72 views

All prime ideals are maximal - Counterexample

I would like to know of some simple counter examples to the statement "ALL prime ideals are maximal" I say counter examples because I think the statement isn't true.
3
votes
1answer
34 views

Further examples of Principal Ideal Domain that are not Euclidean Domains

In several courses of algebra, I've heard that not all PIDs are EDs, and the canonical example is $\mathbb{Z}\left[\dfrac{1+\sqrt{-19}}{2}\right]$ which I've heard over and over. Some cursory research ...
0
votes
2answers
44 views

Question about ideals

I believe the following is a true statement, but I am unsure, so I wanted to check with people. If $p$ is an irreducible polynomial in $n$ indeterminates then $(p)$, the ideal generated by it, is ...
1
vote
1answer
46 views

In every ring with unity satisfying ACC, every ideal is finitely generated; can we prove it without assuming Axiom of choice?

Assuming Zorn's lemma, we can prove that in every ring with unity satisfying Ascending-Chain-Condition, every ideal is finitely generated. Is this statement equivalent to Zorn's lemma? Can we prove it ...
1
vote
1answer
63 views

In any commutative ring with unity, every prime ideal is finitely generated implies every ideal is finitely generated; can it be prove without A.C.?

Assuming Zorn's lemma, "In any commutative ring with unity, if every prime ideal is finitely generated, then every ideal is finitely generated". Is the converse true, i.e. if in any commutative ring ...
0
votes
2answers
42 views

Show that the quotient ring R/N has no non-zero nilpotent elements. [duplicate]

An element $x$ in a ring $R$ is called nilpotent if $x^n=0$ for some $n\in \mathbb N$. Let $R$ be a commutative ring and $N=\{x\in R\mid \text{x is nilpotent}\}$. (a) Show that $N$ is an ideal in ...
0
votes
1answer
28 views

What does the power of an ideal *mean*?

I am stumped trying to understand Silverman's definition of $\operatorname{ord}_P(f)$, the (normalized) valuation on $\bar K[C]_P$ (which denotes the localization of a curve $C$'s coordinate ring at ...
0
votes
3answers
36 views

Ideals Generated by polynomials

So I am currently studying a course in commutative algebra and the main object that we are looking at are ideals generated by polynomials in n variables. But the one thing I don't understand when ...