I should have read the replies first! https://bsky.app/profile/jeremy9959.bsky.social/post/3lix7zrh5vk22
To get an element of order 7, choose a cubic irreducible polynomial over
Z/2 and let M be a matrix for the rational normal form of that polynomial. This element generates a copy of the mult go of the field with 8 elements in GL3(Z/2) and thus has order 7.
Z/2 and let M be a matrix for the rational normal form of that polynomial. This element generates a copy of the mult go of the field with 8 elements in GL3(Z/2) and thus has order 7.
Comments