Definition
Suppose that E is an extension of the field F (written as E/F and read E over F). An automorphism of E/F is defined to be an automorphism of E that fixes F pointwise. In other words, an automorphism of E/F is an isomorphism α from E to E such that α(x) = x for each x in F. The set of all automorphisms of E/F forms a group with the operation of function composition. This group is sometimes denoted by Aut(E/F).
If E/F is a Galois extension, then Aut(E/F) is called the Galois group of (the extension) E over F, and is usually denoted by Gal(E/F).
Read more about this topic: Galois Group
Famous quotes containing the word definition:
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.”
—François, Duc De La Rochefoucauld (1613–1680)
“It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
—Jane Adams (20th century)