Roots and logarithms of automorphisms of complete local rings
type: Item
instance of: scholarly article
title: Roots and logarithms of automorphisms of complete local rings
zbMATH Open document ID: 0646.39005
DOI: 10.1007/BF01836164
author: C. Praagman
published in: Aequationes Mathematicae
publication date: 1987-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/137214
review text: Let R be a complete (Noetherian) local ring with maximal ideal m and coefficient field \({\mathbb{C}}\), i.e. R/m\(\cong {\mathbb{C}}R\). Then R is the inverse limit of the \(R_ 1:=R/m^{\ell +1}\). Furthermore let \({\mathcal A}\) be the group of \({\mathbb{C}}\)-automorphisms of R and \({\mathcal D}\) the Lie algebra of \({\mathbb{C}}\)-derivations from R to m. \(F\in {\mathcal A}\) is called to have a logarithm if there is some \(D\in {\mathcal D}\) such that \(F=\exp D\) and \(G\in {\mathcal A}\) is called an n-th root of F in G \(n=F\). Using this notions then among others it is shown that for every \(F\in {\mathcal A}\) there is some power F h which has a logarithm. This generalizes an old result of \textit{D. C. Lewis} jun. [Duke Math. J. 5, 794-805 (1939; Zbl 0022.32703)] who proved this in the case of a regular ring R. Furthermore for a fixed set of generators of R special automorphisms and derivations called x-normal are considered and it is shown that \(F\in {\mathcal A}\) has an x-normal logarithm if and only if F has x-normal roots of all orders.
Mathematics Subject Classification ID: 39B52
Mathematics Subject Classification ID: 39B12
Mathematics Subject Classification ID: 20G20
zbMATH DE Number: 4054213
zbMATH Keywords: Lie group
zbMATH Keywords: Lie algebra
zbMATH Keywords: exponential map
zbMATH Keywords: roots
zbMATH Keywords: groups of automorphisms
zbMATH Keywords: local ring
zbMATH Keywords: logarithm
zbMATH Keywords: generators
zbMATH Keywords: derivations
reviewed by: Jens Schwaiger
MaRDI profile type: Publication
cites work: Formal power series transformations
cites work: Iterations and logarithms of formal automorphisms
cites work: Q3929996
cites work: Q3929997
OpenAlex ID: W2103089813
description: scientific article; zbMATH DE number 4054213