... >> Mathematics >> Abstract Algebra >> Fixed Field Theorem
Highest Rated Sign
Nobody has posted a sign yet.
Fixed Field Theorem
Definition: Let H be a finite group of automorphisms of a field K, and let F = K^H be its fixed field. Then K is a finite extension of F, and its degree [K:F] is equal to the order |H| of the group.
Source: Algebra, second edition by Michael Artin