Nottingham group

In the mathematical field of infinite group theory, the Nottingham group is the group J(Fp) or N(Fp) consisting of formal power series t + a2t2+... with coefficients in Fp. The group multiplication is given by formal composition also called substitution. That is, if


f = t+ \sum_{n=2}^\infty a_n t^n

and if g is another element, then

gf = f(g) = g+ \sum_{n=2}^\infty a_n g^n.

The group multiplication is not abelian. The group was studied number theorists as the group of wild automorphisms of the local field Fp((t)) and by group theorists including D. Johnson (1988) and the name "Nottingham group" refers to his former domicile.

This group is a finitely generated pro-p-group, of finite width. For every finite group of order a power of p there is a closed subgroup of the Nottingham group isomorphic to that finite group.

See also

References


This article is issued from Wikipedia - version of the Sunday, August 23, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.