Centralisers of formal maps
Group Theory
2022-07-05 v3
Abstract
We consider formal maps in any finite dimension with coefficients in an integral domain with identity. Those invertible under formal composition form a group . We consider the centraliser of an element which is tangent to the identity of . Elements of finite order always have an uncountable centraliser. If has infinite order and is a field of characteristic zero we show that contains an isomorphic copy of the additive group . If has infinite order and has finite characteristic we show that contains an uncountable abelian subgroup. The proofs are quite different in finite characteristic and in characteristic zero, but are connected by so-called sum functions.
Cite
@article{arxiv.2010.07177,
title = {Centralisers of formal maps},
author = {Anthony G. O'Farrell},
journal= {arXiv preprint arXiv:2010.07177},
year = {2022}
}