1. Groups of automorphisms of local fields of period p and nilpotent class < p, I
- Author
-
Victor Abrashkin
- Subjects
Discrete mathematics ,Root of unity ,Computer Science::Information Retrieval ,General Mathematics ,010102 general mathematics ,05 social sciences ,Astrophysics::Instrumentation and Methods for Astrophysics ,Galois group ,Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing) ,Automorphism ,01 natural sciences ,Combinatorics ,Nilpotent ,Formalism (philosophy of mathematics) ,TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES ,Finite field ,0502 economics and business ,ComputingMethodologies_DOCUMENTANDTEXTPROCESSING ,Computer Science::General Literature ,Lie theory ,0101 mathematics ,ComputingMilieux_MISCELLANEOUS ,050203 business & management ,Mathematics - Abstract
Suppose [Formula: see text] is a finite field extension of [Formula: see text] containing a primitive [Formula: see text]th root of unity. Let [Formula: see text] be a maximal [Formula: see text]-extension of [Formula: see text] with the Galois group of period [Formula: see text] and nilpotent class [Formula: see text]. In this paper, we develop formalism which allows us to study the structure of [Formula: see text] via methods of Lie theory. In particular, we introduce an explicit construction of a Lie [Formula: see text]-algebra [Formula: see text] and an identification [Formula: see text], where [Formula: see text] is a [Formula: see text]-group obtained from the elements of [Formula: see text] via the Campbell–Hausdorff composition law. In the next paper, we apply this formalism to describe the ramification filtration [Formula: see text] and an explicit form of the Demushkin relation for [Formula: see text].
- Published
- 2017