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

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

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