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

learn more… | top users | synonyms (1)

103
votes
0answers
4k views
+100

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 ...
83
votes
0answers
3k views
+50

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 ...
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$ ...
44
votes
5answers
2k 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 ...
40
votes
3answers
4k 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 ...
34
votes
1answer
465 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
837 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)$.
30
votes
2answers
1k 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 ...
30
votes
1answer
483 views

Is Frobenius the only magical automorphism?

The Frobenius automorphism is special because the $p$-power map makes sense in any characteristic $p$ ring, which allows us to canonically extend the Galois-theoretic Frobenius to any such ring. I ...
29
votes
7answers
3k 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 ...
28
votes
1answer
2k 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) ...
28
votes
3answers
928 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 ...
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 ...
27
votes
0answers
659 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 ...
26
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 ...
26
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 ...
23
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: ...
22
votes
3answers
408 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, ...
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 ...
22
votes
3answers
513 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 ...
22
votes
1answer
638 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
580 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
371 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 ...
21
votes
2answers
668 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, ...
21
votes
3answers
425 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
1answer
499 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
479 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
612 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
4answers
2k 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' ...
19
votes
4answers
995 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 ...
19
votes
1answer
504 views

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

Let $X = \operatorname{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 ...
19
votes
3answers
347 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 ...
19
votes
1answer
517 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 ...
19
votes
0answers
361 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'$ ...
18
votes
3answers
653 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 ...
18
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 ...
18
votes
2answers
402 views

Quotient of polynomials, PID but not Euclidean domain?

While trying to look up examples of PIDs that are not Euclidean domains, I found a statement (without reference) on the Euclidean domain page of Wikipedia that $$\mathbb{R}[X,Y]/(X^2+Y^2+1)$$ is ...
17
votes
5answers
2k views

Showing the set of zero-divisors is a union of prime ideals

I'm working on an exercise from Atiyah and MacDonald's Commutative Algebra, and have hit a bump on Exercise 14 of Chapter 1. In a ring $A$, let $\Sigma$ be the set of all ideals in which every ...
17
votes
3answers
882 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 + ...
17
votes
3answers
843 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$ ...
17
votes
2answers
739 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 ...
17
votes
2answers
202 views

Is Pythagoras the only relation to hold between $\cos$ and $\sin$?

Pythagoras says that $\cos^2 \theta + \mathrm{sin}^2\theta = 1$ for all real $\theta$. (Vague) Question. Is this the only relationship between the functions $\cos$ and $\sin$? More precisely: Let ...
17
votes
2answers
680 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
429 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
410 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
1k 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
405 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
2answers
827 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 ...
16
votes
1answer
462 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
2answers
1k views

Atiyah-Macdonald Exercises 5.16-5.19

I have solutions to Exercises 5.16–5.19 in Atiyah–Macdonald's Introduction to Commutative Algebra, but not in the order desired; I find myself needing later exercises to do earlier ones, ...