Let \(p\) be a prime number and \(\mathbb {F}_p\) be the field with \(p\) elements. Let \(f(x)=x^p-x-1\in \mathbb {F}_p[x]\) and let \(K\) be the splitting field of \(f(x)\). Show that:
- if \(\alpha \) is a root of \(f(x)\), then \(\alpha +1\) is a root of \(f(x)\),
- \(K=\mathbb {F}_p(\alpha )\),
- the Frobenius automorphism \(\sigma (x)=x^p\) is a non-trivial element of \(\operatorname {Gal}(K/\mathbb {F}_p)\),
- \(f(x)\in \mathbb {F}_p[x]\) is irreducible.