**2**

votes

**0**answers

52 views

### Reference on the classification of (low rank) Gorenstein rings over $\mathbb{C}$

I am interested in the question of the classification of (low rank) Gorenstein rings over $\mathbb{C}$. The socle of a local algebra is the annihilator of its maximal ideal. A commutative local ring ...

**10**

votes

**1**answer

173 views

### Joyal's construction of the spectrum of a commutative ring

I am trying to understand bits and pieces of Lawvere's article Continuously Variable Sets; Algebraic Geometry = Geometric Logic. I'm not doing very well.
I know this is a lot to ask, but basically, I ...

**1**

vote

**0**answers

57 views

### Cubic, divisor of rational function $x/z$? [on hold]

Let $k$ be a field, and let $a \neq 0$, $1 \in k$. Let $C = V(y^2z - x(x-z)(x - az))$. What is the divisor of the rational function $\psi([x, y, z]) = x/z \in k(C)$?

**0**

votes

**0**answers

82 views

### $C = V(x^3 - xz^2 - y^2z)$, linear equivalence [on hold]

Let $C = V(x^3 - xz^2 - y^2z) \subset \mathbb{P}^2(\mathbb{C})$. Let $p_0 = [0, 1, 0]$, $p_1 = [0, 0, 1]$, $p_2 = [1, 0, 1]$, $p_3 = [-1, 0, 1]$. I have two questions.
Is $2p_0$ linearly equivalent ...

**3**

votes

**1**answer

208 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 ...

**1**

vote

**0**answers

110 views

### Local cohomology commuting with fiber

Let $A$ be a nice commutative ring (say, $A=k[t_1,\ldots , t_n]$, ring of polynomials over an algebraically closed field $k$).
Let $M$ be an $A[x]$-module, which is finitely generated as an ...

**5**

votes

**0**answers

86 views

### $A$-module is free if and only if equation involving Hilbert-Poincaré series holds, $M$ infinitely generated case

See my question here.
Let $A = \oplus_{i \ge 0} A_i$ be a nonnegatively graded commutative algebra and $M$ a nonnegatively graded $A$-module. Assume in addition that $A_0 = k$ and all vector ...

**1**

vote

**0**answers

42 views

### Theorem 16 , Chapter 5 of Northcott 's, Finite Free Resolutions: p.grade

Let $R$ be a commutative ring with identity. D.G. Northcott's, Finite Free Resolutions, has:
and in Theorem 16 of Chapter 5 proves that:
$p.grade(I,M) = p.grade(P,M)$ for some prime ideal $P$ ...

**17**

votes

**1**answer

497 views

### Examples of Noetherian overkill

I have read in many places that the noetherian hypothesis is often overkill - both in commutative algebra and in ($\overset?=$) algebraic geometry. In particular, I've read that coherence and finite ...

**1**

vote

**1**answer

60 views

### Generalization of a Result about degree bounds of invariant rings

A theorem of Knop states that if $G$ is semisimple and connected acting on a vector space $V$ over a field $K$ of characteristic 0, then the degree of the Hilbert series of $K[V]^G$ is less than or ...

**0**

votes

**0**answers

93 views

### The limit of parametrized algebraic variety

Consider the following situation. Take our field to be complex number $\mathbb{C}$, and the polynomial ring $\mathbb{C}[x_1,x_2,\dots,x_n]$. Suppose one has an ideal $I \subset ...

**13**

votes

**3**answers

2k views

### State of the art for Gersten's conjecture for K-theory?

Does anyone know (of a reference to) under what restrictions on the regular scheme $X$ it is known that we have an exact sequence
$$0 \to \mathcal{K}_n(X) \to \bigoplus_{x \in X^{(0)}} K_n(k(x)) \to ...

**-5**

votes

**0**answers

55 views

### Invertibility of a polynomial in a commutative ring [on hold]

Let $R$ be a commutative ring with identity. $p(x)$ be a polynomial in $R[x]$.Then prove that p(x) is invertible iff its constant term is invertible and other co-effecients are nilpotent elements in ...

**-6**

votes

**0**answers

65 views

### Continuity of Real line [on hold]

f:R to R such that f attains every value exactly twice i.e. for all a in
R, {x in R|f(x)=a} is either empty or doubleton set.prove that,f is
discontinuous at infinitely many points .

**12**

votes

**0**answers

181 views

### Koszul complex for non-Koszul algebras

