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

-3
votes
0answers
22 views

How to list all ideals in some quotient ring of $GF(2)[x]$ [on hold]

List all the ideals in $GF(2)[x]/({x^{31}}-1)$ by their generator elements.
0
votes
1answer
17 views

Let $R=\mathbb{Z}_2[X]$ and $I=<x^2+1,x^3+1>$ then which of the following are in $I$?

Let $R=\mathbb{Z}_2[X]$ and $I=<x^2+1,x^3+1>$ then which of the following are in $I$? $x^4+1,x^5+x+1,x^6+1$ $(x^2+1)^2=x^4+1,(x^3+1)^2=x^6+1$ About second option I need help.
0
votes
0answers
13 views

how to calculate the RicciTensor for system of 3 polynomials equations in 3 variables to test whether is spherical [on hold]

how to calculate the RicciTensor for system of 3 polynomials equations in 3 variables i find examples using differential expression, how to do for system of polynomial equations Riemannian metric of ...
0
votes
1answer
18 views

Question about the wording of a Ring Theory problem involving ideals

The homework question is: If $I,J$ are ideals of $R$, let $IJ$ be the set of all sums of elements of the form $ij$, where $i \in I$, $j \in J$. Prove that $IJ$ is an ideal of $R$. The phrase "the ...
0
votes
0answers
26 views

Which one of the following ideals is radical?

For a commutative ring $A$ and an ideal $I$, $N(I)=\{x\in A\mid x^n\in I \ \mbox{for some integer}\ n\}$. Then which of these satisfy $N(I)=I$: $A=\mathbb{Z}, I=(2)$, $A=\mathbb{Z}[x], ...
1
vote
0answers
24 views

How to prove a subset is an ideal

I just started learning about Ring Theory today and I am having some trouble truly understanding and being able to apply certain concepts. The first concept I am having trouble understanding is an ...
0
votes
3answers
45 views

Rigorous proof that certain ideal is not finitely generated

Let $R = F[x_1,x_2,\ldots]$ (polynomials in an infinite number of indeterminantes) and let $I = \{f \in R : f(0,0,\ldots) = 0)\}$. One can easily see that this is indeed an ideal. The proof for why ...
2
votes
1answer
33 views

The ideal $\langle x,y \rangle$ in $F[x,y]$ is not principal.

Let $F$ be a field. Apparently we know that $\langle x,y \rangle \neq \langle g(x,y) \rangle$ for any $g \in F[x,y]$. Why is this the case?
0
votes
1answer
50 views

Operations with ideals in a commutative ring

Let $R$ be a commutative ring with identity. Let $A$ and $B$ be ideals in the ring $R$. It is true that $(A\cap B)(A+B)$ equals the product $AB$?
1
vote
4answers
40 views

$\mathfrak{a}_{1} + \dots + \mathfrak{a}_{n} = A \Rightarrow \mathfrak{a}_{1}^{r_{1}} + \dots + \mathfrak{a}_{n}^{r_{n}} = A$

I have to prove the following : Let $A$ be a commutative ring with unity and let $\mathfrak{a}_{i}$ be ideals in $A$. Assume that $\mathfrak{a}_{1} + \dots + \mathfrak{a}_{n} = A$. Let $r_{i}$ be ...
0
votes
4answers
109 views

Is product of prime ideals prime?

I'm trying to show that the product of ideals $(x_1, x_3)$ and $(x_2, x_4)$ in $\mathbb C[x_1, x_2, x_3, x_4]$ is a radical ideal, but no other way that I can think of works. So, is the product ...
3
votes
1answer
115 views

Questions related to maximal ideals

In my previous sessional exams, I was asked to prove these two: 1) Find a ring which doesn't have a maximal Ideal. 2) If a ring has unity, then it has a maximal Ideal. About the ...
0
votes
2answers
17 views

Verifying proof :an Ideal $P$ is prime Ideal if $R/P$ is an integral domain.

I had to write the proof to show that an Ideal $P$ of a commutative ring $R$ is prime Ideal if $R/P$ is an integral domain. let $a,b\in R$ s.t. $ab\in P$ , ...
0
votes
1answer
35 views

Showing that an ideal is prime

