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
2answers
204 views

Suppose that R is a commutative ring with unity such that for each $a$ in $R$ there is an integer $n > 1\mid a^n =a$. Every prime ideal is maximal?

Suppose that R is a commutative ring with unity such that for each $a$ in $R$ there is a positive integer $n > 1$ such that $a^n =a$. Prove that every prime ideal of $R$ is a maximal ideal of R. ...
4
votes
3answers
579 views

In a principal ideal domain, prove that every non trivial prime ideal is a maximal ideal. What could be wrong in this approach?

In a principal ideal domain, prove that every non trivial prime ideal is a maximal ideal Attempt: Let $R$ be the principal ideal domain. A principal ideal domain $R$ is an integral domain in which ...
0
votes
1answer
51 views

Suppose that $I$ is an ideal of $J$ and that $J$ is an ideal of $R$. prove that if $I$ has a unity then $I$ is an ideal of $R$

Suppose that $I$ is an ideal of $J$ and that $J$ is an ideal of $R$. prove that if $I$ has a unity then $I$ is an ideal of $R$ Attempt: Given that $I$ is an ideal of $J$ which means : ...
2
votes
1answer
53 views

Prime radical that is nil but not nilpotent

Please help me to show that the prime radical of the ring $R=\prod\limits_{n = 1}^\infty { \mathbb{Z} /2^n\mathbb{Z} } $ is nil but not nilpotent.
1
vote
1answer
575 views

The nil-radical is an intersection of all prime ideals proof

Every proof I found online made the same implications. Take one for example: http://www.artofproblemsolving.com/Wiki/index.php/Nilradical I'm quoting the relevant part, which confuses me: "To show ...
3
votes
0answers
144 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$; ...
-4
votes
2answers
324 views

Quotient ring isomorphism

I think that if $A$ is any commutative ring with unity and $q\in A$, $p\in A[x]$ then we have $A[x]/(q,p)\cong A/(q)[x]/(\bar{p})$ where $\bar{p}$ denotes the class of $p$ in $A/(q)[x]$. Is this true? ...
-2
votes
1answer
69 views

Given ring and ideal, How to prove that the intersection of ideals is an ideal

Given $R$ is a ring, $X\subseteq H_i$ and $H_i$ is an ideal of $G$ for each $i=1,2,...,n$. Prove that $H_1∩H_2∩...∩H_n$ is an ideal of $G$ and contain $X$. That is a question I get from random ...
4
votes
1answer
61 views

Quotient $M/M^2$ is finite dimensional over $R/M$ in local Noetherian ring?

I have that $R$ is a Noetherian local ring with maximal ideal $M$, and I want to show that $M/M^2$ is a finite dimensional vector space over the field $R/M$. I think I've proved this (though I ...
5
votes
1answer
74 views

What kind of rings have exactly three ideals?

What kind of rings(commutative, w/ unity) have exactly three ideals? I know that those with exactly two ideals are "the fields", but what about three? Is there a fancy name for them?
0
votes
1answer
26 views

Finding a particular principal open subset of $Spec R$

Let $V\subseteq U$ be open subsets of $X=\text{Spec } R$, where $R$ is a commutative ring. So $V$ is the set of prime ideals not containing some ideal $I$, and $U$ is the set of prime ideals not ...
2
votes
1answer
62 views

Locally unital ideals [duplicate]

Let $R$ be a ring with unity not necessarily commutative and $I$ an ideal of $R$. Let for every element $a \in I$ there exists an element $c\in I$ such that $ac=a$. Note that $c$ is related to $a$. ...
1
vote
0answers
55 views

Prime ideal is contraction of prime ideal iff it's saturated

Let $\varphi: A\to B$ be a commutative ring homomorphism and $P$ a prime ideal of $A$. The expansion of an ideal $I\subset A$ is the ideal generated by $\varphi(I)$ in $B$, and the contraction of an ...
1
vote
1answer
50 views

Which is a subring? Which is an ideal?

We are having ring $\mathbb{Z}[\sqrt{-6}]$. Which of the sets is subrings of $\mathbb{Z}[\sqrt{-6}]$ and which are ideals? $\mathbb{Z}+5\mathbb{Z}[\sqrt{-6}]$ $5\mathbb{Z}+\mathbb{Z}[\sqrt{-6}]$ ...
0
votes
2answers
63 views

Maximal ideal which isn't principal

Let $J=(x-2,x-y^2-3)$ ideal in the polynomial ring $\Bbb R[x,y]$. Please help me prove that $J$ is a maximal ideal which isn't principal, and that $\Bbb R[x,y]/J \cong \Bbb C$.
0
votes
1answer
29 views

Specific Ideal determinations for a Ring

