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

learn more… | top users | synonyms (1)

11
votes
1answer
687 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 ...
11
votes
1answer
135 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
3answers
190 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
1answer
190 views

Coprime elements in finite rings

Let $R$ be a finite commutative ring. Consider elements $a,b \in R$ such that $Ra+Rb=R$. A paper I'm reading asserts that there exists some $x,y \in R$ such that $x(a+yb) = 1$. Of course, it ...
11
votes
3answers
570 views

Examples of rings with ideal lattice isomorphic to $M_3$, $N_5$

In thinking about this recent question, I was reading about distributive lattices, and the Wikipedia article includes a very interesting characterization: A lattice is distributive if and only if ...
11
votes
2answers
293 views

Preimaging units to units

I'm interested in (unity-preserving) homomorphisms $f: S \to T$ between (commutative, with-unity) rings $S$ and $T$ so that if $f(x)$ is a unit, then $x$ was a unit to start with. For example, an ...
11
votes
2answers
2k views

Prove that a UFD $R$ is a PID if and only if every nonzero prime ideal in $R$ is maximal

Prove that a UFD $R$ is a PID if and only if every nonzero prime ideal in $R$ is maximal. The forward direction is standard, and the reverse direction is giving me trouble. In particular, I can prove ...
11
votes
1answer
154 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
300 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
2answers
263 views

Minimal systems of generators for finitely generated algebras over commutative (graded) rings

Let $S$ be some base ring (a commutative ring or even just a field), and $R$ a commutative ring containing $S$ which is finitely generated (as an algebra) over $S$. What conditions guarantee that ...
11
votes
1answer
220 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
2answers
350 views

The bijection between homogeneous prime ideals of $S_f$ and prime ideals of $(S_f)_0$

It is well-known that if $S$ is a graded ring, and $f$ is a homogeneous element of positive degree, then there is a bijection between the homogeneous prime ideals of the localization $S_f$ and the ...
11
votes
3answers
675 views

Homomorphisms of graded modules

Let $M$ and $N$ be graded $R$-modules (with $R$ a graded ring). $\varphi:M\rightarrow N$ is a homogeneous homomorphism of degree $i$ if $\varphi(M_n)\subset N_{n+i}$. Denote by $\mathrm{Hom}_i(M,N)$ ...
10
votes
3answers
287 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
4answers
250 views

Show $\mathbb{Q}[x,y]/\langle x,y \rangle$ is Not Projective as a $\mathbb{Q}[x,y]$-Module.

Disclaimer: Though I have been re-reading my notes, and have scanned the relevant texts, my commutative algebra is quite rusty, so I may be overlooking something basic. I want to show $\mathbb{Q} ...
10
votes
4answers
122 views

Why is $\operatorname{Hom}(M,N)$ not necessarily an $R$ module?

Let $R$ be a ring, and $M,N$ be left $R-$modules. Then is it not true that $Hom_R(M,N)$ has the structure of an $R$-module? I was reading the preface of the Homological Algebra book by Rotman and ...
10
votes
3answers
385 views

Ring of holomorphic functions

Am I correct or not? I think that a ring of holomorphic functions in one variable is not a UFD, because there are holomorphic functions with an infinite number of $0$'s, and hence it will have an ...
10
votes
1answer
618 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
2answers
580 views

Must $k$-subalgebra of $k[x]$ be finitely generated?

Suppose $k$ is a field, $A$ is a $k$-subalgebra of the polynomial ring $k[x]$. Must $A$ be a finitely generated $k$-algebra? Thanks.
10
votes
2answers
761 views

A non-noetherian ring with all localizations noetherian

If for a ring $A$ every localization $A_\mathfrak{p}$ by a prime $\mathfrak{p}\subseteq A$ is noetherian, is it true that $A$ is noetherian? I believe not but I can't find a good counterexample.
10
votes
3answers
360 views

When to use Zorn's Lemma

I was looking at an exercise this morning which I was able to reduce to showing that the nilradical is the the intersection of the prime ideals in a ring -- a fact I remembered was true, but which I ...
10
votes
4answers
361 views

Spectrum of $R[x]$

