# Questions tagged [regular-rings]

The tag has no usage guidance.

15 questions
80 views

### Generating the annihilator ideal up to finite index

Let $\Lambda_2 = \mathbb{Z}_p[[T_1,T_2]]$ be the power series ring over $\mathbb{Z}_p$ in two variables, i.e., $\Lambda_2$ is a regular local ring of dimension 3. Let $M$ be the quotient of an ...
124 views

### Under which conditions on the homogeneous ideal $I$, the quotient ring $\mathbb{C} [X_0, \dots, X_n]/I$ is a regular ring?

If $I$ is a homogeneous ideal of the ring of homogeneous polynomials $\mathbb {C} [X_0, \dots, X_n]$ , under which conditions on the homogeneous ideal $I$, and particularly on $I_m$, the $m$ -...
55 views

### A semigroup property related to von Neumann regularity

A very common and useful notion in rings is that of von Neumann regular elements: those elements $a\in R$ such that there exists $b\in R$ satisfying $aba=a$. As this is a property defined solely ...
488 views

### A slick proof (?) of Zariski-Nagata purity in characteristic $p$

I am trying to understand the MathSciNet review written by Mark Kisin of the paper "Almost etale extensions" of Faltings. There Kisin illustrates Faltings' approach to the almost purity theorem with ...
262 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) - \...
984 views

### When a smooth algebra is regular?

Let $A \subseteq B$ be noetherian integral domains, $A$ regular (=every localization at maximal ideal is a regular local ring) and $B$ is a smooth $A$-algebra. For the definition of a smooth algebra, ...
226 views

### Regularity of a tensor product

Let $A \subseteq B$ and $A \subseteq C$ be commutative noetherian domains. Assume that $A$ and $C$ are regular rings (=every localization at a maximal ideal is a regular local ring). Assume that $B$ ...
188 views

### When every module is a scalar extension?

Let $A \subseteq B$ be commutative noetherian domains. Of course, if $M$ is an $A$-module, then $M \otimes_A B$ is a $B$-module. I am curious to know if there exist additional conditions on $A$ and $B$...
225 views

Let $R$ be a complete DVR with fraction field $K$, $X$ be a regular scheme flat over $R$. Let $L$ be a finite field extension of $K$ and $Q$ be the integral closure of $R$ in $L$. Denote by $Y:=X \... 1answer 288 views ### Reducedness of a ring with prime nilradical Let$A$be a regular ring and$\mathfrak q$be an ideal, such that$\sqrt{\mathfrak q}$is prime. Further assume that$\mathfrak q$is locally principal (i.e.$\mathfrak q$is an irreducible divisor ... 1answer 825 views ### Is every polynomial ring over any field regular? Is every polynomial ring over any field regular? For a field that is algebraically closed, it is true as any maximal ideal of$k[x_1,...,x_n]$corresponds to a point$(t_1,...,t_n)$in$\mathbb{A}^n$... 1answer 1k views ### geometric interpretation and differences of Gorenstein rings, Complete intersections and regular rings Let$R$be a local Noetherian ring. What is the geometric interpretation of: 1- Gorenstein rings 2- Complete intersections 3- Regular rings? and how can I realize differences by geometric ... 2answers 600 views ### Does regular field extension preserve regularity? Let$k$be an arbitrary field and suppose that$K/k$is a regular field extension. Let$V$be regular scheme of finite type over$\text{Spec }k$(not necessarily smooth). Is it true that$\text{Spec }...
In Hartshorne's "Algebraic Geometry", the following statement is a weaker form of Theorem 8.21A (e), which he quotes from Matsumuura's book on commutative algebra: Proposition. Let $R$ be a regular ...
Basically, my question is whether this answer is correct. Here is the point. Let $R$ be a ring, and let $A$ and $B$ be $R$-algebras. Suppose that $A$ is regular and $B \otimes_R B$ is regular too. ...