**1**

vote

**0**answers

102 views

### if 0→A→A⊕B→B→0 is an exact sequence of finitely generated modules over a commutative Noetherian ring, then the exact sequence does split

Here, Martin Brandenburg says it is not true that "Every short exact sequence of the form $0 \to A \to A \oplus B \to B \to 0$ splits." Then Mohan says in comments that "As a positive result,
If ...

**15**

votes

**3**answers

422 views

### Alternate proofs of Hilberts Basis Theorem

I'm interested in proofs using ideas from outside commutative algebra of Hilbert's Basis Theorem.
If $R$ is a noetherian ring, then so is $R[X]$.
or its sister version
If $R$ is a noetherian ...

**8**

votes

**1**answer

339 views

### constructive Serre classes

A Serre class (of abelian groups) is a class of abelian groups closed under subgroups, quotients, and extensions. For instance, finitely generated groups and finite groups are both Serre classes.
...

**3**

votes

**1**answer

309 views

### Primary structures in $\mathbb Q$

I'll formulate a topic restricted here to the positive rational
numbers $\ \mathbb Q_{_{>0}},\ $, then will pose a question (Q2) plus some related, to which I don't know the answers nor reference. ...

**7**

votes

**1**answer

186 views

### Integral domains equal to intersection of their height one localizations

Which integral domains have the property that $R = \bigcap R_P$, the intersection being taken over all height one prime ideals of $R$?
It is a standard fact that Krull domains, and thus noetherian ...

**6**

votes

**1**answer

496 views

### Valuation of an ideal in a two-dimensional regular local ring

Let $f,g$ be two coprime elements in the ring $K[[x,y]]$, with $K$ a field.
What is the smallest integer $n$ such that the inclusion of ideals $$(x^n)\subset (f,g)$$ holds in $K[[x,y]]$? Can we ...

**5**

votes

**0**answers

139 views

### Flat + locally of finite presentation + monomorphism = open immersion

It is known that the following are equivalent for an epimorphism $A \to B$ in $\mathbf{CRing}$:
Let $S$ be the set of elements $a \in A$ such that $A [a^{-1}] \to B [a^{-1}]$ is an isomorphism. Then ...

**6**

votes

**1**answer

503 views

### permutation of projective limits with inductive limits

