Questions tagged [ac.commutative-algebra]

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

3,761 questions
200 views

335 views

50 views

Homogeneous basis on a polynomial subalgebra

Let $k$ be an algebraically closed field of characteristic $0$ and $A=k[X_1, \ldots, X_n]$ with the grading induced by the total degree. Let $B$ be a graded $k$-subalgebra of $A$, ie, if $(A_k)$ is ...
69 views

Polynomial equations parametrized by binary forms

Consider the equation $$\displaystyle Ax^p + By^q = Cz^r, A,B,C \in \mathbb{Z}, \gcd(x,y,z) = 1, p,q,r \geq 2.$$ When $p^{-1} + q^{-1} + r^{-1} > 1$, the above equation is called spherical and ...
77 views

A bound for $[\mathbb{C}(x,y,z):\mathbb{C}(p,q,r)]$, where $\operatorname{Jac}(p,q,r) \in \mathbb{C}^{\times}$

Y. Zhang (in his PhD thesis) and P. I. Katsylo proved the following nice result; the two proofs are different, see: Zhang's thesis and Katsylo's paper: Let $f: (x,y) \mapsto (p,q)$ be a $k$-algebra ...
104 views

Module such that every finitely generated submodule is semisimple [closed]

Is there an example of a module $M$ (over a commutative ring) that is not free, and such that each of its finitely generated submodule is semisimple (i.e. such that any submodule of any finitely ...
158 views

146 views

Simple description of a Grothendieck topology on the opposite of f.p. complex algebras

Let ${\cal A}$ be the category of finitely presented $\mathbb{C}$-algebras. Let $J$ be the largest subcanonical Grothendieck topology on ${{\cal A}^{op}}$ such that the local algebras in $\cal A$ are ...
71 views

Differential criterion for regular sequences

Let $R$ be a subalgebra of the polynomial ring $\mathbb{C}[X_1,\ldots,X_n]$. Suppose $\theta=(\theta_1,\ldots,\theta_p)$ is a sequence of of elements in $R$. If I want to test for their algebraic ...
222 views

Regularity of certain schemes

In a book I am reading, "Travaux de Gabber sur l'uniformisation locale et la cohomologie etale des schemas quasi-excellents" by Luc Illusie, Yves Laszlo, Fabrice Orgogozo (https://arxiv.org/abs/1207....
253 views

On the product in the power series ring

Let $A_n \colon= K[[X_1,\ldots,X_n,Y_1,\ldots,Y_n]]$ be a power series ring over a field $K$ in $2n$ variables and ${\frak m}_{A_n}$ be the unique maximal ideal of $A_n$. Suppose we have two ...
110 views

Homomorphisms from $k[x,y]$ to $k[x,x^{-1},y]$

Let $k$ be a field of characteristic zero and let $R_{-1}:=k[x,x^{-1},y]$ be the $k$-algebra of polynomials in $x,y$ containing the inverse of $x$, denoted by $x^{-1}$. Let $f: k[x,y] \to R_{-1}$ be ...
345 views

224 views

Is completion of isolated singularity isolated?

Let $K$ be an algebraically closed field and let $A=K[x_1,\dots,x_n]/I$ be a $K$-algebra of finite type which has only an isolated singularity at the origin. Let $\mathfrak{m}=(x_1,\dots,x_n)$ and ...
84 views

102 views

Ideal in ring of power series

Let $K$ be a field of characteristic $p$ and $A_n \colon= K[[X_1,\ldots,X_n]]$ be a $n$-variable formal power series ring over $K$ such that $n, p \geq 3$. Consider the ideal $I$ defined by \begin{...
67 views

75 views

74 views

79 views

Let $F$ be a Maximal Cohen-Macaulay module on a Cohen-Macaulay scheme $X$. By definition $\mathrm{depth}_{\mathcal{O}_{X,x}}(F_x)=\mathrm{dim}(\mathcal{O}_{X,x})$ and $\mathrm{depth}(\mathcal{O}_{X,x})... 2answers 180 views Power series ring and monomials Let$A_n \colon= K[[X_1,\ldots,X_n]]$be a formal power series ring over a field$K$of characterisc$p > 0$in$n$variables. For a given positive number$\epsilon > 0$we call a monomial$X_{...
I shall quote proposition 11.3 of Eisenbud: Commutative algebra If $R$ is a reduced noetherian ring then an element $x\in K(R)$ belongs to $R$ if and only if the image of $x$ in $K(R)_P$ belongs to ...