I think that $k[x,y,z]/(z-1, x^2-y)$ can be identified as a subset of $k[x,y]$ with all polynomials whose $x$ terms are only degree one. Therefore I conclude that $k[x,y,z]/(z-1, x^2-y)$ is integral ...
1
vote
1answer
35 views

no. of elements in $\mathbb Z[i]/\langle 3+i\rangle$. [duplicate]

$\mathbb Z[i]/\langle 3+i\rangle$ can be represented as :$\{a+3b+\langle 3+i\rangle\big|~~a,b\in \mathbb Z\}$ How shall I find the total no. of elements in $\mathbb Z[i]/\langle 3+i\rangle$.. ...
-1
votes
1answer
32 views

Surjective homomorphism of rings. Every ideal of B is an extended ideal of an ideal of A. [closed]

Let $f: A \rightarrow B$ be a surjective homomorphism of rings. I have to prove that every ideal of $B$ is an extended ideal of an ideal of $A$. Thanks! :)
1
vote
1answer
21 views

$A=\{(3x,y)\mid x,y\in \mathbb Z\}$ is a maximal ideal of $\mathbb Z \oplus \mathbb Z$

I've a question from gallian which states: Show that $A=\{(3x,y)\mid x,y\in \mathbb Z\}$ is a maximal ideal of $\mathbb Z \oplus \mathbb Z$.Generalize.What happens if $3x$ is replaced by $4x$... ...
0
votes
1answer
34 views

Doubt regarding zero elements in factor ring :$\mathbb Z[i]/\langle3-i\rangle$

I have the factor ring $\mathbb Z[i]/\langle3-i\rangle$ and am asked to find elements zero in this ,they are $0,3-i,i(3-i),(3-i)+i(3-i)$. But I can't understand how do we guarantee these are the only ...
1
vote
0answers
29 views

Ideal in power series ring

Let $J$ be an ideal in $k[[x_1,...,x_n]]$ such that $(x_{1},...,x_{n})^{2}\subseteq J$, $\{x_{1},...,x_{r}\}\nsubseteq J$ and $\{x_{r+1},...,x_{n}\} \subseteq J$, for some $1\leq r \leq n$. I want to ...
0
votes
1answer
22 views

An Ideal which is Maximal additive subgroup is a Maximal Ideal

How should I prove this: Any Ideal which is a Maximal additive subgroup is also a Maximal Ideal . any idea how to prove it..
1
vote
1answer
25 views

Factorization in Dedekind domains

Let $R$ be a commutative, Dedekind (and therefore Noetherian) ring with $1$. Let $I$ be a non-prime ideal of $R$, and let $a,b$ be elements of $R$ such that $a\not\in I,b\not\in I$ but $ab\in I$. Let ...
1
vote
2answers
29 views

An ideal which is not finitely generated

Let $K$ be a field and $A=K[x_1,x_2,x_3,...]$. Prove that the ideal $I:=\langle x_i: i \in \mathbb N\rangle$ is not finitely generated as $A$-module. I have no idea what can I do here, I mean, ...
0
votes
1answer
34 views

A question regarding the number of generators of an ideal [duplicate]

Let $I$ be an ideal in $\mathbb{C}[x_1 ,x_2 ,x_3 ,x_4 ]$ such that $I$ is generated by $x_1 x_3$, $x_2 x_3$, $x_1 x_4$, and $x_2 x_4$. How to show that this I cannot be generated by two ...
0
votes
2answers
43 views

Showing that an ideal is maximal

Let $k$ be an algebraically closed field and $f$ be the polynomial $x_1x_2+x_2x_3+x_3x_1$ in $k[x_1, x_2, x_3]$. Here $f$ is irreducible. Then this polynomial ring is not a $PID$, it is only an ...
0
votes
0answers
12 views

Ideal from ring of fraction

Given $R$ is a commutative ring with $1$ and $D$ is multiplicatively closed containing $1$, I want to show that any ideal of $D^{-1}R$ is of the form $D^{-1}I$, where $I$ is an ideal in $R$. I have ...
2
votes
1answer
47 views

$\overline{\mathbb{Z}}$ is not a Dedekind domain.

