A representation of the cyclic group of order 5
You will either need the function C5 or Cn from above
> C5:=Cn(5);
>
permrep5(group):=C5;
permrep5(hom):=g->evalm([[0,0,0,0,1],[1,0,0,0,0],[0,1,0,0,0],[0,0,1,0,0],[0,0,0,1,0]]^(5+g));
> permrep5(hom)(1);
> ismatrep(permrep5);
Exercise: Try to find a matrix T such that T &* permrep5(j) &* T^(-1) is
diagonal for all 1 \leq j < 5
What does this say about the the matrix representation?
Hint: try eigenvectors or the other built in Maple functions
>