Galois theory: Frobenius automorphism
This lecture is part of an online graduate course on Galois theory.
We show that the Frobenius automorphism of a finite field an sometimes be lifted to characteristic 0. As an example we use the Frobenius automorphisms of Q[i] to prove that -1 i a square mod an odd prime p if and only if p is 1 mod 4.