Normal Bases in Galois Theory
In Galois theory it is shown that for a field L, and a finite group G of automorphisms of L, the fixed field K of G has = |G|. In fact we can say more: L viewed as a K-module is the regular representation. This is the content of the normal basis theorem, a normal basis being an element x of L such that the g(x) for g in G are a vector space basis for L over K. Such x exist, and each one gives a K-isomorphism from L to K. From the point of view of algebraic number theory it is of interest to study normal integral bases, where we try to replace L and K by the rings of algebraic integers they contain. One can see already in the case of the Gaussian integers that such bases may not exist: a + bi and a − bi can never form a Z-module basis of Z because 1 cannot be an integer combination. The reasons are studied in depth in Galois module theory.
Read more about this topic: Regular Representation
Famous quotes containing the words normal, bases and/or theory:
“The basic thing nobody asks is why do people take drugs of any sort?... Why do we have these accessories to normal living to live? I mean, is there something wrong with society that’s making us so pressurized, that we cannot live without guarding ourselves against it?”
—John Lennon (1940–1980)
“The bases for historical knowledge are not empirical facts but written texts, even if these texts masquerade in the guise of wars or revolutions.”
—Paul Deman (1919–1983)
“Osteopath—One who argues that all human ills are caused by the pressure of hard bone upon soft tissue. The proof of his theory is to be found in the heads of those who believe it.”
—H.L. (Henry Lewis)