The spectrum of $\Bbb Z[x]$ is well known : a prime ideal of $\Bbb Z[x]$ is or $(Q, p)$, with $Q \in \Bbb Z[x]$ zero or irreducible modulo $p$, and $p$ prime or zero. If I'm not mistaken, we have a ...
10
votes
3answers
543 views

Does an injective endomorphism of a finitely-generated free R-module have nonzero determinant?

Alternately, let $M$ be an $n \times n$ matrix with entries in a commutative ring $R$. If $M$ has trivial kernel, is it true that $\det(M) \neq 0$? This math.SE question deals with the case that ...
10
votes
2answers
244 views

$A\subseteq B\subseteq C$ ring extensions, $A\subseteq C$ finite/finitely-generated $\Rightarrow$ $A\subseteq B$ finite/finitely-generated?

Let $A\subseteq B\subseteq C$ be commutative unital rings. Recall that the extension $A \subseteq B$ is finite / of finite type / integral, when $B$ is a finitely generated $R$-module / when $B$ is a ...
10
votes
3answers
393 views

Direct way to show: $\operatorname{Spec}(A)$ is $T_1$ $\Rightarrow$ $\operatorname{Spec}(A)$ is Hausdorff

In the book of Atiyah and MacDonald, I was doing exercise 3.11. One has to show that for a ring $A$, the following are equivalent: $A/\mathfrak{N}$ is absolute flat, where $\mathfrak{N}$ is the ...
10
votes
2answers
665 views

Tensor product of domains is a domain

I'm reading Milne's Algebraic Geometry course notes, version 5.22, as a companion to an algebraic geometry course I'm taking now. Proposition 4.15 states: Let $A$ and $B$ be $k$-algebras, which are ...
10
votes
2answers
2k views

One-to-one correspondence of ideals in the quotient also extends to prime ideals?

I'm beginning to learn some grothendieck's algebraic geometry and I have a doubt about a property of commutative algebra. For a comm. ring $A$ and an ideal $I$ of $A$, does the one-to-one ...
10
votes
2answers
227 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
1answer
306 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
2answers
821 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
2answers
506 views

Fields finitely generated (as algebras) over $\mathbb Z$

Suppose $k$ is a field that is finitely generated as a ${\mathbb Z}$-algebra. (That is, $k$ is a quotient of ${\mathbb Z}[X_1,X_2,\ldots,X_n]$ for some $n$). Does it follow that $k$ is finite?
10
votes
3answers
381 views

Galois ring extension

Is there an analogous theory to Galois extension of fields for commutative rings? In particular, what does it mean for a ring extension to be Galois? Thanks.
10
votes
3answers
855 views

Primary ideals of Noetherian rings which are not irreducible

It is known that all prime ideals are irreducible (meaning that they cannot be written as an finite intersection of ideals properly containing them). While for Noetherian rings an irreducible ideal is ...
10
votes
2answers
385 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 ...
10
votes
1answer
371 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 ...
10
votes
3answers
261 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
660 views

How to compute localizations of quotients of polynomial rings

At the moment I'm trying to understand the concept of localizations of rings / modules. I have done some exercises (using the book of Atiyah / MacDonald) and I will do some more, but a more practical ...
10
votes
1answer
345 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
2answers
306 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
2answers
193 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}$ ...
10
votes
1answer
216 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
221 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
751 views

Does localisation commute with Hom for finitely-generated modules?

Question. Let $R$ be a ring, $\mathfrak{p}$ a prime, $M$ a finitely-generated $R$-module, and $N$ any $R$-module. Is the natural map $$\textrm{Hom}_R(M, N)_\mathfrak{p} \to ...
10
votes
1answer
499 views

Tensor products of infinite-dimensional spaces and other objects

It has just occurred to me that most of my intuition for tensor products is derived from the special case of finite-dimensional vector spaces, so I'm wondering which properties I've taken for granted ...
10
votes
2answers
265 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
2answers
493 views

Prove that the kernel of a homomorphism is a principal ideal.

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 ...
10
votes
1answer
398 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) ...
10
votes
1answer
247 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 ...
10
votes
2answers
1k 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 ...
10
votes
2answers
344 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 ...