I have to prove the following statement : Let $\overline{\mathbb{Z}}$ be the ring of all algebraic integers in (a fixed choice of) $\overline{\mathbb{Q}}$. Then $\overline{\mathbb{Z}}$ is not a ...
1
vote
0answers
34 views

Ideal and its number of generators [duplicate]

Consider an ideal $I$ in $\mathbb{C}[x_1, x_2, x_3, x_4]$ such that $I$ is generated by $x_1x_3, x_2x_3, x_1x_4,$ and $x_2x_4$. I think this ideal cannot be generated by two elements, but can't ...
1
vote
1answer
25 views

If $\cap_{j=1}^{n}I_{j} \subseteq P$ for any ideals $I_1,I_2,..I_n$, then $I_j \subseteq P$ for some $j$

$P$ is a prime ideal if $P$ satisfies the following : If $\bigcap\limits_{j=1}^{n}I_{j} \subseteq P$ for any ideals $I_1,I_2,..I_n$, then $I_j \subseteq P$ for some $j$, where $R$ is a commutative ...
1
vote
2answers
51 views

Sum and product of comaximal ideals

Let $R$ be a commutative ring with unity. If $R=I_{i}+I_{j}$, for all $i\ne j$, where $I_1,I_2,...,I_n$ are ideals of $R$, I want to show that $$R=I_{n}+I_{1}I_{2}\cdots I_{n-1}.$$ I started off ...
0
votes
0answers
26 views

Ideals of a field

I had the following - apparently straightforward - question on one of my past assignments: Show that a field has no other ideals except $\{0\}$ and the field itself. This was the proof I gave: ...
1
vote
1answer
18 views

What exactly does it mean for a maximal ideal to be unique in a principal ideal domain?

I'm currently reading about PIDs and have come across a question involving maximal ideals which at one point reads "Suppose that a Euclidean domain $R$ had a unique maxima ideal $P$". Does this mean ...
0
votes
0answers
23 views

Prove that the intersection of all maximal left ideals of a ring $R$ is a two sided ideal

Prove that the intersection of all maximal left ideals of a ring $R$ is a two sided ideal. What i did:Suppose $B$ be the intersection of all maximal left ideals of the ring $R$. Clearly $B$ is a left ...
2
votes
2answers
142 views

How to show that there is a bijective correspondence between two sets of prime ideals

I'm trying to solve this Algebra Problem, and I'm not quite sure, if I'm on the right way. Let $R$ be a commutative ring and $S \subset R$ a multiplicative subset. Show that $p \to pS^{-1}R$ ...
1
vote
1answer
31 views

Localizing at maximal ideals and the product

Let $D$ be an integral domain, $M_{i}$, $i = 1,...,r$ be some of its mutually distinct maximal ideals, and $e_{i}$be positive integers for all $i$. Is it true in general that the extension of the ...
1
vote
0answers
16 views

Unique maximal ideal in the ring of fraction

Let $R$ be a commutative ring with 1, and $P$ be a prime ideal in $R$. Let $D = R$ \ $P$. Show that $R_P := D^{-1}R$ has only one maximal ideal. Problem 2b in this link ...
0
votes
0answers
21 views

Primality of homogeneous ideal

Let $R$ be the polynomial ring over the finite field $\mathbb{F}_p$ with $n$ variables. Let $I$ be an ideal of $R$ generated by homogeneous polynomials whose coefficients are 1 or -1. Are there any ...
0
votes
1answer
52 views

Primary decomposition of $(XY,(X-Y)Z)$ in $k[X,Y,Z]$

How to find the primary decomposition of $I=(XY,(X-Y)Z)$ in $R=k[X,Y,Z]$? It has minimal primes $(x,y),(y,z),(z,x)$. I tried to calculate $J=S^{-1}I\cap R$, where $S=R-(x,y)$, but it seems ...
0
votes
0answers
23 views

the sum of two $z^0$-ideals even in $C(X)$ need not to be a $z^0$-ideal

I need to get an example of two $z^0$-ideals while their summation is not? What i know that the sum is a $z^0$-ideal or all of $C(X)$ if and only if $X$ is quasi F-space So i'm searching for an ...
1
vote
1answer
51 views

