Field Automorphism Definition

Abstract Algebra · Axiom Academy

Exploring the symmetries of fields: bijective homomorphisms that map a field to itself 1. What is a Field Automorphism? In other words, an automorphism "shuffles" the elements of a field while perfectly preserving its algebraic structure. The field "looks the same" before and after the transformation. 2. Example: Complex Conjugation The most familiar example is complex conjugation on : This map fixes all real numbers and "flips" the imaginary part. Let's verify it's an automorphism: 3. Example: Frobenius Automorphism For finite fields (where p is prime), the Frobenius automorphism is defined by: This remarkable map is an automorphism because of properties unique to finite fields: Preserves addition: In characteristic p , (x+y)^p = x^p + y^p (by the Freshman's Dream!) Preserves multiplication: (xy)^p = x^p y^p (basic exponent rule) Bijective: Every element in a finite field has a unique p -th root Given an automorphism , the fixed field consists of all elements that don't move: The fixed field is always a subfield of F and captures the "symmetric" part of the field under the automorphism group. 5. Prime Fields Have Only the Identity A fundamental theorem states that every automorphism of a prime field is the identity . Prime fields are: for prime p (characteristic p )

This is the written version of the interactive lesson above. See the full Abstract Algebra course.