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

learn more… | top users | synonyms (1)

27
votes
3answers
2k views

Reference request: introduction to commutative algebra

My goal is to pick up some commutative algebra, ultimately in order to be able to understand algebraic geometry texts like Hartshorne's. Three popular texts are Atiyah-Macdonald, Matsumura ...
22
votes
2answers
2k views

Tensor products commute with direct limits

This is Exercise 2.20 in Atiyah-Macdonald. How can we prove that $\varinjlim (M_i \bigotimes N) \cong (\varinjlim M_i) \bigotimes N$ ? Atiyah gives a suggestion, he says that one should obtain a map ...
28
votes
3answers
951 views

Ideals of $\mathbb{Z}[X]$

Is it possible to classify all ideals of $\mathbb{Z}[X]$? By this I mean a preferably short enumerable list which contains every ideal exactly once, preferably specified by generators. The prime ...
11
votes
4answers
5k views

Example of modules that are projective but not free; torsion-free but not free

Free modules are projective, and projective modules are direct summand of free modules. Is there any example of projective modules that are not free? (I know this is not possible for modules of ...
9
votes
3answers
893 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 ...
11
votes
2answers
1k views

Tensor product algebra $\mathbb{C}\otimes_\mathbb{R} \mathbb{C}$

I want to understand the tensor product $\mathbb C$-algebra $\mathbb{C}\otimes_\mathbb{R} \mathbb{C}$. Of course it must be isomorphic to $\mathbb{C}\times\mathbb{C}.$ How can one construct an ...
11
votes
1answer
844 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 ...
11
votes
3answers
672 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 ...
8
votes
3answers
1k views

If $A$ an integral domain contains a field $K$ and $A$ over $K$ is a finite-dimensional vector space, then $A$ is a field. [duplicate]

Possible Duplicate: Proof that an integral domain that is a finite-dimensional $F$-vector space is in fact a field I need to prove this result, but the only starting point I think of is to ...
4
votes
1answer
253 views

Multidimensional Hensel lifting

I have a question about a practical application of (some) generalised form of Hensel's Lemma. I cannot find it stated in an appropriate form in Bourbaki or anywhere else, so here goes ... Let $p$ be ...
4
votes
2answers
468 views

Completion of a Noetherian ring R at $(a_1,\ldots,a_n)$ is isomorphic to $R[[x_1,\ldots,x_n]]/(x_1-a_1,\ldots,x_n-a_n)$

How can we prove that if $R$ is a commutative Noetherian ring, $\mathfrak{m} = (a_1,\ldots,a_n)$ is an ideal, then the completion of $R$ at $\mathfrak{m}$ is isomorphic to ...
2
votes
1answer
266 views

A proposition on a Dedekind domain

I need a proof of the following proposition(?). Actually I think I came up with a proof. But it's nice to confirm it and/or to know other proofs. Thanks. Proposition Let $A$ be a Dedekind domain. Let ...
6
votes
2answers
538 views

Does every Noetherian domain have finitely many height 1 prime ideals?

Let $A$ be a Noetherian domain. Is the set $\{P\subset A \mid P \mbox{ prime ideal, } \dim A_P=1\}$ always finite? I can prove for $f \neq 0, f\in A$, the set $\{P\subset A \mid \dim A_P=1, f\in ...
5
votes
3answers
405 views

Examples of Non-Noetherian Valuation Rings

For valuation rings I know examples which are Noetherian. I know there are good standard non Noetherian Valuation Rings. Can anybody please give some examples of rings of this kind? I am very ...
4
votes
1answer
739 views

The total ring of fractions of a reduced Noetherian ring is a direct product of fields

This is question 6.5 in Matsumura's "Commutative ring theory": How can I prove that the total ring of fractions of a reduced Noetherian ring is a direct product of fields?
4
votes
3answers
584 views

Dedekind's theorem on the factorisation of rational primes

Let $K$ be an algebraic number field, and suppose its ring of integers is $\mathcal{O}_K = \mathbb{Z}[\theta]$ for some $\theta \in \mathcal{O}_K$. Let $f \in \mathbb{Z}[X]$ be the minimal polynomial ...
3
votes
1answer
228 views

Primary decomposition of a monomial ideal

Can anyone give me an idea about the primary decomposition of the ideal $I=(x^3y,xy^4)$ of the ring $R=k[x,y]$? I am trying to connect the primary decomposition with the set Ass(R/I) which i ...
1
vote
3answers
341 views

Existence of a prime ideal in an integral domain of finite type over a field without Axiom of Choice

Let $A$ be an integral domain which is finitely generated over a field $k$. Let $f \neq 0$ be a non-invertible element of $A$. Can one prove that there exists a prime ideal of $A$ containing $f$ ...
5
votes
2answers
260 views

Is quotient of a ring by a power of a maximal ideal local?

Say I have a commutative ring $R$ with a maximal ideal $m$. Then $m/m^k$ is a maximal ideal in $R/m^k$ for any $k$. Is it the only maximal ideal, i.e. is $R/m^k$ a local ring? This is a well ...
3
votes
2answers
148 views

Atiyah and Macdonald, Proposition 2.9

The following simple claim is used without proof in Proposition 2.9 of Atiyah and MacDonald (p.23). Although I believe I can prove it with a fairly involved argument, the claim is treated by the ...
3
votes
2answers
229 views

If a commutative ring is semiprime and its prime ideals are maximal then it is von Neumann regular (absolutely flat).

If a commutative ring is semiprime and its prime ideals are maximal then it is von Neumann regular (absolutely flat). The converse, although not immediately apparent, can be proven quite easily. But ...
1
vote
1answer
124 views

A relation involving an endomorphism of a finitely generated module

Suppose $R$ is a commutative ring, $I$ is an ideal of $R$, and $M$ a finitely generated $R$-module. (Usually in this problem $R$ includes $1_R$.) Let $\phi : M \to M$ be an $R$-homomorphism, and ...
1
vote
1answer
633 views

A maximal ideal among those avoiding a multiplicative set is prime

Let $S$ be a multiplicatively closed subset of a ring $R$, and let $I$ be an ideal of $R$ which is maximal among ideals disjoint from $S$. Show that $I$ is prime. If $R$ is an integral domain, ...
0
votes
1answer
310 views

Quotient ring of a localization of a ring

Let $A$ be a commutative ring. Let $P$ be a prime ideal of $A$. Let $I$ be an ideal of $A$ such that $I \subset P$. Let $\bar A = A/I$. Let $\bar P = P/I$. Is $\bar A_{\bar P}$ isomorphic to ...
75
votes
4answers
2k views

Does $R[x] \cong S[x]$ imply $R \cong S$?

This is a very simple question but I believe it's nontrivial. I would like to know if the following is true: If $R$ and $S$ are rings and $R[x]$ and $S[x]$ are isomorphic as rings, then $R$ and $S$ ...
27
votes
5answers
2k views

Why should I care about adjoint functors

I am comfortable with the definition of adjoint functors. I have done a few exercises proving that certain pairs of functors are adjoint (tensor and hom, sheafification and forgetful, direct image and ...
14
votes
5answers
1k views

A non-noetherian ring with $\text{Spec}(R)$ noetherian

Question 1: Does such a ring can be found? Note: The definition of a noetherian topological space is similar to that in rings or sets. Every descending chain of closed subsets stops after a finite ...
3
votes
3answers
333 views

$R \otimes_R M \cong M$

Let $R$ be a commutative unital ring and $M$ an $R$-module. I'm trying to prove $R \otimes_R M \cong M$ but I'm stuck. If $(R \otimes M, b)$ is the tensor product then I thought I could construct an ...
8
votes
4answers
942 views

Explicit examples of infinitely many irreducible polynomials in k[x]

My question is the following. Is it possible to give examples of infinitely many irreducible polynomials in a polynomial ring $k[x]$ with $k$ a field? I'm interested in this because I'm ...
7
votes
1answer
529 views

Infinite coproduct of rings

I just learned from Wikipedia that coproduct of two (commutative) rings is given by tensor product over integers, and that coproduct of a family of rings is given by a "construction analogous to the ...
5
votes
2answers
777 views

I want a proof without using Nakayama's lemma

I am trying to understand Nakayama's lemma. It looks like some "fixed point theorem". Using Nakayama's lemma , I can easily solve the following question. I want another proof. Thanks. Let $A$ be a ...
13
votes
5answers
2k views

In a principal ideal ring, is every nonzero prime ideal maximal? [duplicate]

Inspired by this question, I was wondering whether from just the hypothesis that $A[X]$ is a nontrivial (commutative) principal ideal ring (so without supposing it is a domain) one can deduce that $A$ ...
11
votes
2answers
907 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
1answer
632 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
643 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.
9
votes
1answer
625 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?
8
votes
3answers
218 views

Integral closure of $\mathbb{Q}[X]$ in $\mathbb{Q}(X)[Y]$

Consider the ring $\mathbb{Q}[X]$ of polynomials in $X$ with coefficients in the field of rational numbers. Consider the quotient field $\mathbb{Q}(X)$ and let $K$ be the finite extension of ...
5
votes
1answer
323 views

Field of fractions of $\mathbb{Q}[x,y]/\langle x^2+y^2-1\rangle$ [duplicate]

This problem goes as follows: Prove that $\mathbb{Q}[x,y]/\langle x^2+y^2-1\rangle$ is an integral domain and that its field of fractions is isomorphic to the ring of rational functions ...
5
votes
1answer
222 views

Finite injective dimension of the residue field implies that the ring is regular

Let $(R,\mathfrak m,k)$ be a noetherian local ring. If $\operatorname{inj dim}_R k$ is finite, then $R$ is regular. This is exercise 3.1.26 from Bruns and Herzog, Cohen-Macaulay Rings. I don't ...
5
votes
2answers
354 views

Where is the Axiom of choice used?

In Reid's commutative algebra, there is a proof of equivalent conditions of Noetherian rings, especially (1) The set of ideals of $A$ has the a.c.c. $\Rightarrow$ (2) Every ideal in $A$ is finitely ...
10
votes
2answers
403 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 ...
8
votes
3answers
2k views

If a ring is Noetherian, then every subring is finitely generated?

Let $R$ be a commutative ring with $1$, and let $K$ be a field. We know that $R$ is Noetherian iff every ideal of $R$ is finitely generated as an ideal. Question 1: If $R$ is Noetherian, is every ...
8
votes
3answers
433 views

If $R$ is a commutative ring with identity, and $a, b\in R$ are divisible by each other, is it true that they must be associates?

Thank you very much! My problem is: If $R$ is a commutative ring with identity, and $a, b$ are its elements that are divisible by each other, is it true that they must be associates? Here, $a$ ...
7
votes
2answers
907 views

Is fibre product of varieties irreducible (integral)?

Let $k$ be an algebraically closed field and $X,Y$ varieties (i.e. integral, separated schemes of finite type over $k$). Is the fibre product $X \times_k Y$ necessary irreducible or integral? I ...
4
votes
1answer
206 views

Normalization of a quotient ring of polynomial rings (Reid, Exercise 4.6)

I solved all parts of Exercise 4.6 of the book Undergraduate Commutative Algebra of Miles Reid except the last one. Let $A=k[X]$ and $f\in A$ has a square factor but it is not a square polynomial ...
3
votes
2answers
188 views

Showing that if $R$ is local and $M$ an $R$-module, then $M \otimes_R (R/\mathfrak m) \cong M / \mathfrak m M$.

Let $R$ be a local ring, and let $\mathfrak m$ be the maximal ideal of $R$. Let $M$ be an $R$-module. I understand that $M \otimes_R (R / \mathfrak m)$ is isomorphic to $M / \mathfrak m M$, but I ...
1
vote
1answer
115 views

Prove that the normalisation of $A=k[X,Y]/(Y^2-X^2-X^3)$ is $k[t]$ where $t=Y/X$ (Reid, Exercise 4.5)

This is a problem about finding the normalisation of a quotient polynomial ring. So I have to find the integral closure of the ring in its field of fractions. The problem statement is as follows: ...
10
votes
2answers
984 views

When is a tensor product of two commutative rings noetherian?

In particular, I'm told if $k$ is commutative (ring), $R$ and $S$ are commutative $k$-algebras such that $R$ is noetherian, and $S$ is a finitely generated $k$-algebra, then the tensor product ...
8
votes
2answers
505 views

Inverse image of the sheaf associated to a module

In Hartshorne, Algebraic geometry it's written, that for every scheme morphism $f: Spec B \to Spec A$ and $A$-module $M$ $f^*(\tilde M) = \tilde {(M \otimes_A B)}$. And that it immediately follows ...
8
votes
1answer
809 views

Ring of Polynomials is a Principal Ideal Ring implies Coefficient Ring is a Field?

I read this proof that if $D$ is an integral domain and $D[X]$ is a principal ideal domain, then $D$ is a field. My question is if the requirements can be relaxed a bit, namely: Is it true that ...