Let $A$ be a graded, connected, locally finite, quadratic algebra over a field $k$; that is, $A$ may be presented as $T(V)/I$, where $V = A_1$ is a finite dimensional $k$ vector space, and the ideal ...

**2**

votes

**0**answers

39 views

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

Definition. 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$. Then the common length of the maximal $M$-sequences in ...

**2**

votes

**1**answer

239 views

### Application of sheaves theory in ring theory

Is there any text that gives some applications of sheaves theory in commutative ring theory? In the other word, is any results in commutative ring theory that be verified by sheaves method?

**2**

votes

**1**answer

285 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 ...

**2**

votes

**2**answers

152 views

### Product of reduced affinoid spaces over a field is reduced (reference request)

Let $K$ be a field of characteristic zero complete with respect to a non-Archimedean absolute value. Suppose that $A$ and $B$ are two affinoid $K$-algebras. I'd like a reference that will answer the ...

**0**

votes

**0**answers

161 views

### Basic question about power series and complete group algebras

This is a pretty basic question, but I suspect it might be too exotic for math.stackexchange.
Let $\mathbb{Z}_p$ be the $p$-adic integers. For free pro-$p$ group $F_r$ of rank $r$, we can consider ...

**2**

votes

**0**answers

79 views

### Factorization of linear recurrences

For each (commutative unitary) ring $R$, let $\mathfrak{R}(R)$ be the set of all linear recurrences over $R$, that is, the set of all sequences $(a(n))_{n \geq 0}$ in $R$ such that
$$a(n+k) = r_1 ...

**4**

votes

**2**answers

352 views

### A systematic canonical construction of the Hodge star operator

