Questions about commutative rings, their ideals, and their modules.

learn more… | top users | synonyms (1)

11
votes
2answers
462 views

Showing a UFD which is not a PID must have a nonprincipal maximal ideal.

Given that $R$ is a UFD which is not a PID, I want to show that $R$ must have a nonprincipal maximal ideal. I tried several methods, including Zorn's lemma but didn't get anywhere. Any suggestions ...
11
votes
2answers
496 views

Concrete examples of valuation rings of rank two.

Let $A$ be a valuation ring of rank two. Then $A$ gives an example of a commutative ring such that $\mathrm{Spec}(A)$ is a noetherian topological space, but $A$ is non-noetherian. (Indeed, otherwise ...
11
votes
1answer
141 views

$B\otimes_A A[x]=B[x]$

Let $A\rightarrow B$ be a homomorphism of commutative rings. Then $B\otimes_A A[x]\cong B[x]$ as $B$-algebras. How can one demonstrate this nicely, i.e. using universal properties alone and the Yoneda ...
11
votes
1answer
1k views

Inverse limit of modules and tensor product

Let $(M_n)_n$ be an inverse system of finitely generated modules over a commutative ring $A$ and $I\subset A$ an ideal. When is the canonical homomorphism $$\left(\varprojlim\nolimits_n ...
11
votes
1answer
299 views

Geometrical interpretation of $I(X_1\cap X_2)\neq I(X_1)+I(X_2)$, $X_i$ algebraic sets in $\mathbb{A}^n$

Edit: I should point out that I'm working over an algebraically closed field $k$. Let $X_1,X_2\subset\mathbb{A}^n$ be affine algebraic sets. Show that $I(X_1\cap X_2)=\sqrt{I(X_1)+I(X_2)}$. Show ...
11
votes
1answer
459 views

Are all subrings of the rationals Euclidean domains?

This is a purely recreational question -- I came up with it when setting an undergraduate example sheet. Let's go with Wikipedia's definition of a Euclidean domain. So an ID $R$ is a Euclidean domain ...
11
votes
3answers
216 views

If $M\oplus M$ is free, is $M$ free?

If $M$ is a module over a commutative ring $R$ with $1$, does $M\oplus M$ free, imply $M$ is free? I thought this should be true but I can't remember why, and I haven't managed to come up with a ...
11
votes
2answers
339 views

If every ascending chain of primary ideals in $R$ stabilizes, is $R$ a Noetherian ring?

A commutative ring $R$ is called Noetherian if every ascending chain of ideals in $R$ stabilizes, that is, $$ I_1\subseteq I_2\subseteq I_3\subseteq\cdots $$ implies the existence of $n\in\mathbb{N}$ ...
11
votes
1answer
893 views

Every maximal ideal is principal. Is $R$ principal?

Let $R$ be a commutative ring with 1. If every maximal ideal of $R$ is principal, is $R$ a principal ideal ring?
11
votes
1answer
182 views

Polynomials invariant under the action of $S_m \times S_n$

The polynomial ring $\mathbb{C}[x_1,\ldots,x_n]$ has a maximal subring invariant under the action of $S_n$ on the variables. This is the ring of symmetric polynomials. Suppose we have ...
11
votes
2answers
686 views

Prove that the kernel of a homomorphism is a principal ideal. (Artin, Exercise 9.13)

I have been having trouble with an exercise in my abstract algebra course. It is as follows: Let $f: \mathbb{C}[x,y] \rightarrow \mathbb{C}[t]$ be a homomorphism that is the identity on ...
11
votes
2answers
334 views

Why is $O_K\otimes \mathbb{Z}_p\cong \oplus_{\mathfrak{p}|p}O_{K,\mathfrak{p}}$?

In my old number theory notebook this is stated as a fact. However, I ran into problems when I tried to prove it. First let me state the (supposed) theorem accurately: Theorem (?) Let $K$ be a ...
11
votes
1answer
587 views

An example of a commutative ring in which every primary ideal is prime

It is clear that every prime ideal in a commutative ring is primary. The converse is false; for example, in the ring $\mathbb{Z}$ the ideal $(p^2)$ is an example of a primary ideal that is not prime ...
11
votes
1answer
426 views

Completion as a functor between topological rings

In the following all rings are assumed to be commutative and unitary. Preliminaries: For any topological ring $R$ we can form its completion $\widehat{R}$ by taking all Cauchy sequences modulo null ...
11
votes
2answers
2k views

Show $\mathbb{Z}[\sqrt{6}]$ is a Euclidean domain

I'm attempting to modify the proof the $\mathbb{Z}[\sqrt{2}]$ is a Euclidean domain to prove a similar result for $\mathbb{Z}[\sqrt{6}]$. The idea is to prove that $\mathbb{Q}[\sqrt{6}]$ is Euclidean ...
11
votes
2answers
371 views

Computing intersection multiplicity using Tor - explicit example

When trying to compute the (Serre-generalized) intersection number of two varieties at a closed point, I came to a need to compute the following $\operatorname{Tor}$: Let $k$ be an algebrically ...
11
votes
1answer
243 views

When some polynomials in $\mathbb Z[X]$ determine a regular sequence in $\mathbb Z[X_1,\dots,X_n]$?

Let $f_1,\dots,f_n\in\mathbb Z[X]$ be non-constant polynomials (not necessarily distinct). Is it true that $f_1(X_1),\dots,f_n(X_n)$ is a regular sequence in $\mathbb Z[X_1,\dots,X_n]$? The ...
11
votes
1answer
571 views

Atiyah-MacDonald help with exercise 5.10

This is an exercise from Atiyah-MacDonald, if someone can give an idea on how to prove that $a)\Rightarrow b)$: Let $f:A\rightarrow B$ a ring homomorphism. a) ...
11
votes
1answer
591 views

