# Questions tagged [ac.commutative-algebra]

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

3,791
questions

**1**

vote

**0**answers

55 views

### Computing Gröbner basis elements of some constant degree

I'm wondering if there is any way or any special set of ideals such that there is an efficient way to compute elements of degree at most $d$ in a Gröbner basis for that ideal.
If you have any paper ...

**6**

votes

**1**answer

505 views

### Does there exist a discrete valuation subring $R$ of $K((t))$ ($K$ a number field) of residue characteristic $p$ with $\mathrm{Frac}(R) = K((t))$?

Let $K$ be a number field, and let $K((t))$ be the field of formal Laurent series. Let $p > 0$ be a prime.
I have two questions:
Does there exist a discrete valuation subring $R$ of $K((t))$ of ...

**1**

vote

**2**answers

192 views

### Computing Groebner basis for a complicated systems of polynomials

I am trying to solve complicated systems of polynomial equations. The first step is to determine maximal sets of independent variables for the solution manifold (ideal) or the number of isolated ...

**9**

votes

**0**answers

207 views

### Is $[JK:(x)][JK:(y,z)]\subseteq JK$ in $k[x,y,z]$?

Let $k$ be a field and $S=k[x,y,z]$. Let $m=(x,y,z)$ and $J,K\subseteq m$ be proper homogeneous ideals in $S$. Is this true that we always have:
$$[JK:(x)][JK:(y,z)]\subseteq JK \ ?$$
Some ...

**2**

votes

**0**answers

106 views

### Flatness of modules over dual numbers

Let $X$ be a smooth, affine complex surface, and $M$ be a coherent $\mathcal{O}_X$-module. Denote by $D:=\mbox{Spec}(\mathbb{C}[t]/(t^2))$ and $X_D:=X \times_{\mathbb{C}} D$, the trivial deformation ...

**1**

vote

**0**answers

100 views

### Separable extensions & topology vs inseparable extensions and algebra

In the note Properties of fibers and applications, Osserman writes above Definition 1.5:
Intuitively, the point is that phenomena relating to topology
can only change under separable extensions, ...

**27**

votes

**2**answers

1k views

### A sum involving roots of unity

Let $n$ be a positive integer and $\zeta$ be a primitive $n$th root of unity. It is not hard to show that
\begin{align*}
\sum_{k=1}^{n-1}\frac{\zeta^k}{1-\zeta^k}=\frac{1-n}{2}.
\end{align*}
Since $\...

**7**

votes

**0**answers

209 views

### Perfectly balanced sets of complex numbers

Suppose that $X$ is an inclusion-minimal finite set of non-zero complex numbers
such that $\sum\limits_{x\in X}x^n=0\ $ for infinitely many integers $n$.
Can the cardinality of $X$ be a ...

**-3**

votes

**1**answer

190 views

### A common name for a functorial construction of Commutative Algebra?

