English

Splitting in a complete local ring and decomposition its group of units

Commutative Algebra 2026-04-17 v5 Algebraic Geometry Group Theory Rings and Algebras

Abstract

Let (R,M,k)(R,M,k) be a complete local ring (not necessarily Noetherian). As the first main result of this article, we prove that in the unequal characteristic case \Char(R)\Char(k)\Char(R)\neq\Char(k), the natural surjective map between the groups of units RkR^{\ast}\rightarrow k^{\ast} admits a splitting. \\ Next, we reprove by a new method that in the equi-characteristic case \Char(R)=\Char(k)\Char(R)=\Char(k), the natural surjective ring map RkR\rightarrow k admits a splitting. In our proof there is no need for the existence of the coefficient fields for equi-characteristic complete local rings, whose existence is the most difficult part of the known proof. \\ As an application, we show that for any complete local ring (R,M,k)(R,M,k) the following short exact sequence of Abelian groups: \xymatrix{1\ar[r]&1+M\ar[r]& R^{\ast}\ar[r]&k^{\ast} \ar[r]&1} is always split. In particular, we have an isomorphism of Abelian groups R(1+M)×kR^{\ast}\simeq(1+M)\times k^{\ast}. We also show with an example that the above exact sequence does not split for many incomplete local rings.

Keywords

Cite

@article{arxiv.2508.08753,
  title  = {Splitting in a complete local ring and decomposition its group of units},
  author = {Abolfazl Tarizadeh},
  journal= {arXiv preprint arXiv:2508.08753},
  year   = {2026}
}

Comments

15 pages