Homomorphism of local rings

Let $(A,\mathfrak{m})$ and $(B,\mathfrak{n})$ be local Noetherian rings. Suppose that $\phi : A\rightarrow B$ is a map such that $\phi(\mathfrak{m}) \subset \mathfrak{n}$ and suppose ...
10
votes
5answers
1k views

If the localization of a ring $R$ at every prime ideal is an integral domain, must $R$ be an integral domain?

Let $R$ be a commutative ring. Suppose that for every prime ideal $p$ of $R$, the localized ring $R_p$ is an integral domain. Must $R$ be a integral domain? I was trying to think of counter-examples, ...
10
votes
3answers
381 views

Number of prime ideals of a ring

Could anyone tell me how to find the number of distinct prime ideals of the ring $$\mathbb{Q}[x]/\langle x^m-1\rangle,$$ where $m$ is a positive integer say $4$, or $5$? What result/results I need to ...
10
votes
1answer
649 views

Prove that $\mathbb{C}[x,y] \ncong \mathbb{C}[x]\oplus\mathbb{C}[y]$

Prove that $\mathbb{C}[x,y] \ncong \mathbb{C}[x]\oplus\mathbb{C}[y]$ $\mathbb{C}[x,y]$ is the polynomial ring of two variables over $\mathbb{C}$. I guess that we can consider images of $xy$ and ...
10
votes
3answers
374 views

Geometrically, why do line bundles have inverses with respect to the tensor product?

Geometrically, why do line bundles have inverses with respect to the tensor product? Here my thoughts on the problem so far, please excuse their scatteredness. I know algebraically, it is just ...
10
votes
3answers
1k views

Krull dimension of $\mathbb{C}[x_1, x_2, x_3, x_4]/\left< x_1x_3-x_2^2,x_2 x_4-x_3^2,x_1x_4-x_2 x_3\right>$

