# Tagged Questions

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

4k 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 ...
6k 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, "...
1k 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 ...
2k 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 ...
278 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 ...
5k 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? ...
11k 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 ...
7k 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 ...
9k 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 ...
5k 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 ...
3k 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 ...
2k views

### Criteria for irreducibility of polynomial

If $f, g\in \mathbb C[a,b]$ are polynomials in two variables, are there easy criteria that allow to see if $f(x,y)-g(t,z)\in \mathbb C[x,y,t,z]$ is irreducible? Thank you very much, best
3k views

196 views

### Assuming $depth M\ge depth N$, what can one say about $depth M_p$ and $depth N_p$?

Let $(R,m)$ be a Noetherian local ring􀀀, $M$ and $N$ finite $R$-modules, $p$ a prime ideal,􀀀 and $I$ an ideal such that $IM\neq M$. Definition: The common length of the maximal $M$-sequences in $I$...
217 views

4k 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 ...
5k 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 ...
4k 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 ...
4k 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 ...
The following statement is well-known: $A$ a commutative Noetherian ring, $M$ a finitely generated $A$-module. Than $M$ is flat if and only if $M_{\mathfrak{p}}$ is free for all $\mathfrak{p}$. My ...