Letq>1 be a prime power,m>1 an integer,GF(qm) andGF(q) the Galois fields of orderqm andq, respectively. We show that the different module structures of (GF(qm), +) arising from the intermediate fields of the field extensionGF(qm) overGF(q), can be studied simultaneously with the help of some basic properties of cyclotomic polynomials. The results can be generalized to finite cyclic Galois extensions over arbitrary fields.In 1986, D. Blessenohl and K. Johnsen proved that there exist elements inGF(qm) which generate normal bases inGF(qm) overany intermediate fieldGF(qd) ofGF(qm) overGF(q). Such elements are called completely free inGF(qm) overGF(q). Using our ideas, we give a detailed and constructive proof of the most difficult part of that theorem, i.e., the existence of completely free elements inGF(qm), overGF(q) provided thatm is a prime power. The general existence problem of completely free elements is easily reduced to this special case.Furthermore, we develop a recursive formula for the number of completely free elements inGF(qm) overGF(q) in the case wherem is a prime power.
[1]
Heinz Lüneburg,et al.
Vorlesungen über Zahlentheorie
,
1978
.
[2]
Supplement zu “eine verschärfung des Satzes von der Normalbasis”
,
1990
.
[3]
D. Jungnickel.
Finite fields : structure and arithmetics
,
1993
.
[4]
Rudolf Lide,et al.
Finite fields
,
1983
.
[5]
Dieter Blessenohl,et al.
Eine verschärfung des satzes von der normalbasis
,
1986
.
[6]
N. Jacobson,et al.
Basic Algebra II
,
1989
.
[7]
Michael Rosen,et al.
A classical introduction to modern number theory
,
1982,
Graduate texts in mathematics.