# Questions tagged [ac.commutative-algebra]

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

3,688 questions
102 views

226 views

### Iteration of a morphism and flatness

Let $A$ be a Noetherian local ring, $f:A \rightarrow A$ be a local ring morphism. Assume some power of $f$ is a flat morphism, must $f$ be flat as well? Motivation: Kunz's theorem shows the result is ...
219 views

### For every prime ideal $P$ of any Cohen-Macaulay ring $R$, is the sequence $\operatorname{depth}(R/P^n)$ eventually constant?

Let $P$ be a prime ideal of a Cohen-Macaulay ring $R$. Then is the sequence $\operatorname{depth}(R/P^n)$ eventually constant ?
99 views

### Intersection condition for polynomial ring and maximal ideals

In ring theory, there is interest in a condition known as the intersection condition. There is a brief comment in McConnell-Robson along these lines: Consider the ring $R = k[x,y]$ where $k$ is a ...
52 views

268 views

### Infinite Galois descent for finitely generated commutative algebras over a field

Let $k_0$ be a field of characteristic 0, and let $k$ is a fixed algebraic closure of $k_0$. Write $G={\rm Gal}(k/k_0)$. Let $A_0$ be a finitely generated commutative $k_0$-algebra with a unit. Then ...
140 views

### How to classify a plane complex curve?

Let $p_1, p_2, t_1, t_2, a \in \mathbb{C}$ be constants. Consider the following plane complex curve in $\mathbb{C}^2$ ($c_1, c_2$ are indetermniates) \begin{align} & {p_1}^2 {p_2}^2 c_1 {t_1}^2 ...
80 views

270 views

69 views

### Normal set of points in the plane

When defining the normality of a scheme in the book The Geometry of Syzygies, Eisenbud says that there are just a few facts that are known for their bounds. Given $X \subset \mathbb{P}^r$, we say ...
194 views

### Are the integers a vector space or algebra over “some” field or over “some” ring?

Every vector $v$ in a finite-dimensional vector space space $V$ of dimension $n$ over a field $F$ has a unique representation in terms of a basis ${\frak B} \subseteq V$, where a basis for $V$ is a ...
134 views

### Derivations of special rings

Consider $p$-adic field $\mathbb{Q}_p$ and let $A$ be any finite dimensional $\mathbb{Q}_p$ algebra without zero divisors (and maybe without $1$). Now we can look on $A$ as on a ring $A_{\mathbb{Z}}$ (...
143 views

### Ideals and Idempotents in a commutative ring

Let $I$, $J$, and $K$ be pairwise comaximal ideals of a commutative ring $R$ with $1$ with the property that if $x^2-x\in I$, then there exists $e^2=e\in J$ such that $x-e\in I$ and if $y^2-y\in K$, ...
174 views

### about morphisms of affine formal schemes $\mathrm{Spf}(B)\to \mathrm{Spf}(A)$

It is well known that there is a correspondence between homomorphism of rings $A\to B$ and morphism of affine schemes $\mathrm{Spec}(B) \to \mathrm{Spec}(A)$. Question: (1) In analogy, is there ...
136 views

### Betti numbers of a Cohen-Macaulay Module in small projective dimension

I am trying to compute the Betti numbers of some Stanley-Reisner ring $R_\Delta$, where the underlying complex $\Delta$ is shellable and the projective dimension of the $R_\Delta$ is $3\text{ or }4$. ...
469 views

### A geometric proof of Krull's Principal ideal theorem

Krull's height theorem states that in a Noetherian, local ring $(A,\mathfrak m)$, for any $f \in \mathfrak m$, the minimal prime ideal containing $(f)$ is at most height $1$. This is a very geometric ...
125 views

### Solutions to a system of homogeneous equations (inequalities)

Let $f_1,\ldots,f_r \in \mathbb{R}[x_1,\ldots,x_n]$ be $r$ homogeneous polynomials of the same odd degree $d$, where $d \in \{3,5,7,\ldots\}$. For which values of $r,n,d$ there exists a real ...
256 views

### Intersection of free/affine submodules, comparison with vector spaces

If $W_1,W_2 \subset V$ are finite-dimensional $k$-vector spaces of dimensions $d_1, d_2 \leq d$, respectively, then $d_1 + d_2 > d$ suffices to guarantee $W_1 \cap W_2 \neq \{0\}$. There are ...
93 views

### Is this algorithm for primary decomposition correct?

I've written some code for Sage to compute radical ideals and primary decompositions over $\overline{Q}$ (the field of algebraic numbers), and I'm not sure if it's right. Since Singular (the ...
361 views

### Reduced ring with all non-prime ideals finitely generated

Let $R$ be a reduced ring with all non-prime ideals finitely generated. Then is $R$ Noetherian ? If not, then is it true at least in the local case ? Without reduced assumption, it is not true even ...
79 views

### Higher degree of Hilbert's irreducibility theorem

A basic form of Hilbert's irreducibility theorem can be formulated as follows: Let $f(t,x)\in\mathbb{Q}[t,x]\setminus\mathbb{Q}[t]$ be an irreducible polynomial. There exist infinitely many linear ...
59 views

### Prime ideal generated by two quadratic polynomials

Let $q_1$ and $q_2$ be two irreducible quadratic homogeneous polynomials in $\mathbb{C}[x_0, \ldots, x_n]$. Consider the ideal $\langle q_1, q_2 \rangle$. When this ideal is prime? I am ...