In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, the Hilbert–Speiser theorem is a result on
cyclotomic field
In algebraic number theory, a cyclotomic field is a number field obtained by adjoining a complex root of unity to \Q, the field of rational numbers.
Cyclotomic fields played a crucial role in the development of modern algebra and number theory ...
s, characterising those with a
normal integral basis. More generally, it applies to any finite
abelian extension
In abstract algebra, an abelian extension is a Galois extension whose Galois group is abelian group, abelian. When the Galois group is also cyclic group, cyclic, the extension is also called a cyclic extension. Going in the other direction, a Galoi ...
of , which by the
Kronecker–Weber theorem
In algebraic number theory, it can be shown that every cyclotomic field is an abelian extension of the rational number field Q, having Galois group of the form modular arithmetic, (\mathbb Z/n\mathbb Z)^\times. The Kronecker–Weber theorem provide ...
are isomorphic to subfields of cyclotomic fields.
:Hilbert–Speiser Theorem. A finite abelian extension has a normal integral basis if and only if it is
tamely ramified over .
This is the condition that it should be a
subfield of where is a
squarefree odd number
In mathematics, parity is the property of an integer of whether it is even or odd. An integer is even if it is divisible by 2, and odd if it is not.. For example, −4, 0, and 82 are even numbers, while −3, 5, 23, and 69 are odd numbers.
The ...
. This result was introduced by in his
Zahlbericht and by .
In cases where the theorem states that a normal integral basis does exist, such a basis may be constructed by means of
Gaussian period
In mathematics, in the area of number theory, a Gaussian period is a certain kind of sum of root of unity, roots of unity. The periods permit explicit calculations in cyclotomic fields connected with Galois theory and with harmonic analysis (discre ...
s. For example if we take a prime number , has a normal integral basis consisting of all the -th
roots of unity
In mathematics, a root of unity is any complex number that yields 1 when raised to some positive integer power . Roots of unity are used in many branches of mathematics, and are especially important in number theory, the theory of group char ...
other than . For a field contained in it, the
field trace
In mathematics, the field trace is a particular function defined with respect to a finite field extension ''L''/''K'', which is a ''K''-linear map from ''L'' onto ''K''.
Definition
Let ''K'' be a field and ''L'' a finite extension (and hence a ...
can be used to construct such a basis in also (see the article on
Gaussian period
In mathematics, in the area of number theory, a Gaussian period is a certain kind of sum of root of unity, roots of unity. The periods permit explicit calculations in cyclotomic fields connected with Galois theory and with harmonic analysis (discre ...
s). Then in the case of squarefree and odd, is a
compositum
In mathematics, the tensor product of two fields is their tensor product as algebras over a common subfield. If no subfield is explicitly specified, the two fields must have the same characteristic and the common subfield is their prime subf ...
of subfields of this type for the primes dividing (this follows from a simple argument on ramification). This decomposition can be used to treat any of its subfields.
proved a converse to the Hilbert–Speiser theorem:
:Each finite
tamely ramified abelian extension
In abstract algebra, an abelian extension is a Galois extension whose Galois group is abelian group, abelian. When the Galois group is also cyclic group, cyclic, the extension is also called a cyclic extension. Going in the other direction, a Galoi ...
of a fixed
number field
In mathematics, an algebraic number field (or simply number field) is an extension field K of the field of rational numbers such that the field extension K / \mathbb has finite degree (and hence is an algebraic field extension).
Thus K is a ...
has a relative normal integral basis if and only if .
There is an elliptic analogue of the theorem proven by .
It is now called the Srivastav-Taylor theorem .
References
*
*
*
*
*
*
{{DEFAULTSORT:Hilbert-Speiser theorem
Cyclotomic fields
Theorems in algebraic number theory