Suppose \(F\) is a field and \(K=F(\alpha )\) is a finite Galois extension of \(F\). Assume that the Galois group of \(K\) over \(F\) is cyclic generated by an automorphism \(\sigma \) where \(\alpha ^\sigma =\alpha +1\). Prove that \(F\) has characteristic \(p\ne 0\) and that \(\alpha ^p-\alpha \in F\).
Question
Math 6310 • Algebra
Fall 2000 • Question 10