# Questions tagged [ac.commutative-algebra]

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

3,791 questions
Filter by
Sorted by
Tagged with
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 ...
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 ...
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 ...
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 ...
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 ...
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, ...
1k views

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

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 ...
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 ...
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 ...
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 ...
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, ...
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$. ...
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$...
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 ...
184 views

176 views

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 ...
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]]$?
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 ...
45 views

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