2
$\begingroup$

Consider $G=GL_n(\mathbb{Z}/2\mathbb{Z})$. What is the smallest $n$ for which $G$ has an element of order 8? Give an example of an element of order 8.

I've thought about just considering what happens to powers of Jordan blocks since each matrix in $G$ is similar to a matrix in Jordan normal form. I've managed to convince myself that the smallest $n$ is 4, but I have no idea how to go about finding a specific element of order 8. Is there a better way than guess and check? There are far too many elements in $GL_4(\mathbb{Z}/2\mathbb{Z})$ just to guess and check.

  • 1
    By your own argument, you don't need to try all matrices, just the Jordan normal forms (of which there are very few over $\mathbb F_2$).2012-04-09
  • 0
    @Henning Makholm's hint will get you the right answer, but please don't be fooled into thinking that every matrix over $\mathbb{F}_2$ has a Jordan normal form. This is true for matrices over an algebraically closed field, which $\mathbb{F}_2$ isn't. For example, $\left( \begin{smallmatrix} 0 & 1 \\ 1 & 1 \end{smallmatrix} \right)$ can't be put into Jordan normal form over $\mathbb{F}_2$.2012-04-09
  • 1
    The hint I would give (after a bit more thought). You want the minimal polynomial to be $x^8-1$. This will be particularly useful if you note that $x^8-1 \equiv (x-1)^8 \mod 2$.2012-04-09
  • 1
    Try writing down the entire Sylow $2$-subgroup. (I promise this is easier than it sounds! Compute the power of $2$ dividing the order of the group first.)2012-04-09
  • 0
    After some more work, I'm no longer sure 4 is the right n. I think you actually need to have $n=5$ and I've already found an element of order 8 in that case. By examining conjugacy classes, I think the minimal polynomial must be $x^2+1$ when $n=4$ and the max order is 4.2012-04-09
  • 2
    You want the minimum polynomial to divide x^8-1, but not x^4-1. (x-1)^5 is the first candidate, and its companion matrix has order 8.2012-04-09
  • 0
    @Jack Schmidt is right, and my statement was misleading.2012-04-09
  • 0
    @JackSchmidt, if I were looking for an element of order 9 instead, would that mean I want the minimal polynomial to divide $x^9-1$ but not $x^3-1$?2012-04-09
  • 0
    @bret: yes, and in this case you can even just take x^6+x+1 = (x^9-1)/(x^3-1), and its companion matrix in GL(6,2) will have order 9. GL(5,2) has no elements of order 9. GL(3,4) and GL(2,8) both have elements of order 9 (factor x^9-1 over these larger fields and get lower degree factors).2012-04-10

0 Answers 0