The PDF has -power exponents; the polynomial is a linearized polynomial over a finite field, not the degree- polynomial produced by the converted TeX. Let be its root set in an algebraic closure. Because and for ,Thus is an -vector space. Its derivative is , and its degree is , so it has exactly distinct roots. A finite vector space of that size has dimension .
Every splitting-field automorphism fixes and carries roots to roots. Hence it acts linearly on . The action is faithful because the splitting field is generated by the roots. Choosing a basis identifies this injection withDifferent bases conjugate the matrix subgroup. The linear action itself is canonical, while a particular matrix realization is basis-dependent.
Articles by others on the same topic
There are currently no matching articles.