Hi everybody,
I have a lack of references concerning projective limits and injective limits. Up to my faults in Bourbaki there are only proj and inj limits indexed by a partially ordered set (not a ...

**9**

votes

**4**answers

3k views

### When is an algebra of commuting matrices (contained in one) generated by a single matrix?

Let C be an nxn matrix, then the polynomials in C (with appropriate coefficients) form an algebra of commuting matrices. I feel that I should know if the converse is true but I do not. So my first ...

**5**

votes

**1**answer

114 views

### Pythagorean number in Artin's theorem on nonnegative rational fractions

Emil Artin's theorem on nonnegative rational fractions says that a rational fraction $Q$ with $n$ variables with real coefficients which is non-negative on $\mathbb R^n$ is a sum of squares of ...

**-1**

votes

**0**answers

18 views

### Uniqueness of Smith normal form in Z (ring of integers) [migrated]

It is a very well known fact that Smith Normal Form has proven useful when dealing with the development of the structure theorem of finitely generated abelian groups. In this context, there is an ...

**-2**

votes

**0**answers

66 views

### Degree of a rational Function [closed]

This might sound a very trivial question but I found different answers on the web.
Assume on has a rational function f(x)/g(x) where f(x) and g(x) are polynomials. What is the degree of the rational ...

**4**

votes

**1**answer

85 views

### Completeness of Localizations of Completions of Commutative Rings

Let $R$ be an integral domain. Let $x,y\in R\setminus\{0\}$ be distinct. Let $\hat R$ be the $x$-adic completion of $R$ (the ring of all sequences $(r_n+Rx^n)_{n\ge0}$ where for $n\ge0$, $r_n\in R$ ...

**1**

vote

**0**answers

82 views

### Invertible elements in a group algebra

Let $H$ be a torsion-free abelian group and let $\mathbb{K}$ be a field with two elements.
I would like to ask the following question:
Is the group of units of the group algebra $\mathbb{K}[H]$ ...

**62**

votes

**0**answers

4k 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 ...

**11**

votes

**2**answers

2k views

### Is tensor product of local algebras local?

In general, the tensor product of two local rings is not local. For example, $\mathbb{C} \otimes_{\mathbb{R}} \mathbb{C}\ $ is not a local ring.
Let $\mathbb{F}_{p}$ denote the finite field with $p$ ...

**3**

votes

**1**answer

191 views

### A technical question about affine grassmanian

For a commutative ring $R$, consider $R[[t]]$-modules $$t^k R[[t]]^n \subset M \subset t^{-k} R[[t]]^n \subset R((t))^n.$$ It is known that if $t^{-k} R[[t]]^n / M$ is finitely generated projective ...

**41**

votes

**7**answers

7k views

### Is there a slick proof of the classification of finitely generated abelian groups?

One the proofs that I've never felt very happy with is the classification of finitely generated abelian groups (which says an abelian group is basically uniquely the sum of cyclic groups of orders ...

**0**

votes

**1**answer

95 views

### fixed points of an affine polynomial automorphism

Let $K:- k[x_1, x_2, \cdots, x_n]$ be the polynomial ring over a field $k$. Let $a_i, b_i \in K$ where $a_i \ne 0$. Consider the automorphism $\alpha$ of $K$ defined by
$x_i \mapsto a_ix_i + b_i$. ...

**0**

votes

**0**answers

111 views

### on the ``generic" modules of finite length (skyscrapers)

Let $R$ be a local or graded ring. (If it helps, can assume the ring is "good", e.g. $R=k[[x_1,..,x_p]]$, where $k$ is a field of zero characteristic.)
Let $M$ be a finitely generated $R$-module ...

**6**

votes

**1**answer

91 views

### Partial Orders realized by Prime Ideals on commutative rings

Is there a general criterion for which partial orders can be realized by the prime ideals of commutative rings (like we have for topological spaces - https://en.wikipedia.org/wiki/Spectral_space)?
...

**0**

votes

**1**answer

313 views

### Equidimensionality of stalks of $\operatorname{Proj} S$ when $S$ is equidimensional.

I would like to know a reference of the following statement (or counter example).
Let $S$ be a (commutative) Noetherian standard graded ring over a local ring, i.e., $S = S_0[S_1]$, where $S_0$ is ...

**30**

votes

**2**answers

400 views

### If $A$ is the ring of continuous functions on a genus $g$ surface, can the genus of $X$ be seen by simple algebra in $A$?

I was describing to a friend the result that a compact Hausdorff space is determined up to homeomorphism up to by its ring of continuous functions, and he asked how one could see the genus of a ...

**2**

votes

**1**answer

148 views

### programming to compute kernel quotient image of a $\mathbb{Z}$-module endomorphism

Let the integers $n\geq 2$, $k\geq 1$, $v=0$ or $1$ and $n_1,\cdots,n_k\geq 1$ such that
$$
\sum_{i=1}^k n_i+v=n.
$$
Define $P_a^b=0$ if both $a,b$ are odd and $P_a^b={{[a/2]}\choose {[(a+b)/2]}}$ ...

**-2**

votes

**0**answers

305 views

### Complete Local Ring and Fermat's Last Theorem

Let us consider the infinitely many variables formal power series ring over a finite field, viz.
$R:= F_p[[S_1,...,S_∞]].$
Question: Choose an arbitrary finitely
generated ideal $I$ of $R$.
Is ...

**1**

vote

**0**answers

35 views

### Upper bound for the minimum number of generators of the canonical module

Let $P=k[x_1...x_n]$ be a poly over a field. Suppose that $R=k[x_1...x_n]/I$. The canonical module of $R$ is $\omega_R=Ext^{n-dim(R)}_P(R,P)$.
The question is that is there any upper bound for the ...

**1**

vote

**1**answer

206 views

### minimal number of generators for the square of an ideal

If $R$ is a local Noetherian regular ring and $I$ is an ideal contained in the maximal ideal.
Can we compare the number of minimal set of generator of $I$ and $I^2$?
Thanks a lot for helping me.

**2**

votes

**2**answers

90 views

### Maximal Cohen-Macaulay modules of type one

Does any body know an example of a Noetherian local ring $(R,m)$ which admits a maximal cohen-macaulay module of type one, but the ring $R$ itself is not CM.
If $C$ is the maximal CM module then the ...

**0**

votes

**0**answers

33 views

### finite orbits of transformations of the rational function field

Let $K : = k(x_1, x_2, \cdots, x_t)$ be the rational function field and consider the transformation $\tau$ of $K$ defined by $u \mapsto \frac{\alpha(u) + b}{a}$, where $a \ne 0 , b \in k$ and $\alpha$ ...

**7**

votes

**1**answer

585 views

### A Zero-Multiplicity Problem Related to Foulkes' Conjecture

I'm a combinatorialist that is interested in estimating multiplicities of irreps of $1^{S_{kn}}_{S_k \wr S_n}$ (the action of symmetric group on uniform partitions). I'm aware of the difficulty (or ...

**27**

votes

**10**answers

6k 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?

**8**

votes

**1**answer

283 views

### q-Integer-valued polynomials

For $n \in \mathbb{Z}_{\geq 0}$, let $[n]_q := (1-q^n)/(1-q) = (1+q+...+q^{n-1})$ as is customary, with $[0]_q=0$.
Let $R$ be the subring of $\mathbb{Q}(q)[x]$ consisting of all $f$ such that ...

**7**

votes

**3**answers

1k views

### Existence of prime ideals and Axiom of Choice.

One of the must obvious equivalences of Axiom of Choice is the converse of Krull Theorem.
Bernhard Banaschewski in the Article titled by A New Proof that “Krull implies Zorn” showed a very simple ...

**4**

votes

**1**answer

282 views

### Index of the Hecke algebra with operators omitted

This is a spin-off to the question Omitting primes from a Hecke algebra by David Loeffler.
Let $N$ be a positive integer. For a finite set of primes $\Sigma$, let $\mathbb T^{\Sigma}$ be the $\mathbb ...

**16**

votes

**5**answers

3k views

### What is the universal property of normalization?

What is the universal property of normalization? I'm looking for an answer something like
If X is a scheme and Y→X is its
normalization, then the morphism
Y→X has property P and any ...

**3**

votes

**0**answers

98 views

### Are there necessary and sufficient conditions for a chain complex $0 \to C_0 \to C_1 \to C_2 \to 0$ to be Poincare?

I am looking for necessary and/or sufficient conditions for the chain complex $0 \to C_0 \to C_1 \to C_2 \to 0$ over a principal ideal domain to be Poincare in the sense that $H_0 \cong H^2$, $H_1 ...

**2**

votes

**1**answer

308 views

### Castelnuovo-Mumford Regularity of Ideals of Maximal Minors

Hi,
I have a $m \times 2m$ matrix of linear forms over $\mathbb{C}[x,y,z,w]$. It is of the form $M = ( x I - A z -B w | y I - C z - D w$. Here $A,B,C$ and $D$ are $m \times m$ scalar matrices. Let ...

**33**

votes

**8**answers

3k 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 ...

**14**

votes

**2**answers

553 views

### Witt-vector vectors

I've never really made my way in any detail through the Witt-vector construction. I did read all the articles that a quick Google and MSN search turned up, and none seemed to address it, but I could ...

**4**

votes

**0**answers

150 views

### Is a wild automorphism of $k[x_1,\ldots,x_n]$, $n \geq 3$, necessarily of infinite order?

Let $k[x_1,\ldots,x_n]$ be a polynomial ring over a field $k$ of characteristic zero.
When $n=2$, it is known that every automorphism of $k[x_1,x_2]$ is tame, namely, a finite product of elementary ...

**0**

votes

**1**answer

77 views

### Properties of Betti number of ideal

Notations:
$R$- Noetherian graded ring and $I,J$ homogeneous ideals in $R$
Definition:
The projective dimension of $R/I$, denoted $pd(R/I)$, is the length of a minimal free graded resolution of ...

**12**

votes

**2**answers

974 views

### Anything special (historical?) about surface $x\cdot y\cdot z\ +\ x+y+z=0$?

QUESTION
I wanted to introduce and develop the complex logarithm from scratch. As the result I've arrived a couple of months ago at the following identity after which the road to complex logarithm is ...

**0**

votes

**1**answer

113 views

### Tensor products of simple modules over algebras [closed]

Let $A$ and $B$ be $\mathbb{C}$-algebras. Suppose that $M$ and $N$ are respectively simple $A$ and $B$ modules.
We can regard $M\otimes_{\mathbb C}N$ as $A\otimes_{\mathbb C} B$-modules in natural ...

**2**

votes

**0**answers

62 views

### non-Noetherian r-Noetherian ring with Noetherian total quotient ring

A commutative ring is said to be r-Noetherian if every regular ideal is finitely generated, where an ideal is said to be regular if it contains a non-zerodivisor. Does there exist a non-Noetherian ...

**9**

votes

**2**answers

711 views

### Algebraic independance of exponentials

First of all, a happy new year. Be it better than 2015,
healthy, wealthy, fruitful and cross-fertilizing
for you, familly and friends.
In order to cope with families of solutions of evolution ...

**1**

vote

**1**answer

91 views

### the pfaffian-adjugate and its counterparts for matrices odd size

Let $R$ be a commutative ring (zero characteristic). Take a skew-symmetric matrix $A\in Mat^{skew-sym}(n,R)$.
If $n$ is even, then $det(A)=Pf^2(A)$ and there exists the "Pfaffian adjugate/adjoint" ...

**2**

votes

**0**answers

137 views

### Description of the equalizer of $\prod _j R/I_j \rightrightarrows \prod _{i,j}R/(I_i+I_j)$

This is a crosspost of this MSE question.
I have asked several questions in an attmept to get a general version of the Chinese remainder theorem without conditions on the ideals which will ...

**1**

vote

**0**answers

128 views

### ideals linked to an almost complete intersection

Is a grade $3$ type $3$ perfect ideal in a Noetherian ring linked to a grade $3$ almost complete intersection? I know that grade $3$ type $2$ perfect ideals are (by a work of Anne Brown).

**0**

votes

**2**answers

341 views

### Solving a system of equations using Gröbner basis

In Sage (or any other package) when using Gröbner basis to solve a system of equations (some of which are non-linear equations) does computing the Gröbner basis for the ideal ID generated by the ...

**48**

votes

**2**answers

4k 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 ...