Uploaded in a picture, rather than typing it all. Note that these are unmarked questions from a sample exam. Just trying to study, but have forgotten almost everything (three major exams before this ...
1
vote
2answers
100 views

A question about the Zariski Topology

Let $\{a_i\}$ be an infinite set of ideals in commutative ring $R$. Is $\bigcap\limits_{i=1}^\infty a_i$ not defined? I am trying to understand Zariski Topology. Here, $V(\bigcap a_i)= ...
0
votes
1answer
35 views

A question about ideals.

Let $A$ and $B$ be arbitrary subsets of a ring. Then $V(A\cup B)=V(A)\cap V(B)$. Here, $V(X)$ is the set of prime ideals containing $X$. Let $W(X)$ be the set of ideals (any sort of ideals) ...
1
vote
1answer
24 views

Determining if any of these three are an ideal of $\mathbb{R}[x]$

$\mathbb{R}[x]$ denotes the ring of polynomials in $x$ with real coefficients. Let $I \subset \mathbb{R}[x]$ be the subset of those polynomials with constant coefficient $0$, and let $J \subset ...
0
votes
1answer
38 views

Proving $M_p$ is maximal in $C[0,1]$

Let $M_p$ be the ideal of those continuous functions of $C[0,1]$ which have $p\in [0,1]$ as a zero. It is a commonly known fact that $M_p$ is a maximal ideal. However, the proof is generally ...
0
votes
1answer
43 views

Help to conceive a name

Filter $F$ is defined by the formula $$A\cap B\in F \Leftrightarrow A\in F\wedge B\in F.$$ Ideal $F$ is defined by the formula $$A\cup B\in F \Leftrightarrow A\in F\wedge B\in F.$$ In my book I ...
0
votes
0answers
58 views

Grade of an ideal greater than the projective dimension of quotient of another one

We know that the grade of an ideal $I$ in a Noetherian ring $R$ is the infimum of the set of all $i$ with $Ext^i(R/I,R)$ nonzero. Also, the projective dimension of an $R$-module $M$ is at most $s$ if ...
0
votes
1answer
115 views

Subset of $\mathbb{Z} \times \mathbb{Z}$

I have a past exam question that is as follows: Let $k$ be a fixed integer and $S = \{(a,ka)|a \in \mathbb{Z}\}$ be a subset of $\mathbb{Z} \times \mathbb{Z}$. Prove that $S$ is a subgroup of ...
0
votes
1answer
84 views

Every proper ideal $I$ in a nonzero commutative unitary ring $R$ is contained in a maximal ideal.

If $R$ is a nonzero commutative unitary ring, then $R$ has a maximal ideal. Indeed, every proper ideal $I$ in $R$ is contained in a maximal ideal. There is a proof of this in Rotman's Advanced ...
4
votes
1answer
40 views

Need help for finding a generator

$I=\{a+bi \in R\mid a \equiv b\pmod 2\}$ is an ideal of $R=\mathbb Z[i]=\{a+bi\mid a,b \in \mathbb Z\}$. Can somebody help me to find the generator of $I$?
0
votes
1answer
82 views

If $R/I$ satisfies Serre's condition $S_2$ then $R/(I,x)$ satisfies $S_1$

Let $I$ be an ideal of polynomial ring $R=K[x_1,\ldots,x_n]$ and $x$ be a non-zero divisor of $R/I$. Is the following statement true? If $R/I$ satisfies Serre's condition $S_2$ then $R/(I,x)$ ...
1
vote
1answer
51 views

A condition for a homogeneous ideal to be prime

The following is the problem 11 of Chaper 8 Section 4 of Ideals, Varieties, and Algorithms by Cox, Little and O'Shea. A homogeneous ideal is said to be prime if it is prime as an ideal in ...
4
votes
0answers
60 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 ...
2
votes
1answer
78 views

Let I, J ideals. Are they equal?

Let $$I= \langle 11x^5y+7xy^6+9,8xy^4+6xy+9 \rangle$$ $$J= \langle 7x^5y^2+17x^2y^5+29,13xy^4+62xy^3+19 \rangle$$ ideals. Examine whether those two ideals are equal. By seeing their 3D plots I ...
0
votes
4answers
129 views

Maximal ideal in the ring of polynomials over $\mathbb Z$

Let $\mathbb Z[x]$ the ring of polynomials with integers coefficients in one variable and $I =\langle 5,x^2 + 2\rangle$, how can I prove that $I$ is maximal ideal. I tried first see that $5$ and ...
1
vote
1answer
72 views

Ideals problem from Hungerford Algebra

This question is from Hungerford's Algebra. Let $R$ be a ring with identity and $S$ the ring of all $n\times n$ matrices over $R$. $J$ is an ideal of $S$ iff $J$ is the ring of all $n\times n$ ...
4
votes
3answers
142 views

Commutative ring with an ideal that contains all the nonunits

Is there an example of a commutative ring with an ideal that contains all the non-units? I was trying to think of some subring of $\mathbb Q$, but I couldn't get it to work.
2
votes
3answers
129 views

Find all ideals of $\mathbb R[x] / \langle x^2-3x+2\rangle$

Find all ideals of $\mathbb R[x] / \langle x^2-3x+2\rangle$. I know that $\langle f(x)\rangle \subseteq \langle x^2-3x+2\rangle$ iff $\langle f(x)\rangle$ divides $\langle x^2-3x+2\rangle$. But ...
0
votes
1answer
41 views

A local subring of $F[[x]]$?

Suppose that $F$ is a field and $R=F⊕x^2F[[x]]$, where $F[[x]]$ is the ring of power series in one indeterminate $x$ with coefficients in $F$. I guess that $R$ is a local ring with the maximal ...
1
vote
3answers
123 views

Prove that a given ideal is not maximal in $\mathbb C[x,y,z]$

I'm trying to prove this ideal: $$(x^2+y^2+z^2+x+y+z,\ x^5+y^5+z^5+2(x+y+z),\ x^7+y^7+z^7+3(x+y+z))\subset \mathbb C[x,y,z]$$ can't be maximal. In order to do so, I'm using the Nullstellensatz ...
0
votes
1answer
33 views

Prove that if $\mathrm D$ is integral domain, then $\mathrm D$is UFD iff these conditions hold.

Prove that id $\mathrm D$ is integral domain, the "$\mathrm D$ is UFD " iff (1) $\mathrm D$ satisfies the ACC for principal ideals. (2) every irreducible element is a prime element. ...
3
votes
4answers
442 views

This ideal is prime or not?

I'm trying to prove this ideal $$I=(x^2+y^2+x,x+y+xy)\subset \mathbb C[x,y]$$ is prime. I supposed that $I$ is prime and I'm using the classical method to prove $I$ is prime: If $ab\in I$, ...
1
vote
1answer
82 views

Prove an ideal is maximal

Question Prove the ideal $\mathrm I=\{f \in \mathrm R| f(2)=0 \}$ of $\mathrm R=\{f(x) | f: \Bbb R \to \Bbb R $ is continue} is maximal. DO NOT use the $1$st isomorphism theorem. ...
0
votes
0answers
31 views

Complexity of and an algorithm for finding ideals of a ring?

One of the problems that has been a roadblock in my understanding of ideals has been how one would find them. One way of finding an I of some ring R would be to say $ \forall x \in I, \forall r \in R ...
2
votes
1answer
49 views

ideal calculations: $2\mathcal{O}_K=\mathfrak{B}^4$ in the ring of integers of $K=\mathbb{Q}(i,\sqrt{2m})$

Let $K=\mathbb{Q}(i,\sqrt{2m})$ where $m \in \mathbb{Z}$ is odd and squarefree. Let $\alpha = (1+i)\sqrt{2m}/2$. Then $\alpha^2=im$, such that $\alpha$ is part of the ring of integers $\mathcal{O}_K$. ...
1
vote
1answer
34 views

Lie group and generated ideals

I have this question in my textbook, and I can't seem to solve it on my own: Let $P \subset GL(n,\mathbb{C})$ be a subgroup as following: $P$ consists of all matrices in block ...
2
votes
3answers
282 views

Is this example right (ideals of $\mathbb{Z}[x]$)?

I encountered the following problem: Let $I_{0}=\{f(x)\in \mathbb{Z}[x] \ | \ f(0)=0\}$. For any positive integer, show that there exists a sequence of ideals such that $I_0\subsetneq ...
3
votes
1answer
41 views

Ideal in Dedekind domain

Let $D$ be Dedekind domain and $I$ nonempty ideal in $D$. I have to show that there are only finitely many ideals $J$ in $D$ such that $I$ is contained in $J$. My first idea would be: assume that ...
0
votes
2answers
67 views

What are the elements like in $\mathbb C[x]/(2x^2+5)$?

As stated, I wonder what are the elements in $\mathbb{C}[x]/(2x^2+5)$ composed like? Since $2x^2+5$ is not monic, it seems to be a little different from the situation like in $\mathbb C[x]/(x^2+5/2)$. ...
4
votes
1answer
76 views

Do $IJ$ and $I\cap J$ coincide if $I$ and $J$ are coprime? Also if ring $R$ has a $1$ and is not commutative?

Let $R$ be a ring (with identity) and let $I,J$ be two coprime (two-sided) ideals in it. In Algebra: Chapter $0$, Aluffi, III. exercise 4.5. the reader is asked to prove that: $$IJ=I\cap J$$ ...
1
vote
1answer
25 views

Product of ideals is contained in intersection. Seemingly contradiction.

I am reading through a proof where the writer looks at a simple ring $A$ with a nonzero right ideal $M$. At a certain point he comes to this: The poduct ideal $AM$ is a two sided ideal, and so ...
1
vote
1answer
215 views

Intersection of ideals

I am currently studying relations between several kinds of rings and domains. I have seen some properties concerning the sum of ideals : when I and J are finitely generated, then I+J is always ...
0
votes
1answer
38 views

Non irreducible primary ideal in $K[x,y,z]$

this is maybe an easy question but I don't see the answer: I'm trying find a primary ideal in $K[x,y,z]$ non being irreducible (where $K$ is a field) Thank you in advance!
8
votes
3answers
313 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 ...
0
votes
2answers
63 views

Let $R$ be a commutative ring with identity. Let $M$ be an ideal such that every element of $R-M$ is a unit. Then $R/M$ is a field.

Let $R$ be a commutative ring with identity. Let $M$ be an ideal such that every element of $R$ not in $M$ is a unit. Then $R/M$ is a field. I am solving this question of NBHM 2011. To solve this is ...