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

learn more… | top users | synonyms (1)

11
votes
1answer
136 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
195 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
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
3answers
581 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
1answer
155 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
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
2answers
697 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
293 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
2answers
499 views

$\operatorname{height} \mathfrak{p} + \dim A / \mathfrak{p} = \dim A$

Let $A$ be an integral domain of finite Krull dimension. Let $\mathfrak{p}$ be a prime ideal. Is it true that $$\operatorname{height} \mathfrak{p} + \dim A / \mathfrak{p} = \dim A$$ where $\dim$ ...
10
votes
4answers
252 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
3answers
393 views

A finite commutative ring with the property that every element can be written as product of two elements is unital

I was struggling for days with this nice problem: Let $A$ be a finite commutative ring such that every element of $A$ can be written as product of two elements of $A$. Show that $A$ has a ...
10
votes
4answers
123 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
391 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
1k views

$A^m\hookrightarrow A^n$ implies $m\leq n$ for a ring $A\neq 0$

I'm trying to prove that if $A\neq 0$ is a commutative ring and there is an injective $A$-module homomorphism $A^m\hookrightarrow A^n$ then $m\leq n$ must necessarily hold. This is exercise 2.11 ...
10
votes
2answers
588 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
777 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
365 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
550 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
246 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
399 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
695 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
3answers
371 views

Computing stalks: do direct limits behave like limits?

Suppose that $X$ is a topological space with a sheaf of rings $\mathcal{O}_X$. In general, the stalk at a point $p \in X$ is the direct limit of the rings $\mathcal{O}_X(U)$ for all open sets $U$ ...
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
823 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
515 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
394 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
866 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
390 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
706 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
372 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
2answers
1k views

Inverse Image of Maximal Ideals

Given a map of commutative rings with unit, it is often the case that the inverse image of a maximal ideal is not maximal. For example, consider the inclusion $\mathbb{Z} \subseteq \mathbb{Q}$. ...
10
votes
3answers
262 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
681 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
347 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
312 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
196 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
218 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
223 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
763 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
507 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
382 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.