Hello all,(adsbygoogle = window.adsbygoogle || []).push({});

I am trying to solve this exercise here:

Let \phi denote the Frobenius map x |-> x^p on the finite field F_{p^n}. Determine the Jordan canonical form (over a field containing all the eigenvalues) for \phi considered as an F_p-linear transformation of the n-dimensional F_p-vector space F_{p^n}.

So, this is how I start:

Suppose that F_{p^n}=F_p(a1,a2,a3, ..., an) (those n elements will be powers of one element, but it doesn't matter). Now, since the Frobenius map is an isomorphism of F_{p^n} to itself, then \phi permutes a1, a2, ..., an.

Since a1, a2, ..., a3 form a basis of the n-dimensional F_p-vector space F_{p^n}, then the matrix of \phi in respect with that basis will be just a permutation matrix.

So the problem becomes equivalent with: "find the jordan canonical form of a permutation matrix".

Am I doing some obvious mistake here? Would the latter be something straightforward? I admit I can't see it...

Any help would be greatly appreciated.

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Jordan Can. Form of Frobenius map

Loading...

Similar Threads - Jordan Form Frobenius | Date |
---|---|

Jordan Chains to solve x'=Ax, complex-valued. | Feb 8, 2016 |

A reasonable analogy for understanding similar matrices? | Dec 12, 2015 |

Significance of Jordan Canonical Form | Dec 19, 2014 |

Completing the basis of a matrix, Jordan form related | Sep 12, 2012 |

Jordan Canonical Form | Apr 19, 2012 |

**Physics Forums - The Fusion of Science and Community**