Krull dimension of a ring $R$ is the supremum of the number of strict inclusions in a chain of prime ideals. Question 1. Considering $R = \mathbb{C}[x_1, x_2, x_3, x_4]/\left< x_1x_3-x_2^2,x_2 ...
10
votes
2answers
564 views

A non-nilpotent formal power series with nilpotent coefficients

Does anyone have an example of a formal power series $$p=a_0+a_1x+ a_2x^2 + \cdots \in R[[x]]$$ ($R$ is a commutative ring) all of whose coefficients $a_i$ are nilpotent in $R$ such that $p$ is not ...
10
votes
3answers
2k views

What are the integers $n$ such that $\mathbb{Z}[\sqrt{n}]$ is integrally closed?

I was recently reading about integral ring extensions. One of the first examples given is that $\mathbb{Z}$ is integrally closed in its quotient field $\mathbb{Q}$. Another is that ...
10
votes
2answers
2k views

Methods to check if an ideal of a polynomial ring is prime or at least radical

I am looking for methods to check whether a given ideal in $K[x_0,\dots,x_n]$ is prime. I mean something you can effectively use in some concrete non-trivial example. To be more explicit, I am working ...
10
votes
2answers
234 views

Is $k[x,y,z]/(x^2+y^2-z^2)$ a UFD?

Let $k$ be an algebraically-closed field of characteristic not two. Then is the ring $$k[x,y,z]/(x^2+y^2-z^2)$$ a UFD? I admit that $k[x,y,z]/(xy-z^2)$ is not a UFD.
10
votes
2answers
795 views

When is the integral closure of a local ring also a local ring?

Suppose $A$ is a normal local domain contained in a field $K$. Suppose $B$ is the integral closure of $A$ in $K$. Under what conditions on $A$ is $B$ local?
10
votes
1answer
478 views

Is a regular ring a domain

A regular local ring is a domain. Is a regular ring (a ring whose localization at every prime ideal is regular) also a domain? I am unable to find/construct a proof or a counterexample. Any help would ...
10
votes
1answer
353 views

Question about whether axiom of choice is needed in this proof

Do I need axiom of choice in this proof here? I think not: at each step we choose one element from a set $N - \langle g_1, \dots, g_k \rangle $. So while there is indeed a countable number of sets ...
10
votes
3answers
352 views

Is the coordinate ring of SL2 a UFD?

Is the ring $K[a,b,c,d]/(ad-bc-1)$ a unique factorization domain? I think this is a regular ring, so all of its localizations are UFDs by the Auslander–Buchsbaum theorem. However, I know there ...
10
votes
2answers
886 views

Ideal class group of a one-dimensional Noetherian domain

Let $A$ be a one-dimensional Noetherian domain. Let $K$ be its field of fractions. Let $B$ be the integral closure of $A$ in $K$. Suppose $B$ is finitely generated $A$-module. It is well-known that B ...
10
votes
1answer
959 views

Geometric meaning of primary decomposition

In the book "Commutative Algebra with a view toward Algebraic Geometry of David Eisenbud, he wrote about the Geometric interpretation of primary decomposition. I summary as follows : Let ...
10
votes
1answer
743 views

Affine scheme $X$ with $\dim(X)=0$ but infinitely many points

As the title says, I'm looking for an affine scheme of dimension zero, but with infinitely many points. At first I doubted that something like this could exist, and I still can't think of an example, ...
10
votes
1answer
565 views

A question on faithfully flat extension

This question arose while reading page 116 of Red Book by Mumford. Let $B$ be a faithfully flat extension of $A$. Can I claim that $b \otimes 1 = 1 \otimes b$ in $B\otimes_A B$ if and only if ...
10
votes
1answer
396 views

Primes in a Power series ring

Let $\mathbb Z$ be the ring of rational integers. Consider the power series ring $\mathbb Z[[x]]$. It is known that $\mathbb Z[[x]]$ is unique factorization domain. What are the primes in $\mathbb ...
10
votes
3answers
312 views

