# Questions tagged [ac.commutative-algebra]

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

410 questions
Filter by
Sorted by
Tagged with
9k 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, "...
5k views

### An algebra of “integrals”

When discussing divergent integrals with people, I got curious about the following: Is there an $\mathbb{R}$-algebra $A$ together with a map (could be defined on just a subspace) \int_0^{\infty}: ...
7k views

### Infinite tensor products

Let $A$ be a commutative ring and $M_i, i \in I$ be a infinite family of $A$-modules. Define their tensor product $\bigotimes_{i \in I} M_i$ to be a representing object of the functor of multilinear ...
9k 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 ...
1k views

### Guises of the Stasheff polytopes, associahedra for the Coxeter $A_n$ root system?

Richard Stanley keeps a famous running compilation of different guises of the celebrated Catalan numbers. The number of vertices of the associahedron is one instantiation among the multitude, and the ...
2k views

### Bijection implies isomorphism for algebraic varieties

Let $f:X\to Y$ be a morphism of algebraic varieties over $\mathbb C$. Assume that a) $f$ is bijective on $\mathbb C$-points b) $X$ is connected c) $Y$ is normal. Does it imply that $f$ is an ...
277 views

### Any two bivariate algebraically dependent polynomials are always in the same ring generated by some bivariate polynomial?

If $f(x,y)$ and $g(x,y)$ are two algebraically dependent polynomials over some field $k$, is it true that there exists a bivariate polynomial $p(x,y)$ such that both $f(x,y)$ and $g(x,y)$ are in the ...
18k 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 (Brindza and Pintér, On the irreducibility of some polynomials in ...
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 ...
2k views

### Does Smith normal form imply PID?

Let $R$ be a nonzero commutative ring with $1$, such that all finite matrices over $R$ have a Smith normal form. Does it follow that $R$ is a principal ideal domain? If this fails, suppose we ...
3k views

### Homological Algebra for Commutative Monoids?

Homological algebra for abelian groups is a standard tool in many fields of mathematics. How much carries over to the setting of commutative monoids (with unit)? It seems like there is a notion of ...
845 views

### Are there non-reflexive modules isomorphic to their bi-dual?

Let $M$ be an $R$-module. We say that $M$ is reflexive if the natural map $M\rightarrow M^{**}$ is an isomorphism. I'd like to know if there exists a module isomorphic to its bi-dual but not ...
219 views

### If $f,g \in D[x,y]$ are algebraically dependent over $D$, then $f,g \in D[h]$ for some $h\in D[x,y]$?

This question asks: If $f,g \in k[x,y]$ are two algebraically dependent polynomials over an arbitrary field $k$, is it true that there exists a polynomial $h \in k[x,y]$ such that $f,g \in k[h]$, ...
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)$. ...
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$ ...
6k views

### Algebraic stacks from scratch [closed]

I have a pretty good understanding of stacks, sheaves, descent, Grothendieck topologies, and I have a decent understanding of commutative algebra (I know enough about smooth, unramified, étale, and ...
4k views

### Why does the (S2) property of a ring correspond to the Hartogs phenomenon?

Hartogs Theorem says every function whose undefined locus is of codim 2 can be extend to the whole domain. I saw people saying this corresponds to the (S2) property of a ring. But I can't see why this ...
7k views

### Duals and Tensor products

Let $A$ be a commutative ring with a unit element. Let $M$ and $N$ be $A$-modules. Let $M^v$ and $N^v$ be the dual modules. In general, do we have $M^v \otimes N^v \cong (M\otimes N)^v$? It is ...
6k views

### Maximal ideals in the ring of continuous real-valued functions on R

For a compact space $K$, the maximal ideals in the ring $C(K)$ of continuous real-valued functions on $K$ are easily identified with the points of $K$ (a point defines the maximal ideal of functions ...
5k views

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 ...
5k views

198 views

### Is the restriction of a graded automorphism linearizable in characteristic zero?

This question follows up a previous one which was answered by Todd Leason. I want to impose two new requirements on the setup. Let $k$ be a characteristic zero field. Let $A=k[x_1,\dots,x_n]$ be the ...
222 views

### $f,g \in \mathbb{Z}[x,y]$ satisfying: $\operatorname{Jac}(f,g)=0$ and $f,g \notin \mathbb{Z}[h]$ for every $h \in \mathbb{Z}[x,y]$?

Is it possible to find $f,g \in \mathbb{Z}[x,y]$ (with $\deg(f),\deg(g) \geq 1$) such that the following two conditions are satisfied: (1) $\operatorname{Jac}(f,g)=f_xg_y-f_yg_x = 0$. (2) ...
326 views

### Rank of a $\mathbb{Z}_{p}[[T]]$ module

Let $p$ be a prime and $M$ is a finitely generated $\mathbb{Z}_{p}[[T]]$ module. Suppose $M[p]$ denotes the $p$-torsion of $M$. Then $M[p]$ and $M/(p)$ are both $F_{p}$ vector spaces. So we can ...
8k 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 ...
14k 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 ...
### 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 ...