Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/iii/paper-21/1/4/solution

Let be the full constant field of . It is a finite extension of the given finite field, hence is itself finite. Since is perfect and algebraically closed in , the one-variable extension is regular. In a common algebraic closure, put . Then is the function field of a geometrically integral curve over the algebraically closed field .
The Tsen theorem makes a field, and the preceding argument gives . Thus is a matrix algebra. A splitting isomorphism and its inverse involve only finitely many coefficients in . All these coefficients lie in for some finite extension , since is the union of these finite constant extensions. The two isomorphism identities consequently already hold over , so splits there.
Finite extensions of a finite field are cyclic, and regularity gives and preserves their degree under this scalar extension. Therefore
is cyclic. A finite cyclic extension of constants splits . This is cyclic splitting by extension of constants. The argument does not assert that the splitting extension has degree exactly the index of ; a larger cyclic constant extension is sufficient for the requested conclusion.

New to topics? Read the docs here!