Questions tagged [ac.commutative-algebra]

Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.

Filter by
Sorted by
Tagged with
196
votes
3answers
12k views

A Game on Noetherian Rings

A friend suggested the following combinatorial game. At any time, the state of the game is a (commutative) Noetherian ring $\neq 0$. On a player's turn, that player chooses a nonzero non-unit element ...
159
votes
7answers
19k views

How to memorise (understand) Nakayama's lemma and its corollaries?

Nakayama's lemma is mentioned in the majority of books on algebraic geometry that treat varieties. So I think Ihave read the formulation of this lemma at least 20 times (and read the proof maybe ...
96
votes
5answers
8k views

What do epimorphisms of (commutative) rings look like?

(Background: In any category, an epimorphism is a morphism $f:X\to Y$ which is "surjective" in the following sense: for any two morphisms $g,h:Y\to Z$, if $g\circ f=h\circ f$, then $g=h$. Roughly, "...
94
votes
2answers
11k views

When is the tensor product of two fields a field?

Consider two extension fields $K/k, L/k$ of a field $k$. A frequent question is whether the tensor product ring $K\otimes_k L$ is a field. The answer is "no" and this answer is often justified by ...
90
votes
11answers
5k views

Can a non-surjective polynomial map from an infinite field to itself miss only finitely many points?

Is there an infinite field $k$ together with a polynomial $f \in k[x]$ such that the associated map $f \colon k \to k$ is not surjective but misses only finitely many elements in $k$ (i.e. only ...
90
votes
1answer
11k views

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

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

Errata for Atiyah-Macdonald

Is there a good errata for Atiyah-Macdonald available? A cursory Google search reveals a laughably short list here, with just a few typos. Is there any source available online which lists inaccuracies ...
88
votes
2answers
7k views

How would you solve this tantalizing Halmos problem?

$1-ab$ invertible $\implies$ $1-ba$ invertible has a slick power series "proof" as below, where Halmos asks for an explanation of why this tantalizing derivation succeeds. Do you know one? Geometric ...
62
votes
1answer
3k views

$R$ is isomorphic to $R[X,Y]$, but not to $R[X]$

Is there a commutative ring $R$ with $R \cong R[X,Y]$ and $R \not\cong R[X]$? This is a ring-theoretic analog of my previous question about abelian groups: In fact, in any algebraic category we may ...
58
votes
9answers
15k views

Irreducibility of polynomials in two variables

Let $k$ be a field. I am interested in sufficient criteria for $f \in k[x,y]$ to be irreducible. An example is Theorem A of this paper. Does anyone know of similar results in the same vein? How about ...
58
votes
11answers
6k views

How to introduce notions of flat, projective and free modules?

In the coming spring semester I will be teaching for the first time an introductory (graduate) course in Commutative Algebra. As many people know, I have been plugging away for a while at this ...
55
votes
5answers
7k views

Is there a “geometric” intuition underlying the notion of normal varieties?

I first got concious of the notion of normal varieties around 3 years ago and despite the fact that by now I can manipulate with it a bit, this notion still puzzles me a lot. One thing that strikes me ...
55
votes
2answers
6k views

What is the insight of Quillen's proof that all projective modules over a polynomial ring are free?

One of the more misleadingly difficult theorems in mathematics is that all finitely generated projective modules over a polynomial ring are free. It involves some of the most basic notions in ...
53
votes
5answers
3k views

Bizarre operation on polynomials

There I was, innocently doing some category theory, when up popped a totally outlandish operation on polynomials. It seems outlandish to me, anyway. I'd like to know if anyone has seen this ...
52
votes
1answer
3k views

A condition that implies commutativity

Let $R$ be a ring. A notable theorem of N. Jacobson states that if the identity $x^{n}=x$ holds for every $x \in R$ and a fixed $n \geq 2$ then $R$ is a commutative ring. The proof of the result for ...
50
votes
8answers
44k views

Modern algebraic geometry vs. classical algebraic geometry

Can anyone offer advice on roughly how much commutative algebra, homological algebra etc. one needs to know to do research in (or to learn) modern algebraic geometry. Would you need to be familiar ...
49
votes
12answers
14k views

Elementary / Interesting proofs of the Nullstellensatz

Is there an easy proof of the Nullstellensatz that avoids the standard Noether-normalization techniques? One proof I know proves first the 'weak' Nullstellensatz which ensures that maximal ideals ...
49
votes
9answers
10k views

Why is an elliptic curve a group?

Consider an elliptic curve $y^2=x^3+ax+b$. It is well known that we can (in the generic case) create an addition on this curve turning it into an abelian group: The group law is characterized by the ...
49
votes
2answers
3k views

a categorical Nakayama lemma?

There are the following Nakayama style lemmata: (the classical Nakayama lemma) Let $R$ be a commutative ring with $1$ and $M$ a finitely generated $R$-module. If $m_1, \ldots, m_n$ generate $M$ ...
47
votes
4answers
6k views

Does “finitely presented” mean “always finitely presented”? (Answered: Yes!)

Precisely, if an R-module M has a finite presentation, and Rk → M is some unrelated surjection (k finite), is the kernel necessarily also finitely generated? Basically I want to believe I can ...
47
votes
5answers
4k views

Is the determinant equal to a determinant?

Let $\det_d = \det((x_{i,j})_{1 \leq i,j\leq d})$ be the determinant of a generic $d \times d$ matrix. Suppose $k \mid d$, $1 < k < d$. Can $\det_d$ be written as the determinant of a $k \times ...
47
votes
2answers
5k views

Is primary decomposition still important?

On p.50 of Atiyah and Macdonald's Introduction to Commutative Algebra, in the introduction to the chapter on primary decomposition, it says In the modern treatment, with its emphasis on ...
47
votes
7answers
4k views

What does a projective resolution mean geometrically?

For R a commutative ring and M an R-module, we can always find a projective resolution of M which replaces M by a sequence of projective R-modules. But as R is commutative, we can consider the affine ...
45
votes
14answers
8k views

Applications of the Cayley-Hamilton theorem

The Cayley-Hamilton theorem is usually presented in standard undergraduate courses in linear algebra as an important result. Recall that it says that any square matrix is a "root" of its own ...
45
votes
3answers
4k views

What the heck is the Continuum Hypothesis doing in Weibel's Homological Algebra?

On page 98 of Weibel's An Introduction to Homological Algebra he mentions that the ring $R = \prod_{i=1}^\infty \mathbb{C}$ has global dimension $\geq 2$ with equality iff the continuum hypothesis ...
45
votes
1answer
3k views

Is there a “purely algebraic” proof of the finiteness of the class number?

The background is as follows: I have been whittling away at my commutative algebra notes (or, rather at commutative algebra itself, I suppose) recently for the occasion of a course I will be teaching ...
44
votes
7answers
6k views

“Algebraic” topologies like the Zariski topology?

The fact that a commutative ring has a natural topological space associated with it is still a really interesting coincidence. The entire subject of Algebraic geometry is based on this simple fact. ...
43
votes
8answers
8k views

Is there a preferable convention for defining the wedge product?

There are different conventions for defininig the wedge product $\wedge$. In Kobayashi-Nomizu, there is $\alpha\wedge\beta:=Alt(\alpha\otimes\beta)$, in Spivak, we find $\alpha\wedge\beta:=\frac{(k+l)...
43
votes
7answers
4k views

Does $SL_3(R)$ embed in $SL_2(R)$?

Is there any non-trivial ring such that $SL_{3}(R)$ is isomorphic to a subgroup of $SL_{2}(R)$? $SL_{3}(\mathbb{Z})$ is not an amalgam, and has the wrong number of order $2$ elements to be a subgroup ...
42
votes
0answers
984 views

Enriched Categories: Ideals/Submodules and algebraic geometry

While working through Atiyah/MacDonald for my final exams I realized the following: The category(poset) of ideals $I(A)$ of a commutative ring A is a closed symmetric monoidal category if endowed ...
42
votes
2answers
2k views

Categorical definition of the ideal product within the category of rings

This is an extension of this question. Let $I,J$ be ideals of a ring $R$; every ring is commutative and unital here. Is it possible to define $R \to R/(I*J)$ out of $R \to R/I$ and $R \to R/J$ in ...
41
votes
4answers
2k views

What is the Krull dimension of the ring of holomorphic functions on a complex manifold?

Consider a connected holomorphic manifold $X$ and its ring of holomorphic functions $\mathcal O(X).$ My general question is simply: in which cases is the Krull dimension $\dim \mathcal O(X)$ known? ...
40
votes
2answers
2k views

Is every Noetherian Commutative Ring a quotient of a Noetherian Domain?

This was an interesting question posed to me by a friend who is very interested in commutative algebra. It also has some nice geometric motivation. The question is in two parts. The first, as stated ...
39
votes
3answers
11k views

When is the product of two ideals equal to their intersection?

Consider a ring $A$ and an affine scheme $X=SpecA$ . Given two ideals $I$ and $J$ and their associated subschemes $V(I)$ and $V(J)$, we know that the intersection $I\cap J$ corresponds to the union $V(...
39
votes
2answers
4k views

Ring-theoretic characterization of open affines?

Background Recall that, given two commutative rings $A$ and $B$, the set of morphisms of rings $A\to B$ is in bijection with the set of morphisms of schemes $\mathrm{Spec}(B)\to\mathrm{Spec}(A)$. ...
39
votes
4answers
2k views

Why is there a duality between spaces and commutative algebras?

1) The category of affine varieties over $\mathbb{C}$ is equivalent to the opposite category of finitely generated reduced algebras over $\mathbb{C}$. The equivalence associates to an affine variety ...
39
votes
2answers
3k views

Why do we care whether a PID admits some crazy Euclidean norm?

An integral domain $R$ is said to be Euclidean if it admits some Euclidean norm: i.e., a function $N: R \rightarrow \mathbb{N} = \mathbb{Z}^{\geq 0}$ such that: for all $x, y \in R$ with $N(y) > 0$,...
39
votes
1answer
2k views

Is the radical of an irreducible ideal irreducible?

I originally posted this to math.stackexchange.com here. I got a partial answer, but I now suspect that the complete answer is much harder than I thought, so I'm posting it here. Fix a commutative ...
38
votes
3answers
2k views

What does it mean geometrically that an element in a domain is irreducible?

Consider a domain $A$ and a non-zero element $f\in A$. That element $f$ is prime if and only if the subscheme $V(f)\subset \operatorname{Spec}(A)$ is integral and this is a completely satisfactory ...
37
votes
8answers
4k views

What makes a theorem *a* “nullstellensatz.”

I know what the (Hilbert) Nullstellensatz says. A MathSciNet search on "nullstellensatz" turns up nearly 200 papers, with only a minority offering either new proofs or new applications of the classic ...
37
votes
3answers
1k views

The roots of unity in a tensor product of commutative rings

For $i\in\{1,2\}$ let $A_i$ be a commutative ring with unity whose additive group is free and finitely-generated. Assume that $A_i$ is connected in the sense that $0$ and $1$ are unique solutions of ...
36
votes
17answers
6k views

Canonical examples of algebraic structures

Please list some examples of common examples of algebraic structures. I was thinking answers of the following form. "When I read about a [insert structure here], I immediately think of [example]." ...
36
votes
5answers
3k views

How to think about CM rings?

There are a few questions about CM rings and depth. Why would one consider the concept of depth? Is there any geometric meaning associated to that? The consideration of regular sequence is okay to me....
36
votes
5answers
2k views

Explicit elements of $K((x))((y)) \setminus K((x,y))$

In an answer to the popular question on common false beliefs in mathematics Examples of common false beliefs in mathematics I mentioned that many people conflate the two different kinds of formal ...
36
votes
1answer
2k views

Is every connected scheme path connected?

Every (?) algebraic geometer knows that concepts like homotopy groups or singular homology groups are irrelevant for schemes in their Zariski topology. Yet, I am curious about the following. Let's ...
35
votes
10answers
9k views

Rings in which every non-unit is a zero divisor

Is there a special name for the class of (commutative) rings in which every non-unit is a zero divisor? The main example is $\mathbf{Z}/(n)$. Are there other natural or interesting examples?
35
votes
3answers
6k views

What is the “intuition” behind “brave new algebra”?

Y.I. Manin mentions in a recent interview the need for a “codification of efficient new intuitive tools, such as … the “brave new algebra” of homotopy theorists”. This makes me puzzle, because I ...
35
votes
4answers
5k views

What does “linearly disjoint” mean for abstract field extensions?

All definitions I've seen for the statement "$E,F$ are linearly disjoint extensions of $k$" are only meaningful when $E,F$ are given as subfields of a larger field, say $K$. I am happy with the ...
35
votes
6answers
2k views

On the universal property of the completion of an ordered field

I have been trying to write up some notes on completion of ordered fields, ideally in the general case (i.e., not just completing $\mathbb{Q}$ to get $\mathbb{R}$ but considering the completion via ...
33
votes
2answers
7k views

A finitely generated, locally free module over a domain which is not projective?

This is a followup to a previous question What is the right definition of the Picard group of a commutative ring? where I was worried about the distinction between invertible modules and rank one ...