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

learn more… | top users | synonyms (1)

67
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$ ...
50
votes
0answers
1k views

A short proof for $\dim(R[T])=\dim(R)+1$?

If $R$ is a commutative ring, it is easy to prove $\dim(R[T]) \geq \dim(R)+1$. For noetherian $R$, we have equality. Every proof I'm aware of uses quite a bit of commutative algebra and non-trivial ...
47
votes
0answers
1k views

The Ring Game on $K[x,y,z]$

I recently read about the Ring Game on Mathoverflow, and have been trying to determine winning strategies for each player on various rings. The game has two players and begins with a commutative ...
44
votes
5answers
1k views

How does one give a mathematical talk?

Sometime tomorrow morning I will be presenting a mathematics talk on something related to commutative algebra. The people present there will probably be two mathematicians (an algebraic geometer and a ...
34
votes
3answers
3k views

What is the Tor functor?

I'm doing the exercises in "Introduction to commutive algebra" by Atiyah&MacDonald. In chapter two, exercises 24-26 assume knowledge of the Tor functor. I have tried Googling the term, but I ...
32
votes
1answer
434 views

A ring isomorphic to its finite polynomial rings but not to its infinite one.

I was messing with the ring $k[x_1,\dots,x_n,\dots]$ of polynomials in numerable many variables in order to solve an exercise of Atiyah, and the following question came to me and made me curious: ...
31
votes
4answers
737 views

$\mathbb C[X]/(X^2)$ is isomorphic to $\mathbb R[Y]/((Y^2+1)^2)$

This question led me to the following: Prove that $\mathbb C[X]/(X^2)$ is isomorphic to $\mathbb R[Y]/((Y^2+1)^2)$.
29
votes
2answers
835 views

What are exact sequences, metaphysically speaking?

Why is it natural or useful to organize objects (of some appropriate category) into exact sequences? Exact sequences are ubiquitous - and I've encountered them enough to know that they can provide a ...
26
votes
3answers
698 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 ...
25
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 ...
25
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 ...
24
votes
6answers
2k views

Using Gröbner bases for solving polynomial equations

In my attempts to understand just how computer algebra systems "do things", I tried to dig around a bit on Gröbner bases, which are described almost everywhere as "a generalization of the Euclidean ...
23
votes
9answers
3k views

Motivation for Tensor Product

Can anyone explain me as to why Tensor Products are important, and what makes Mathematician's to define them in such a manner. We already have Direct Product, Semi-direct products, so after all why do ...
22
votes
1answer
495 views

Connectedness of the spectrum of a tensor product.

Let $A$, $B$ be finite free $\mathbb{Z}$-algebras such that $\operatorname{Spec}(A)$ and $\operatorname{Spec}(B)$ are both connected. Is $\operatorname{Spec}(A\otimes_{\mathbb{Z}} B)$ connected?
22
votes
1answer
556 views

Why is the Hessian of an irreducible polynomial not zero?

Let $k$ be an algebraically closed field, $\operatorname{char}k=0$, $F$ be an irreducible homogeneous polynomial of degree$>1$ in $k[X,Y,Z]$, and ...
22
votes
1answer
324 views

Hilbert's original proof of basis theorem

Does anyone know Hilbert's original proof of his basis theorem--the non-constructive version that caused all the controversy? I know this was circa 1890, and he would have proved it for ...
22
votes
0answers
477 views

What is the Picard group of $z^3=y(y^2-x^2)(x-1)$?

I'm actually doing much more with this affine surface than just looking for the Picard group. I have already proved many things about this surface, and have many more things to look at it, but the ...
21
votes
3answers
383 views

My proof of $I \otimes N \cong IN$ is clearly wrong, but where have I gone wrong?

Ok, I'm reading some thesis of some former students, and come up with this proof, but it doesn't really look good to me. So I guess it should be wrong somewhere. So, here it goes: Let $R$ be a ...
21
votes
3answers
366 views

$\operatorname{Ann}(M\otimes_A N)=\operatorname{Ann}M+\operatorname{Ann}N$?

In the course of working on an exercise in Atiyah-MacDonald (exercise 3 on p. 31), I've come to the belief that, for $A$ an arbitrary commutative ring and $M,N$ arbitrary $A$-modules, ...
21
votes
1answer
448 views

The tensor product of two Artinian modules is Artinian

user$xxxxx$ posted (and then deleted) the following question which I think deserves to be here: Prove that the tensor product of two Artinian modules is Artinian.
21
votes
1answer
463 views

functoriality of derivations

I seem to have problems understanding algebraically why given a map of manifolds $f: M \to N$ we get a bundle map $TM \to f^*TN$. Now, fiberwise it's all good. But I do not understand how to define ...
20
votes
2answers
558 views

The prime spectrum of a Dedekind Domain

Let $A$ be a Dedekind Domain, let $X = \operatorname{Spec}(A)$. Are all open sets in $X$ basic open sets? Thinking about the Zariski topology (in the classical sense) of a non-singular affine curve, ...
20
votes
2answers
526 views

What is the coproduct of fields, when it exists?

This is a slightly more advanced version of another question here. Let $\textbf{CRing}$ be the category of commutative rings with unit. Let $\textbf{Dom}$ be the category of integral domains – by ...
20
votes
1answer
904 views

Classification of prime ideals of $\mathbb{Z}[X]$

Let $\mathbb{Z}[X]$ be the ring of polynomials in one variable. My question: Is every prime ideal of $\mathbb{Z}[X]$ one of following types? If yes, how would you prove this? (1) ($0$) (2) ...
20
votes
3answers
455 views

A Laskerian non-Noetherian ring

A Laskerian ring is a ring in which every ideal has a primary decomposition. The Lasker-Noether theorem states that every commutative Noetherian ring is a Laskerian ring (as an easy consequence of the ...
19
votes
4answers
2k views

Why does a minimal prime ideal consist of zerodivisors?

Let $A$ be a commutative ring. Suppose $P \subset A$ is a minimal prime ideal. Then it is a theorem that $P$ consists of zero-divisors. This can be proved using localization, when $A$ is noetherian: ...
19
votes
1answer
459 views

Are finitely generated projective modules free over the total ring of fractions?

Let $Q(A)$ be the total ring of fractions of a commutative reduced non-noetherian ring $A$. Let $P$ be a finitely generated projective module over $Q(A)$ which is of constant rank (i.e. locally free ...
18
votes
4answers
844 views

Why isn't $\mathbb{C}[x,y,z]/(xz-y)$ a flat $\mathbb{C}[x,y]$-module

Why isn't $M = \mathbb{C}[x,y,z]/(xz-y)$ a flat $R = \mathbb{C}[x,y]$-module? The reason given on the book is "the surface defined by $y-xz$ doesn't lie flat on the $(x,y)$-plane". But I don't ...
18
votes
4answers
1k views

Proving the snake lemma without a diagram chase

Suppose we have two short exact sequences in an abelian category $$0 \to A \mathrel{\overset{f}{\to}} B \mathrel{\overset{g}{\to}} C \to 0 $$ $$0 \to A' \mathrel{\overset{f'}{\to}} B' ...
18
votes
3answers
298 views

Bound on nilpotency index of endomorphisms

Let $A$ be a Noetherian ring (commutative with $1$) and $M$ a finitely generated $A$-module. I want to show that there exists a bound $n$ such that for every nilpotent endomorphism $T : M \to M$ we ...
18
votes
0answers
297 views

Classification of local Artin (commutative) rings which are finite over an algebraically closed field.

A result in deformation theory states that if every morphism $Y=\operatorname{Spec}(A)\rightarrow X$ where $A$ is a local Artin ring finite over $k$ can be extended to every $Y'\supset Y$ where $Y'$ ...
17
votes
2answers
1k views

A tensor product of power series

Let $k$ be a field. I am wondering if there is an easy description of the ring $$k[[x]] \otimes_{k[x]} k[[x]]$$ that is the tensor product of the power series ring $k[[x]]$ with itself over the ring ...
17
votes
2answers
608 views

Is the radical of an irreducible ideal irreducible?

Fix a commutative ring $R$. Recall that an ideal $I$ of $R$ is irreducible if $I = J_1 \cap J_2$ for ideals $J_1$ and $J_2$ only when either $I = J_1$ or $I = J_2$. Question : Assume that $I$ is an ...
17
votes
2answers
403 views

Basic counterexample re: preimages of ideals

I'm trying to think of an example of a homomorphism of commutative rings $f:A\rightarrow B$ and ideals $I,J$ of $B$ such that $f^{-1}(I)+f^{-1}(J)$ is not a preimage of any ideal of $B$. I can't seem ...
17
votes
1answer
396 views

The polynomial whose roots are all real

Suppose $p(x)=a_nx^n+a_{n-1}x^{n-1}+\cdots+a_0\in \mathbb{R}[x]$ is a polynomial whose roots are all real where $a_n=1$. We want to show that The polynomial $g(x)=\sum_{i=0}^{n} ...
16
votes
3answers
921 views

Commutative non Noetherian rings in which all maximal ideals are finitely generated

In commutative rings we have the following Theorem. $R$ is Noetherian if and only if each prime ideal of $R$ is finitely generated. From this Theorem I am looking for commutative rings $R$ in which ...
16
votes
1answer
435 views

What is Spec $\mathbf{C}[[x,y]]/(y^{2} - x^{3} - x^{2})$?

Let $X = \textrm{Spec} \mathbf{C}[[x,y]]/(y^{2} - x^{3} - x^{2})$. I would like to describe X set-theoretically. My questions are: Can one explicitly say what the elements in X are? Is it possible to ...
16
votes
3answers
459 views

What does the topology on $\operatorname{Spec}(R)$ tells us about $R$?

Let $R$ be a commutative ring with a unit. $\newcommand{\spec}{\operatorname{Spec}}\spec(R)$ denotes the set of all prime ideals in $R$, and it can be topologized using the Zariski topology. Last ...
16
votes
2answers
1k 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 ...
16
votes
1answer
343 views

Is every rigid field perfect?

A field is rigid iff its automorphism group is trivial. A field $F$ is perfect iff all irreducibles in $F[x]$ are separable. Is every rigid field perfect?
16
votes
3answers
534 views

If $\mathop{\mathrm{Spec}}A$ is not connected then there is a nontrivial idempotent

I'm solving a problem from Atiyah-Macdonald. I have to show that if $X=\mathop{\mathrm{Spec}}A$ is not connected then $A$ contains idempotents $e \neq 0,1$. The converse is easy. If $e \in A$ ...
16
votes
1answer
420 views

An exercise with Zariski topology

I read this exercise: Prove that the set $S = \{ (n, 2^n, 3^n ) \mid n \in \mathbb{N} \}$ is dense in $\mathbb{C}^3$ with Zariski topology. I have seriously thought about it, but I do not manage to ...
16
votes
1answer
415 views

Modules with $m \otimes n = n \otimes m$

Let $R$ be a commutative ring. Which $R$-modules $M$ have the property that the symmetry map $$M \otimes_R M \to M \otimes_R M, ~m \otimes n \mapsto n \otimes m$$ equals the identity? In other ...
15
votes
3answers
440 views

Can a prime in a Dedekind domain be contained in the union of the other prime ideals?

Suppose $R$ is a Dedekind domain with a infinite number of prime ideals. Let $P$ be one of the nonzero prime ideals, and let $U$ be the union of all the other prime ideals except $P$. Is it possible ...
15
votes
3answers
797 views

Motivation for Eisenstein Criterion

I have been thinking about this for quite sometime. Eisentein Criterion for Irreducibility: Let $f$ be a primitive polynomial over a commutative unique factorization domain $R$, say $$f(x)=a_0 + ...
15
votes
2answers
629 views

Did Zariski really define the Zariski topology on the prime spectrum of a ring?

The question is not: “Did Zariski really define the Zariski topology?” It is: “Did Zariski really define the Zariski topology on the prime spectrum of a ring?” Here is the motivation. --- On page ...
15
votes
2answers
637 views

Compactness of $\operatorname{Spec}(A)$

In an exercise in Atiyah-Macdonald it asks to prove that the prime spectrum $\operatorname{Spec}(A)$ of a commutative ring $A$ as a topological space $X$ (with the Zariski Topology) is compact. Now ...
15
votes
3answers
385 views

*writing* proofs involving commutative diagrams

This question is a little fuzzy so might be closed, but I'll give it a shot. I'm sorry this question has quite a long introduction, I don't see how to formulate it more concisely. In modern algebraic ...
15
votes
1answer
270 views

A space of ideals

Definition: Let $R$ be a commutative ring with 1. Endow the power set $2^R$ with the product topology. The ideal space $\mathcal{I}(R)$ is defined to be subset of $2^R$ consisting of ideals, ...
14
votes
4answers
660 views

Why is ideal more important than subring?

I have read that subgroups, subrings, submodules, etc. are substructures. But if you look at the definition of the Noetherian rings and Noetherian modules, Noetherian rings are defined with ideals ...