Deducing results in linear algebra from results in commutative algebra

Here are two examples of results which can be deduced from commutative algebra: Any $n\times n$ complex matrix is conjugate to a Jordan canonical matrix (can be proven using the structure theorem ...
10
votes
1answer
382 views

Finitely generated modules over PID

Let $A$, $B$, $C$, and $D$ be finitely generated modules over a PID $R$ such that $A\oplus $ $B$ $\cong$ $C\oplus $ $D$ and $A\oplus $ $D$ $\cong$ $C\oplus $ $B$ . Prove that $A$ $\cong$ $C$ and $B$ ...
10
votes
3answers
273 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 ...
10
votes
2answers
510 views

What is a primary decomposition of the ideal $I = \langle xy, x - yz \rangle$?

Given the ring $k[x,y,z]$, where $k$ is a field, and an ideal $I=(xy,x-yz)$, find the primary decomposition of $I$. I tried to draw the graph of the variety of $I$ and get a decomposition of ...
10
votes
1answer
294 views

Conditions for $\sqrt{\mathfrak{a + b}} = \sqrt{\mathfrak{a}} + \sqrt{\mathfrak{b}}$

Let $A$ be a commutative ring with identity and, $\mathfrak{a}$ and $\mathfrak{b}$ ideals.I'm trying to find sufficient and necessary conditions for $\sqrt{\mathfrak{a + b}} = \sqrt{\mathfrak{a}} + ...
10
votes
3answers
451 views

A theorem due to Gelfand and Kolmogorov

For any topological space $X$, we can define $C(X)$ to be the commutative ring of continuous functions $f\,:\,X\rightarrow \mathbb{R}$ under pointwise addition and multiplication. Then $C(-)$ becomes ...
10
votes
1answer
891 views

(Ir)reducibility criteria for homogeneous polynomials

Suppose I have a homogeneous polynomial in at least 3 variables over some algebraically closed field (of characteristic 0, if need be). Question: How may I test — by hand — whether it is irreducible? ...
10
votes
1answer
292 views

Intersection of powers of maximal ideals

Let $A=\mathbb K[X_1,\ldots,X_n]$ be a polynomial ring over some field $\mathbb K$. Let $\mathfrak p\subseteq A$ be a prime ideal. Let $Z(\mathfrak p)=\{ \mathfrak m\subset A\text{ maximal}\mid ...
10
votes
1answer
237 views

When is $\mathbb{Z}$ a flat $\mathbb{Z}G$-module?

Suppose that $\mathbb{Z}$ is a flat $\mathbb{Z}G$-module for a group $G$. Question: Is $G$ the trivial group ? Nb. I know that the question can be answered affirmatively if $G$ is finitely ...
10
votes
1answer
965 views

Given a commutative ring $R$ and an epimorphism $R^m \to R^n$ is then $m \geq n$?

If $\varphi:R^{m}\to R^{n}$ is an epimorphism of free modules over a commutative ring, does it follow that $m \geq n$? This is obviously true for vector spaces over a field, but how would one show ...
10
votes
2answers
502 views

Intersection of finitely generated ideals

Let $I$, $J$ be finitely generated ideals in a ring $A$ (commutative with identity). I know that the intersection need not be finitely generated: can somebody give me an example? Thanks.
10
votes
2answers
272 views

A commutative group structure on $R\times R$ for a ring $R$

Let $R$ be a commutative ring. The Cartesian square $A=R\times R$ is endowed with the operation $(a_1,b_1)\circ(a_2,b_2)=(a_1+a_2,b_1+b_2+a_1a_2^2+a_1^2a_2)$ which turns $A$ into a commutative ...
10
votes
1answer
391 views

Extending Herstein's Challenging Exercise to Modules

Anybody who has worked through Herstein's Topics in Algebra might remember Exercise 26 of Section 2.5 (in second edition): If $G$ is an abelian group containing subgroups of order $m$ and $n$, ...