I'm struggling to make sense of the Hodge star as a global canonical object. Here are my struggles so far and some questions:
Let $M$ be a finitely generated projective $R$-module (hence locally free ...

**4**

votes

**1**answer

177 views

### Is a Laskerian ring coherent

A commutative ring $R$ with identity is said to be coherent if every f.g. ideal of $R$ is f.p. We know that any noetherian ring is coherent. A Laskerian ring is a ring in which every ideal has a ...

**2**

votes

**4**answers

232 views

### graded rings and modules

I want to read about graded rings and modules. First, I saw Bruns-Herzog. But it was difficult for a beginner. Then I saw notes of Tom Marley (see Tom Marley's Homepage: Graded rings and modules). It ...

**3**

votes

**1**answer

151 views

### Is the embedding dimension minus the dimension upper semicontinuous?

For a Noetherian local ring $R$ with maximal ideal $\mathfrak{m}$ and residue class field $K$, consider the invariant $$\operatorname{def}(R) := \operatorname{dim}_K(\mathfrak{m}/\mathfrak{m}^2) - ...

**20**

votes

**4**answers

3k views

### Flatness and local freeness

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

**2**

votes

**1**answer

73 views

### Number of cluster variables

In the paper cluster algebras and quantum affine algebras, Section 13.5, it is said that when $\mathfrak{g}$ is of type $A_2$ and $\ell=2$, then the corresponding cluster algebra $\mathscr{A}_2$ for ...

**-3**

votes

**0**answers

89 views

### Relation between singularity theory and integral closure of an ideal [closed]

What is the the relationship between singularity theory and integral closure of an ideal?
I know the question is vague but I really don't have any other information that I can provide. Therefore any ...

**-6**

votes

**0**answers

73 views

### Differential module for finite morphism

Let φ：A ---> B be an injective finite morphism between Artin rings over a field K. Especially φ is assumed to be injective.
Assume the degree of φ is equal to the fixed number d which is finite. That ...

**1**

vote

**2**answers

111 views

### Can powers of a maximal ideal stabilize without vanishing?

Let $A$ be a local ring with maximal ideal $m$. Suppose that there exists some positive integer $k$ such that $m^k = m^{k+1}$.
Is necessarily $m^k = 0$ ?
If $m$ is finitely generated, this follows ...

**22**

votes

**3**answers

712 views

### Equivalent definitions of invertible modules

Let $R$ be commutative unital ring, and $M$ an $R$-module. $M$ is called invertible (a.k.a. projective module of rank one), if it is finitely generated, and $M_{\mathfrak{p}} \cong R_{\mathfrak{p}}$ ...

**3**

votes

**1**answer

129 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 ...

**3**

votes

**2**answers

100 views

### Covering derivations of a quotient algebra

Let $(\mathcal{A},+,·)$ an algebra and $\mathcal{I}$ an ideal of $\mathcal{A}$.
Is easy to check that if $D\in Der(\mathcal{A})$ with $D(\mathcal{I})\subseteq I$ then $D$ induces a derivation $D_I$ ...

**4**

votes

**1**answer

91 views

### The finiteness of the associated primes of $Ext^i_R(R/I, M)$

Let $(R,m)$ be a Noetherian local ring and $M$ an $R$-module. If $M$ is a finite $R$-module, then we know that $Ext^i_R(R/I,M)$ is a finite $R$-module for all $i\geq 0$; Now suppose $supp(M)\subseteq ...

**56**

votes

**23**answers

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

**5**

votes

**1**answer

433 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 ...

**7**

votes

**1**answer

240 views

### Zero scheme of global sections of vector bundles on affine varieties

I want to understand better the notion of zero scheme of a section of a vector bundle. For simplicity I will consider the case of affine varieties.
Let $\mathbb{K}$ be an algebraically closed field, ...

**4**

votes

**1**answer

208 views

### Completion of a finite field extension is also finite?

Let $(L,w)/(K,v)$ be a finite extension of valuation fields, and let $L_w$, $K_v$ be the respective completions of $(L,w)$, $(K,v)$. Is the field extension $L_w/K_v$ finite?
For nonarchimedean ...

**11**

votes

**1**answer

235 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 ...

**17**

votes

**1**answer

370 views

### Almost commuting unitary matrices

Suppose that $A_1,\dots, A_k$ are unitary matrices such that any two of them can be approximated by commuting unitary matrices. i.e. for any $i$ and $j$, there are unitary matrices $A_i'$ and $A_j'$ ...

**5**

votes

**1**answer

1k views

### do you know this determinant (basic commutative algebra)?

Let $\ell_1,\dots,\ell_n$ be $d+1$-variate linear forms over complex numbers in variables $X=(X_0,\dots,X_d)$. Consider the $(n-d)$-fold products
...

**3**

votes

**1**answer

285 views

### If $F(x,y)$ is a polynomial which is not a square, then how often is the specialization $F(x,a)$ a square?

Suppose $F(x,y)$ is a polynomial in two variables over a field $K$, and $F(x,y)$ is not a square. When is $F(x,a)$ a square for $a\in K$? I would guess that Hilbert's Irreducibility Theorem might help ...

**10**

votes

**2**answers

431 views

### Every finitely generated flat modules is projective over a commutative ring with a finite number of minimal primes?

Over a commutative ring $R$, a finite type locally free (weak sense) module for which the rank function is locally constant is projective.
If we notice that for each minimal prime $p$ of the ring, ...

**7**

votes

**0**answers

149 views

### Terminology for vanishing of Hochschild homology with symmetric coefficients?

In a title or abstract for a paper, if I say "Hochschild cohomology of this algebra $A$ vanishes in degrees two and above" then
it should hopefully be understood by most readers as saying ...

**26**

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?

**27**

votes

**12**answers

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

**4**

votes

**0**answers

65 views

### For any $f \in B$ which is not nilpotent, the set consisting of powers of $f$ is a multiplicative set in $\mathcal{D}_A(B)$? [closed]

Let $B$ be a commutative $A$-algebra. Let $\mathcal{D}_A(B)$ be the ring of differential operators of $B$ over $A$. Does it follow that for any $f \in B$ which is not nilpotent, the set consisting of ...

**2**

votes

**1**answer

99 views

### $Hom (T,R)$ isomorphic to $R:T$?

Let $R$ be a Cohen–Macaulay local ring with maximal ideal $m$ and $dim R = 1.$ In the paper "Almost Gorenstein rings", by "Goto, Matsuoka, Phuong", with this settings:
they have
How they reach the ...

**0**

votes

**0**answers

32 views

### Primary decompositions of squares (products) of monomial ideals

Is there anything known about the relation between the primary decomposition
of a monomial ideal $I$ and the primary decomposition of $I^2$?
In other words, given the standard primary decomposition ...

**0**

votes

**0**answers

39 views

### A quick question from the paper “Generalizations of reductions and mixed multiplicities” by D. Rees

In the proof of Theorem 1.3 in the paper "Generalizations of reductions and mixed multiplicities" by Rees here, Is it necessary to consider the ring $Q'=Q/{\bigcup\limits_{q \geq 1}(0:{(I_1\dots ...