Automorphisms and extensions of \(k((t))\) (Q1199988): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: On Galois actions on p-power torsion points of some one-dimensional formal groups over \({\mathbb{F}}_ p[[t]]\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3801699 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On automorphisms of local fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5509718 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3864611 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Le corps des normes de certaines extensions infinies de corps locaux; applications / rank | |||
Normal rank |
Latest revision as of 12:53, 17 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Automorphisms and extensions of \(k((t))\) |
scientific article |
Statements
Automorphisms and extensions of \(k((t))\) (English)
0 references
17 January 1993
0 references
Let \(k\) be a field of characteristic \(p\) and let \(K=k((t))\) be the power series field over \(k\). For an automorphism \(\sigma\) of \(K\) over \(k\), let \(i(\sigma)\) be the \(K\)-valuation of \((\sigma t-t)/t\) and define \(i_ m\) to be \(i\) of the \(p^ m\)-th power of \(\sigma\). The author studies the properties of the sequence of integers \(i_ m\). To explain the results, let \(a\) denote \(i_ 0\) minus the greatest integer in \((i_ 0/p)\); let \(b=(i_ 1-i_ 0)/p\); and let \(K(\sigma)\) denote the abelian extension \(L\) of \(K\) maximal with respect to the property that any lift of \(\sigma\) to \(K^{sep}\) preserves \(L\) setwise and conjugation by it on \(\text{Gal}(L/K)\) is the identity. The author's first theorem is that if \(k\) is a finite field of \(p^ f\) elements and \(\sigma\) is such that \(i_ 0\) is prime to \(p\) and \(i_ 1\) is less than \((p^ 2-p+1)i_ 0\) then the \(p\)-rank of \(G=\text{Gal}(K(\sigma)/K)\) (the dimension over \(\mathbb{F}_ p\) of \(G/G^ p\)) is at most \(f(a+b-1)\). He calculates the \(p\)-rank of \(G\) via a filtration by ramification subgroups, and obtains his main theorem: with \(i_ 0\) and \(i_ 1\) as in the preceding theorem, and with also \(i_ 1\) greater than \(p^ 2(a+b-1-p)/(p-1)\) then \(i_ m-i_{m-1}\leq p^ m(a+b-1)\). As a corollary, he obtains that if \(i_ 0=1\) and \(i_ 1=1+bp\) with \(b<p-1\) then \(i_ m=1+bp+bp^ 2+\dots +bp^ m\).
0 references
Galois group
0 references
valuation
0 references
automorphism of infinite order
0 references
upper bounds
0 references
class field theory
0 references
Artin-Schreier theory
0 references
power series field
0 references
automorphism
0 references
abelian extension
0 references
finite field
0 references
0 references