The tag has no usage guidance.

learn more… | top users | synonyms

3
votes
1answer
180 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) - \...
3
votes
2answers
536 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, ...
0
votes
2answers
175 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$ ...
0
votes
1answer
166 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$...
0
votes
1answer
160 views

Base change of regular schemes [closed]

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 \...
1
vote
1answer
160 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 ...
2
votes
1answer
460 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$...
10
votes
1answer
821 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 ...
4
votes
2answers
403 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 }...
2
votes
1answer
200 views

A particular Isomorphism of graded algebras over a regular local ring

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 ...
5
votes
1answer
268 views

Tensor product of regular ring (with some conditions)

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