I am interested whether the following construction naturally appearing in Commutative Algebra has some know and acceped name.
Given a commutative monoid $(M,+)$ and a set $X$, consider the family $F(...

**1**

vote

**1**answer

281 views

### $P$ is projective if and only if $P\otimes N\cong Hom(Hom(P,R),N)$

Let $R$ be a commutative Noetherian ring and $P$ be finitely generated $R$-module.
How to prove the following.
$P$ is projective if and only if $P\otimes N\cong Hom(Hom(P,R),N)$ for all finitely ...

**1**

vote

**0**answers

80 views

### Cohomology of a chain complex over a polynomial ring

I asked this on SE but I did not get any answer; I got some progress but I hope here I can find some help to finish the problem out.
Let $R = F[x_1, \ldots, x_n]$ be a polynomial ring over a field $...

**2**

votes

**0**answers

70 views

### Valuation Rings and Ultrafilters II

See my post here: Valuation Rings and Ultrafilters
Let $K$ be a field, and let $\mathcal{S}$ be the set of pairs $(R, \mathfrak{p})$ of subrings $R$ of $K$ with designated prime ideals $\mathfrak{p}$ ...

**1**

vote

**0**answers

87 views

### When a semigroup ideal is a determinantal ideal?

Let $S=\langle n_1,...,n_r \rangle$ be a commutative semigroup, and let $I_S \subset k[x_1,...,x_r]$ the associated ideal of $S$, defined as the kernel of the polinomial map $\varphi:k[x_1,...x_n] \...

**5**

votes

**1**answer

163 views

### tangent cone and local picture

Let $X\subset \mathbb P^n_{\mathbb C}$ be a closed algebraic subset and $x\in X$.
Suppose tha tangent cone of $X$ at $x$ is the union of (say) a plane and a line (meeting at the origin). Can we ...

**2**

votes

**0**answers

127 views

### $\omega$-categorical algebra

Let us consider a 1-category $C$. For any commutative and unital ring $k$ the the free $k$-module generated by the morphisms of $C$ can be equipped with an algebra structure by setting $fg$ to be ...

**1**

vote

**0**answers

54 views

### Strongly isovariant (aka fixed point reflecting / stabiliser preserving) morphisms

I have some questions about what feels like basic topics in quotients of schemes by group actions. Consequently I suspect there are well-known references; I couldn't find them, though.
First ...

**5**

votes

**0**answers

83 views

### Tensor square of duals over a domain

The title is motivated by my needs ($M=N$ in the sequel).
Linked to the question here and there (in the case of products) is the following.
Let $M,N$ $k$-modules ($k$ a commutative ring), then we ...

**2**

votes

**0**answers

110 views

### Intersection of a reduced projective variety with a general hyperplane is reduced

Let $X\subset \mathbb{P}^n$ be a reduced closed subscheme. For a general hyperplane $H$, $X\cap H$ is again reduced (and of dimension one less). Is there an easy proof of this result?
Algebraically, ...

**6**

votes

**1**answer

220 views

### Valuation Rings and Ultrafilters

I notice there is a certain similarity between the definition of a valuation ring and the definition of an ultrafilter.
To begin, take a field $K$ and let $\mathcal{A}$ be the set of subrings of $K$. ...

**3**

votes

**1**answer

349 views

### Coordinate free expression for the determinant of a $2 \times 2$ matrix

Let $E\rightarrow X$ be a rank two vector bundle on a variety $X$. How can one write an abstract map $Sym^2(E)\rightarrow (\wedge^2 E)^{\otimes 2}$ that in local coordinates, when we fix a frame of $E$...

**2**

votes

**0**answers

133 views

### Extension of alg closed fields = limit of smooth algebras

In the proof of https://stacks.math.columbia.edu/tag/0F0B, it is a claim that if $K/k$ is an extension of algebraically closed fields, then $K$ is a limit of smooth $k$-algebras. This is justified ...

**5**

votes

**1**answer

184 views

### Absolute value on tensor product of fields

Suppose that we have the Laurent series fields $F_1:=\mathbb F_p((X))$ and $F_2:=\mathbb F_p((Y))$.
Equip $F_1$ with the $X$-adic multiplicative absolute value $|\cdot|_1$, i.e. define $|X|_1=\dfrac{...

**13**

votes

**1**answer

287 views

### Inverse of the Structure Theorem for Finitely Generated Modules over PID

We know that for a PID $R$, any finitely generated module is of the form $\frac{R}{(a_1)} \oplus \dots \oplus \frac{R}{(a_s)} $.
I was wondering if the converse of this statement is true, that is, is ...

**2**

votes

**0**answers

44 views

### Dimension of a tangent space of the normalization of a domain

Let $A$ be a finitely generated (commutative) domain over an algebraically
closed field $k.$ Let $B$ be the normalization of $A$. Let $m$ be a maximal
ideal in $A$, and $m'$ be a maximal ideal in $B$ ...

**4**

votes

**0**answers

131 views

### Does linear independence imply algebraic independence for partitioned homogeneous polynomials?

Define a partitioned homogeneous polynomial of degree $d$ to be a polynomial in $$\mathbb Z[x_{11},\dots,x_{1n},\dots,x_{d1},\dots,x_{dn}]$$ with monomials from entries in (polynomials that are $d$-...

**1**

vote

**1**answer

131 views

### Image of smooth curve containing the image of a point as smooth point

Let $f: X \to Y$ be a finite, surjective morphism of smooth, quasi-projective varieties over a field $k$ of characteristic zero. Let $p\in X$.
If $\dim X>0$, then does there necessarily exist a ...

**12**

votes

**1**answer

202 views

### PID expressed as finite union of subrings

There is a classical theorem that no field can be expressed as finite union of proper subfields.
In contrast, there is an example of an integral domain that can be expressed as finite union of proper ...

**0**

votes

**0**answers

79 views

### Do Plucker relation follow from a subsystem of equations?

The following system of equation: $i, j \in \mathbb{Z}_{\ge 1}$, $i+1<j$, $J \subset \mathbb{Z}_{\ge 1}$, $J \cap \{i,j,i+1,j+1\} = \emptyset$,
\begin{align*}
P_{i,j,J}P_{i+1,j+1,J} = P_{i,j+1,J} ...

**2**

votes

**0**answers

79 views

### Krull dimension of completions in non-noetherian setting (especially completed perfections)

What are some general results describing the Krull dimension of the completion of a non-Noetherian ring with a "nice" topology?
An example of the sort of "nice" topological ring I'm looking for is a ...

**1**

vote

**0**answers

94 views

### Completion of localization of completion

Let $(A,m)$ be a noetherian local ring,
and let $p \subseteq A$ be a prime ideal.
From this data, we can construct two rings:
1. We may localize $A$ at $p$, and then complete,
obtaining the $pA_p$-...

**6**

votes

**1**answer

140 views

### Is $[Im:(x)][Im:(y,z)]\subseteq Im$ in $k[x,y,z]$?

Let $k$ be a field and $S=k[x,y,z]$. Let $m=(x,y,z)$ and $I\subseteq m$ a proper homogeneous ideal in $S$. Is this true that we always have:
$$[Im:(x)][Im:(y,z)]\subseteq Im \ ?$$
In a paper we ...

**2**

votes

**1**answer

218 views

### Is the support of a flat module generically flat?

Let $X$ be an affine, complex variety, $A$ be a $\mathbb{C}$-algebra (not necessarily noetherian) and $F_A$ is a coherent sheaf over $X \times \mbox{Spec}(A)$, flat over $\mbox{Spec}(A)$. Denote by $Y ...

**2**

votes

**1**answer

176 views

### Are unique prime ideal factorization domains locally noetherian?

I asked this question on Mathematics Stack Exchange but got no answer.
Here is the question:
Let $A$ be a domain (that is, a commutative ring with one in which the condition $ab=0$ implies $a=0$ or $...

**4**

votes

**0**answers

92 views

### A relation between $Spec((1+I)^{-1}R)$ and $Spec(R/J)$

Let $R$ be a commutative ring with identity and let $I$ and $J$ be two finitely generated ideals of $R$. Clearly $1+I:=\{1+i:i\in I\}$ is a multiplicative closed subset of $R$. We can consider the ...

**3**

votes

**1**answer

164 views

### Is $A[b/a]$ a Krull domain?

Is $A[X]/(aX+b)$ a Krull domain when $A$ is and when $a\in A-\{0\}, b\in A-Aa$ are such that $Aa$ and $Aa+Ab$ are prime ideals of $A$?
This is stated as Proposition 8 in Pierre Samuel, "Sur les ...

**8**

votes

**1**answer

286 views

### Description of p-adics tensor the reals

What is $\mathbb{Z}_{p}\otimes_{\mathbb{Z}}\mathbb{R}$ equivalent to?
where $\mathbb{Z}_p$ are the p-adic integers.
I am specially interested in the case $p=2$.
Do know that $\mathbb{Z}_p\otimes_{\...

**16**

votes

**3**answers

452 views

### Graded analogues of theorems in commutative algebra

Many theorems in commutative algebra hold true in a ($\mathbb{Z}$-)graded context. More precisely, we can take any theorem in commutative algebra and replace every occurrence of the word
commutative ...

**10**

votes

**1**answer

608 views

### Is the formal power series ring integrally closed?

Let $k$ be a field and $s$ and $t$ be variables.
Is the ring $k[s][[t]]$ integrally closed in $k[s,s^{-1}][[t]]$?

**2**

votes

**0**answers

197 views

### Are there enough curves (to connect 'points' of f.g. algebras)?

(Intuition: any two points in a connected space may be connected by a path. I would like to know if something like this holds in certain category of `connected algebraic spaces'. I formulate the ...

**1**

vote

**0**answers

45 views

### Primary decomposition with parameters

$\newcommand\QQ{\mathbb{Q}}$
Considering the polynomial
$$f = x^2 - a y$$
one notes, that it is irreducible in $\QQ[x,y]$ for all $a \neq 0 \in \QQ$ and factors for $a = 0$.
More generally, let $A=...

**1**

vote

**0**answers

93 views

### Infinite Noetherian ring of dimension $1$ in which distinct non-zero ideals have distinct and finite index

Let $R$ be an infinite commutative ring with unity such that every non-zero ideal has finite index. Then $R$ is Noetherian, every non-zero prime ideal is maximal , and I can also show that $R$ is an ...

**0**

votes

**0**answers

179 views

### Behavior of Ext under base change

Let $x$ be a nonzerodivisor on a local Noetherian ring $(R,m).$ Let $M,N$ be finitely generated $R/xR$-modules.
How to show the existence of the following exact sequence
$\cdots\longrightarrow ...

**5**

votes

**1**answer

253 views

### A question on dominant morphism of affine schemes

Let $A \subseteq B$ be a ring extension where $A,B$ are both finitely generated $\mathbb C$-domain of the same Krull dimension. Also assume $A$ is regular (i.e. $A_{ \mathfrak p}$ is regular local ...

**2**

votes

**0**answers

131 views

### Graded Betti numbers $\beta_{n,j}$ for points in $\mathbb{P}^n$

Let $S = \mathbb{C}[z_0, \dots, z_n]$, and let $X$ be a set of points in $\mathbb{P}^n$. I'm looking for references concerning results for the graded Betti numbers $\beta_{n,j}(S/I(X))$, i.e., the ...

**5**

votes

**2**answers

721 views

### Algebra for algebraic topology

My research is in analysis, but it moved to the area that requires algebraic topology. I have some working knowledge in that area, but I always feel that I am on a shaky ground and I need to go back ...

**1**

vote

**0**answers

87 views

### Notions of connected components in a finite family fibration

Let $\Pi_0:\mathsf{FinFam}(\mathsf C)\to \mathsf{FinSet}$ be the fibration exhibiting the free finite coproduct completion of $\mathsf C$. Suppose $\mathsf C$ has finite limits so that the extensive $\...

**0**

votes

**1**answer

184 views

### Counting the number of poles for rational functions in a coordinate ring of a curve

I'm working in an algebra of rational functions in compact Riemann surfaces with arbitrary genus. The idea I'm struggling is how to count the number $n$ of poles for the rational functions defined in ...

**1**

vote

**0**answers

67 views

### Relation between lifts of simple roots and lifts of idempotents (Henselian property)

Let $f:A\to B$ be a morphism of commutative rings. Given a monic $\varphi\in A[x]$ write $Z(A,\varphi)$ for the set of simple roots of $\varphi$ in $A$. Consider the following properties of $f:A\to B$....

**2**

votes

**0**answers

105 views

### Making explicit the local structure theorem of étale maps in a very simple case

Making explicit the local structure theorem of étale maps in a very simple case.
First I recall the following items from Stacks.
\smallskip
\textbf{Lemma 10.141.2.} Any étale ring map is standard ...

**1**

vote

**0**answers

66 views

### Module of Kahler differentials for manifolds [duplicate]

Let $A$ be a $k$-algebra and let $\mathcal{M}_A$ be the set of all $A$-modules. In $\mathcal{M}_A$, there exists a universal object $\Omega_{A/k}$, called the module of Kahler differentials, and a $k$...