Factorization in noetherian domains

I changed the title (and the body) of this question page, since user26857 provided a nice answer for my original question in a more general setting. Here's what the accepted answer below provides: ...
0
votes
0answers
73 views

Irreducible ideals that are not primary.

In my advanced algebra course I've heard that in a noetherian (commutative) ring every irreducible ideal is primary. Can you give a counter example in a non noetherian ring? I've been lookin' ...
0
votes
1answer
23 views

Prime ideals of Z

I must be going crazy... We know that for an integral domain, $R, a \in R$ is prime if and only if $(a)$ is a prime ideal. So taking $R$ to be the integers and $a=2$. Obviously 2 is prime and looking ...
1
vote
1answer
46 views

Does $ax\in\mathfrak{m}I$ with $x\in I\setminus\mathfrak{m}I$ and $a \in R$ imply $a\in\mathfrak{m}$ for an invertible fractional $R$-ideal $I$?

Let $R$ be an integral domain, $\mathfrak{m}$ a maximal ideal of $R$, and $I$ an invertible fractional $R$-ideal. If $x \in I \setminus \mathfrak{m}I$ and $a \not\in \mathfrak{m}$, do we have $ax ...
0
votes
1answer
19 views

Is the set of polynomials an $x^n+ a_{n-1}x^{n-1}+\ldots+a_1x +a_0$ such that $2^k+1$ divides $a_k$ an ideal in $\Bbb Z[x]$?

Is the set of polynomials $a_nx^n+a_{n-1}x^{n-1}+\ldots+a_1x+a_0$ such that $2^k+1$ divides $a_k$ an ideal in $\Bbb Z[x]$? I think it is true for $2^k+1$ and it will be true for all the divisors as ...
3
votes
1answer
43 views

Maximal Ideals in $R=\{a+bi:a,b\in \mathbb Z\}$

I've read similar question but please this is not duplicate of Maximal ideals in the ring of Gaussian integers because the answer to it contain PID which I've not yet done etc. $R=\{a+bi:a,b\in ...
0
votes
0answers
41 views

Meaning of $S^{-1}R$ notation

Here are objects defined in an exercise: Let $R$ be a commutative ring. Let $A$ be an ideal of $R$ and $S=\{1+a\mid a\in A\}$. The exercise then makes reference to the prime ideals of $S^{-1}R$. ...
2
votes
1answer
40 views

Ideals, Dedekind domain and $\mathbb{Z}[\sqrt{-3}]$

I have the ideal $\mathfrak{a} = (2, 1 + \sqrt{-3})$ in $\mathbb{Z}[\sqrt{-3}]$. I have to show that $\mathfrak{a} \neq (2)$ but $\mathfrak{a}^{2} = (2)\mathfrak{a}$ and then conclude that ideals do ...
1
vote
1answer
26 views

Example of ring with two maximal ideals such that the char of the quotients is $0$, respectively $p$.

I am looking either for an example of a commutative ring with identity and two maximal ideals, such that the characteristic of one of the quotient rings is finite and the other characteristic is zero, ...
3
votes
1answer
51 views

Compute the transcendence degree (transcendence degree and tensor products)

$\DeclareMathOperator{\quot}{Quot}\DeclareMathOperator{\tr}{tr}$ Let $I_1$ and $I_2$ be nontrivial ideals in $\mathbb C[x_1,\ldots,x_k]$ and $\mathbb C[y_1,\ldots,y_m]$, respectively. Define $$ R_1 ...
1
vote
2answers
80 views

Prime ideals in $k[x,y]/(xy-1)$.

Let $k$ a field. Let $f$ be the ring injective homomorphism $$ f:k[x] \rightarrow k[x,y]/(xy-1)$$ obtained as the composition of the inclusion $k[x] \subset k[x,y]$ and the natural projection map $ ...
0
votes
1answer
24 views

A monomorphism from a ring to a direct sum

Let $R$ be a ring with a family of ideals $A_i$'s ($i\in I)$. We could consider a well-defined $R$-monomorphism from $R/∩A_i$ to the direct product of $R/A_i$'s sending $r+∩A_i$ to the tuple ...