As of May 31, 2023, we have updated our Code of Conduct.

# Questions tagged [local-rings]

The tag has no usage guidance.

196 questions
Filter by
Sorted by
Tagged with
198 views

### Examples of stretched artinian local ring

In Sally's Paper stretched artinian local ring is defined as : Let $(R, \mathfrak{m})$ be an Artin local ring of length $\lambda.$ If $\nu$ is the embedding dimension of $R$, that is, $\nu$ is the ...
• 31
234 views

### Alternative description of strict henselization

Let $R$ be a local ring with field of fractions $K$, maximal ideal $\mathfrak{m}$ and residue field $\kappa = R/\mathfrak{m}$. Let $R^\mathrm{sh}$ be a strict henselization of $R$, and let $L$ be the ...
• 1,189
69 views

• 1,683
1 vote
101 views

### On Noetherianity and local ness of a completed tensor product

Let $R$ be a regular local complete (with respect to the maximal ideal) ring with field of fraction $K$. Let $S\cong R[[x_1,\cdots, x_n]]/J$ (this is a Noetherian local ring which is an $R$-algebra) ...
• 245
124 views

### Does Noetherianity imply division theorem?

I am trying to understand something which is probably basic for experts so I am sorry if this is not suited for this forum. Let $\mathcal{O}_n$ denote the ring of germs at $0 \in \mathbb{R}^n$ of real-...
• 916
1 vote
87 views

### A question concerning cancellation of ideals

I am working on a number theory project, and at one stage, I encounter a commutative algebra problem. Vaguely speaking, my hope is to show that two ideals are equal. Now I shall explain the data I am ...
1 vote
74 views

98 views

### Analogue of Kock-Lawvere axiom for power series rings?

The Kock-Lawvere axiom for a topos $\mathcal{E}$ states that given a specified commutative ring object $R \in \mathcal{E}$, for all local Artinian $R$-algebra objects $A \in \mathcal{E}$, the morphism ...
• 1,790
197 views

• 171
1 vote
77 views

### Abelianization of the group of invertible elements in a finite local ring

Let $R$ be a finite local $\mathbb{F}_q$-algebra. Assume that $R\cong R^*$ as left $R$-modules. Are there any known results about the abelianization $(R^{\times})_{\mathrm{ab}}$? (We can factor $R$ be ...
• 4,929
225 views

### Is there a "spherical building" for a reductive group over a Henselian local ring?

Let $A$ be a Henselian local ring and let $G$ be a split reductive $A$-group. I'm interested in some notion of a "building of parabolic subgroups" for the group scheme $G$. In my specific ...
991 views

### A Krull-like Theorem and its possible equivalence to AC

A well known equivalent of the Axiom of Choice is Krull's Maximal Ideal Theorem (1929): if $I$ is a proper ideal of a ring $R$ (with unity), then $R$ has a maximal ideal containing $I$. The proof is ...
257 views

### When is it possible to localize a scheme along a closed subscheme?

If we have $Z\subset X$ a closed irreducible subscheme of an integral scheme $X$ (which you can take to have various further niceness properties if you want), one can take its generic point $\eta_Z$ ...
• 1,712
203 views

### An example of a local integral domain with special spectrum

I am looking for a local integral domain $(D, m)$ with $Spec(D)=\{0,m\}\cup\{ P_i\}_i$ such that $P_i's$ are incomparable (that is, $P_i\not\subseteq P_j$ and $P_j\not\subseteq P_i$ for $i\not= j$) ...
• 147
536 views

### $R$ is a UFD iff $R_{\frak{m}}$ is a UFD?

Let $R$ be a graded ring such that $R_0$ is a field and let $\frak{m}$ be the maximal ideal generated by all the elements of positive degree. Then, is it true that $R$ is a UFD iff $R_{\frak{m}}$ is a ...
• 685
71 views

1 vote
141 views

### Do you know a finite unitary reversible ring that is not isomorphic to its opposite? And the minimal with that property?

Do you know a finite unitary reversible ring that is not isomorphic to its opposite? And the minimal with that property? The examples of rings not isomorphic to their opposite that I know of are not ...
190 views

### Cohomology of finite $p$-groups over integers in local fields

Let $p$ be a prime, $G$ be a finite group of order $p^a$. Let $M$ be a $\mathbb{Z}[G]$-module. Then $H^n(G, M)$ is annihilated by $p^a$ for all $n \geq 1$ (see e.g. Brown, Corollary III.10.2). In ...
• 435
299 views

### Kähler differentials on an Artinian local ring

Suppose $R$ is a commutative Artinian local ring over an algebraically closed characteristic 0 field $k$. Suppose $f\in R$ is such that $df=0$ (in the sense that the element $df$ vanishes in the ...
• 2,716
Let $(A,\mathfrak m)$ be a henselian local ring. Let $R$ and $S$ be $A$-algebras of finite type and $f\colon R\to S$ be a smooth morphism. Assume that the induced morphism \$R/\mathfrak m R\to S/\...