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

1
vote
1answer
10 views

Is the image of a ring homomorphism an ideal?

Let $\phi : R \rightarrow S$ be a ring homomorphism, then is $im(\phi)$ an ideal in $S$? I ask this because I am studying about modules and in that we say that for a given $R$-module homomorphism the ...
1
vote
1answer
39 views

Let $R$ be a commutative ring with $1 \ne 0$, and let $0 \ne e \in R$ be an idempotent element. Prove the following:

Let $R$ be a commutative ring with $1 \ne 0$, and let $0 \ne e \in R$ be an idempotent element. Note that $eR=\{er|r \in R\}$ is also a commutative ring with identity element $e$. (1) If I is an ...
2
votes
1answer
32 views

Form of maximal ideals in an algebraicaly closed polynomial ring

I have been trying to prove the following bijection which is a consequence of the nullstellansatz $$\{\text{maximal ideals of }\mathbb{C}[x_1,\dots,x_n] \} \leftrightarrow \{\text{points in ...
1
vote
2answers
24 views

An example of an ideal of order $12$

Provide an example of an ideal in $R=\mathbb{Z}_6\times\mathbb{Z}_{10}$ that has order $12$, and indicate whether the ideal is a principal ideal (if it is, then identify the generator for the ...
2
votes
0answers
44 views

Let $R$ be a Euclidean domain with degree function $\varphi$ and $R$ not a field. If $a \ne 0$ and $b \ne 0$ be two elements in $R$…

Let $R$ be a Euclidean domain with degree function $\varphi$ and $R$ is not a field. Prove the following: (1) Let $a \ne 0$ and $b \ne 0$ be two elements in $R$. Suppose that $a\mid b$ and $b \nmid ...
1
vote
1answer
34 views

Find a counterexample to the following lemma if we change the statement slightly.

let K be an algebraic number field and let $O_K$ be its ring of integers. Lemma; Let $a,b$ be fractional ideals of $O_K$. If $b \subseteq a$ then there is an ideal $c$ such that $b=ac$. I need to ...
0
votes
1answer
12 views

What is the order of $\mathbb Z[i] /I $ , where $I:=\{a+ib \in \mathbb Z[i] : 2 \mid a-b\}$?

I know that $I:=\{a+ib \in \mathbb Z[i] : 2\mid a-b\}$ is a maximal ideal of $\mathbb Z[i]$. My question is, what is the number of elements of $\mathbb Z[i] /I $? I am totally stuck. Please help . ...
1
vote
1answer
30 views

Power series with coefficients in primary rings

Let $P$ be a prime ideal in a commutative ring $R$ with unity such that an ideal $Q$ is $P$-primary and some power of $P$ is a subset of $Q$. I want to show that $\sqrt {Q[[x]]}=P[[x]]$. If a ...
1
vote
2answers
31 views

Pre-image of a ring homomorphism

Let $\phi:R \rightarrow S$ be a ring homomorphism and let $J$ be an ideal in $S$, then it is quite easy to prove that $\phi^{-1}(J)$ is an ideal in $R$. But can someone help me with proving the ...
2
votes
0answers
17 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 ...
0
votes
0answers
23 views

Prime Ideals in a Field

This is probably a really simple question: Am I right in thinking that a field has only one prime and one maximal ideal, namely the $(0)$ ideal? I think this is so because both prime/maximal ideals ...
0
votes
0answers
15 views

Ideal generated by two polynomials

Let a sequence of polynomials $\{f_n\}_{n=0}^\infty$ in $\mathbb{Q}[x,y]$ be given in the following way: $$f_0=1,$$ $$f_1=-x,$$ $$f_2=x^2-y,$$ $$f_{n+2}=-xf_{n+1}-yf_n.$$ For each $n\geq 0$, find ...
2
votes
1answer
27 views

Prime Ideals of a ring

The definition of a prime ideal is: An ideal $I$ in a ring $R$ is said to be a prime ideal if $I \neq R$ and $f.g \in I \implies f \in I$ or $g \in I$ My understanding of this is that $f.g \in I$ ...
1
vote
0answers
41 views

Finding the left (or right) ideals of the ring of $n\times n$ matrices

Just give me a hint, since this is assessment! DO NOT TELL ME THE IDEAL I want to find the left (or right) ideals of the ring of $n\times n$ complex valued matrices. Now the definition is (for ...
1
vote
3answers
23 views

Question on the product of ideals

Let $R$ be a commutative ring. Let $P,Q$ be two ideals of $R$. Then I know that $PQ$, the product of ideals, is the ideal generated by $pq$ for each $p\in P$ and $q\in Q$. In other words, ...
1
vote
2answers
27 views

$\varphi : R → S$ is a epimorphism from $R$ to ring $S$, let $I$ be an ideal of $R$. Prove $\varphi (I) = S$ if and only if $R = I +Ker(\varphi)$

Let $\varphi : R → S$ be an epimorphism from ring $R$ to ring $S$, and let $I$ be an ideal of $R$. Prove that $\varphi (I) = S$ if and only if $R = I +Ker(\varphi)$ I am quite confused on what ...
1
vote
1answer
19 views

Computing class group of $\mathbb Q(\sqrt{6})$

I am calculating the class group of $\mathbb Q(\sqrt 6)$. My working is as follows: The Minkowski bound is $\lambda(6)=\sqrt 6<3$ so we only need to look at prime ideals of norm $2$. $2$ divides ...
2
votes
1answer
40 views

Least common multiple for integer matrices

Given two full-rank $3\times3$ integer matrices $M_1$ and $M_2$, I am trying to find integer matrices $N_1$ and $N_2$ such that $M_1N_1$=$M_2N_2$, such that $\left|\det(M_1N_1)\right|$ is minimal. ...
0
votes
0answers
20 views

Quotient of graded rings by graded ideals are again graded rings

I want to prove the following statement. Let $A = \bigoplus_{n=0}^{\infty}A_n$ to be a graded $R$-algebra and $I$ a graded ideal of $A$. Let $(A/I)_n = (A_n + I)/I$ be the image of $A_n$ in $A/I$. ...
0
votes
0answers
29 views

ideals of polynomial ring with complex number coefficients

Let $\mathbb{C}[x,y]$ be the polynomial ring with variables $x,y$ and coefficient in $\mathbb{C}$. Let $f,g\in \mathbb{C}[x,y]$. Let $(f,g)$ be the ideal of $\mathbb{C}[x,y]$ generated by $f,g$. ...
0
votes
1answer
22 views

Two questions concerning ideal factorization and norm

$\bullet$ In $\mathbb Z[\sqrt{-5}]$ why is $(2)=(2,1+\sqrt{-5})(2,1-\sqrt{-5})$ Actually both ideals on the RHS contain $(2)$, but also their product ? Can we just multiply RHS in the normal sense; ...
0
votes
1answer
21 views

Ideals and Null set

I was wondering if an Ideal in a ring can ever be the null set. The definition of an Ideal $I$ is that it is a subset of the ring $R$ such that: 1)It is an abelian group under "addition" (I put it in ...
0
votes
0answers
35 views

Isomorphism and Quotient Ring [closed]

Let $R$ be a ring. If for every proper ideal $I$ of $R$ we have $R/I\cong R$, then show that for every two proper ideals $I$ and $J$ of $R$ either $I\subseteq J$ or $J\subseteq I$.
1
vote
1answer
29 views

What is the difference between these two conditions $J = \{az \mid a \in R\}$ and $ I = \{a \in R \mid az \in J\}$

Please consider these two questions: Let $R$ be a ring and $z \in R$, which is fixed. Let, $J = \{az \mid a \in R\}$. Prove that $J$ is a left ideal of $R$. Skipping the subtraction part, this is ...
1
vote
3answers
43 views

Show if $2$ and $1+\sqrt{-5}$ belong to the same principal ideal $I$ of $\mathbb{Z}[\sqrt{-5}]$ then $I=\mathbb{Z}[\sqrt{-5}]$.

Show if $2$ and $1+\sqrt{-5}$ belong to the same principal ideal $I$ of $\mathbb{Z}[\sqrt{-5}]$ then $I=\mathbb{Z}[\sqrt{-5}]$. I have proved so far that 2 and $1+\sqrt{-5}$ is irreducible and ...
1
vote
2answers
85 views

On the minimal set of generators of monomial ideals in $\mathbb{C}[x,y]$.

I am trying to do exercise 2.6 of Hassett's "Introduction to algebraic geometry": i) Give an example of a monomial ideal $I\subseteq\mathbb{C}[x,y]$ with a minimal set of generators consisting of ...
0
votes
1answer
21 views

The annihilator induces a module [duplicate]

Let $R$ be a ring, and $M$ an $R$-leftmodule. Let $\operatorname{Ann}_R(M)$ be the annihilator of M, meaning that $r m = 0 \space\space\space\space \forall r \in \operatorname{Ann}_R(M), m \in M$. ...
0
votes
0answers
18 views

Question about the deduction of the quotient ring $R/I$

Yesterday we deduced on class how quotient groups were deduced and well defined. Let $R$ be a ring and $I$ an ideal of $R$. My professor proved us that the multiplication operation $$R/I \times R/I ...
0
votes
3answers
35 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
21 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
22 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
36 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
31 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
35 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
53 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
25 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 ...
2
votes
0answers
96 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
27 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
39 views

how to show that an ideal is convex [closed]

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
0answers
43 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
42 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
42 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
79 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 ...
7
votes
2answers
694 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 ...
-1
votes
0answers
45 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
38 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
36 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
19 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
27 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
26 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 ...