0
votes
0answers
33 views

Radical ideals of $\mathbb{Z}$?

I am having trouble with classification of the radical ideals of $\mathbb{Z}$. We know that for a commutative ring $R$ with an ideal $I$, the radical of $I$ is defined (and denoted as $\sqrt{I}$) as ...
0
votes
0answers
18 views

a question on equivalence classes of balanced fractional ideals and Dedekind domain

Let $R$ be a commutative ring, and let $K=R\otimes \mathbb{Q}$. Def.1) We say that a pair of fractional ideals $(I, I')$ in $K$ is balanced if $II'\subseteq R$ and $N(I)N(I')=1$. Def.2) Two ...
2
votes
1answer
42 views

Preimage of maximal ideal is maximal [duplicate]

I've just started a commutative algebra course and I'm stuck on the very first homework problem: Let $A \not= \{0\}$ be a commutative ring. Let $\Phi : A \longrightarrow B$ be a ring homomorphism ...
1
vote
1answer
52 views

Intersection of two polynomial ideals

In the 4-dimensional affine space $\mathbb{A}^4$ with coordinates $x,y,z,t$, consider $X$ as the union of the planes $$ X'=\{x=y=0\} $$ and $$ X''=\{z=x-t=0\} $$ (I'm working on a algebraically ...
-1
votes
2answers
115 views

Show that every maximal ideal in $ \mathbb{Z}[x, y] $ contains a prime number [closed]

Let $\mathfrak{M} \subseteq \mathbb{Z}[x, y]$ be a maximal ideal. Show that $ \exists\ p \in \mathbb{Z}$, $p$ prime such $p \in \mathfrak{M}.$ Thanks for the answers. I'd be interested in a proof ...
1
vote
1answer
77 views

non-principal height one primes of a particular hypersurface

I was reading about divisor class groups, and I was wondering the following. Let $R=\mathbb{C}[X,Y,Z,W]/(XZ-YW)$, and let $x,y,z,w$ be the images of $X,Y,Z,W$ in $R$, respectively. Is there a way ...
0
votes
1answer
38 views

Problem on the number of generators

I have got stuck with two generator problems: The ideal $(zx,xy,yz)$ can't be generated by $2$ elements The ideal $(xz-y^2,yz-x^3,z^2-xy)$ can't be generated by $2$ elements Here the ...
2
votes
4answers
165 views

A finitely dimensional algebra over a field has only finitely many prime ideals all of them are maximal

Let $K$ be a field and let $R$ be a $K$-algebra with unity which is finite dimensional as a $K$-vector space. Prove that $R$ has only finitely many prime ideals all of which are maximal. (Hint: ...
3
votes
1answer
75 views

Are there any commutative rings in which no nonzero prime ideal is finitely generated?

Are there any commutative rings in which no nonzero prime ideal is finitely generated? I feel like the example (or proof of impossibility) ought to be obvious, but I'm not seeing it.
1
vote
1answer
78 views

Ideal generated by a regular sequence

I need to prove that the ideal $$ I = (xz -y^2, x^2t^2 -yz^3, x^2yt^2 -xz^4) \subset R = \mathbb{K}[x,y,z,t]$$ is generated by a $R$-regular sequence. How can I do it? I don't know if this can ...
4
votes
0answers
72 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 ...
1
vote
1answer
33 views

Ideal quotient and extension

Let $R$ be a commutative ring and $S$ a subring of $R$. If $I$ is an ideal of $S$ define $I^e$ as the ideal in $R$ generated by $I$, i.e. the extension of $I$ in $R$. If $I,J$ are ideals in $S$, we ...
7
votes
3answers
206 views

In $\mathbb{Z}/(n)$, does $(a) = (b)$ imply that $a$ and $b$ are associates?

[Update: Based on the hints provided by @zcn and @whacka, I believe I have found a solution. See my answer below.] Below, $R$ is a commutative ring with $1$. In John J. Watkins' Topics in ...
0
votes
2answers
48 views

Preimages of coprime ideals

Assume $R,S$ are commutative rings, $f:R\to S$ is a surjective ring homomorphism and $I,J$ are coprime ideals in $S$. Must $f^{-1}(I)$ and $f^{-1}(J)$ be coprime in $R$?
1
vote
1answer
121 views

Writing $I= (xz-y^2, yt- z^2)$ as an intersection of prime ideals

I need to write the ideal $I= (xz-y^2, yt- z^2) \subset R = \mathbb{K}[x,y,z,t]$ as intersection of prime ideals. Any idea? For the moment, I've noticed that $I$ is radical, then it suffices to ...
5
votes
1answer
71 views

$(x,y)$-primary ideals

I want to find all ideals $I$ in $\mathbf{C}[x,y]$ with $\sqrt{I}=(x,y)$ and $\dim_{\mathbf{C}}\mathbf{C}[x,y]/I=2$. I have no clue how to about it, I mean I can write down some examples, ...
2
votes
3answers
125 views

Isomorphic quotient of a module over Noetherian commutative ring

I have a nice solution to the following problem and I thought of writing a paper about it but beforehand, I wanted to ask the problem here to see if this is an easy problem and if you people can solve ...
0
votes
1answer
36 views

Does the relation $\pi(S_{i})=S^{-1}R-P_{i}\cdot S^{-1}R$ hold for prime ideals $P_i$ in a commutative ring $R$?

Let $R$ be a commutative ring. Let $P_{i}$, $1\leq i\leq n$ be prime ideals none of which are contained in each other. Let $S=R-(\cup_{i=1}^{n} P_{i})$. Then $S$ is a multiplicatively closed set and ...
1
vote
1answer
23 views

Equivalent definitions of fractional ideals

Let $R$ be an integral domain and $K$ its field of fractions. The usual definition of fractional ideal $I$ ($I$ is an $R$-submodule of $K$) is that for some nonzero $r\in R$ we have $rI\subset R$, and ...
1
vote
1answer
65 views

The geometric interpretation for extension of ideals?

Suppose $f\colon B\to A$ is a ring homomorphism, and $I\subseteq B$ is an ideal. What's the geometric interpretation for the extension $f(I)A$ of the ideal $I$? Especially, I'm interested in the case ...
2
votes
1answer
43 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.
3
votes
0answers
116 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
1answer
40 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 ...
0
votes
1answer
19 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 ...
0
votes
0answers
40 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
0answers
116 views

Reduced Gröbner basis and extension of scalars

Consider a field extension $L\subseteq K$, and let $\mathfrak a\neq 0$ be an ideal of the polynomial ring $L[T_1,\ldots,T_n]$. Suppose that a monomial order is fixed, so there exists a unique reduced ...
0
votes
0answers
40 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
63 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
42 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 ...
2
votes
1answer
71 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
82 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 ...
4
votes
3answers
127 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.
0
votes
1answer
35 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 ...
3
votes
4answers
398 views

This ideal is prime

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$, ...
-5
votes
1answer
116 views

An ideal which is not maximal in $\mathbb{C}[x,y,z]$ [closed]

Show that $$J=(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))$$ is not the maximal ideal $m=(x,y,z)$ in $\mathbb{C}[x,y,z]$.
0
votes
0answers
40 views

Equivalent definitions of Jacobson rings

We say that a ring $R$ is a Jacobson ring if $$ J(R/I)=\operatorname{nil}(R/I) $$ for every proper ideal $I$ of $R$, where $ J(R)=\bigcap\{M:M \text{ maximal ideal}\}. $ Then it also says, ...
1
vote
3answers
57 views

$a^n = 0 \implies a \in P$ (where $P$ is a prime ideal)

Is the above true? (I think it is!) if so, please can somebody explain why? I don't see it!
2
votes
0answers
38 views

When are all (prime) ideals of an $R$-algebra, extensions of (prime) ideals of $R$?

Let $f:R\rightarrow R'$ be a homomorphism of commutative noetherian rings. When are all (prime) ideals of $R'$ extensions of (prime) ideals of $R$? Is it true for the case $R'$ is $R$-flat?
1
vote
1answer
51 views

Symmetric powers of ideal quotients in a local ring.

Let $R$ be a local ring and $I \subset R$ any ideal. When is it the case that $(I \: \backslash I^2)^n = I^n \: \backslash I^{n+1}$? Put another way, when is the natural map $\text{Sym}^n(I/I^2) ...
3
votes
4answers
139 views

Finding generators for an ideal of $\Bbb{Z}[x]$

We know that $\Bbb{Z}$ is Noetherian. Hence, we can conclude that $\Bbb{Z}[x]$ is Noetherian, too. Consider the ideal generated by $\langle 2x^2+2,3x^3+3,5x^5+5,…,px^p+p,…\rangle$ for all prime ...
1
vote
1answer
41 views

Krull dimension, commutative algebra. Eisenbud, Exercise 10.3

This is the exercise. Let $k$ be a field. Prove that $k[x]\times k[x]$ contains a principal ideal of codimension $1$, although it's not a domain. Now, I have to find a principal ideal prime, such ...
4
votes
2answers
77 views

Computing the radical of an ideal

What is the best way to compute $\sqrt{(X^2-YZ,X(1-Z))}$ ? This is after using Nullstellensatz by the way as I thought it would be easier to compute a radical than finding the vanishing ideal.
1
vote
0answers
27 views

A problem involving ideals and prime ideals. [duplicate]

Please help me with a solution to this problem. Let $R$ be a commutative ring. Let $A_1, A_2$ be two ideals of $R$, and $P_1, P_2$ two prime ideals of $R$. Assume that $A_1 \cap A_2 \subseteq P_1 ...
2
votes
2answers
60 views

How to show that $(Y- X^2, Z - X^3) \subseteq k[X,Y,Z]$ is a prime ideal?

I suppose that $k$ is an algebraically closed field (actually, my goal is to show $\mathcal{I}(\mathcal{V}(Y- X^2, Z - X^3)) = (Y- X^2, Z - X^3)$). (But I think algebraically closed is not necessary ...
2
votes
1answer
74 views

Prove that $m^2$ is primary

Let $m$ be a maximal ideal. I'm having a hard time proving that $m^2$ is primary. Let ${xy\in m^2}$ so $xy=t_{1}s_{1}+...+t_{n}s_{n}$ where the $t_{i},s_{i}$ are in $m$.
0
votes
2answers
76 views

When is nilradical not a prime ideal

Atiyah gives this criterion for nilradical to be a prime ideal.Nilradical is the intersection of prime ideals.Is nilradical prime iff there is only one prime ideal? ie Intersection of distinct prime ...
3
votes
1answer
87 views

Minimal primary decomposition

Let $m$ be an integer ${\geq}3$ and $f(x,y,z)=y^m(x+y^3)-z^3$ in $k[x,y,z]$. Find the singular points of $f$ and find a minimal primary decomposition of the jacobian of $f$. I find the set of ...
0
votes
1answer
64 views

Equality with powers of an ideal

Let $A$ be an arbitrary (commutative with an identity) ring. Suppose $\alpha$ is an ideal. Is it true that $$\alpha(\alpha\cap\alpha^2\cap\alpha^3\cap…)=\alpha\cap\alpha^2\cap\alpha^3\cap…?$$ ...
1
vote
2answers
58 views

Example of Localization and Prime Ideals

For each $n\in \mathbb Z^+$, give an example of a localization of $\mathbb Z$ with exactly $n$ prime ideals. Justify your answer. Could an example have something to do with a UFD or Noetherian ...
0
votes
2answers
68 views

Spectrum of a product of rings isomorphic to the product of the spectra

I've found in an exercise this statement: If $A$ is a commutative ring with unit and $A = A_{1} \times \dots \times A_{n}$ then $$\def\Spec{\operatorname{Spec}} \Spec(A) \cong \Spec(A_{1})\times ...