I'm trying to prove that [tex]GL(2,p^n)[/tex] has a cyclic subgroup of order [tex]p^{2n} - 1[/tex]. This should be generated by(adsbygoogle = window.adsbygoogle || []).push({});

[tex]\left( \begin{array}{cc}

0 & 1 \\

-\lambda & -\mu \end{array} \right)[/tex]

where [tex]X^2 + \mu X + \lambda[/tex] is a polynomial over [tex]F_{p^n}[/tex] such that one of its roots has multiplicative order [tex]q^{2n} - 1[/tex] in its splitting field.

Now since the above matrix satisfies its own characteristic polynomial, [tex]X^2 + \mu X + \lambda[/tex], I believe this somehow implies that it has order [tex]q^{2n} - 1[/tex].

The problem is that my Galois Theory isn't up to scratch so I don't have a clue how to justify this.

Here are some of my thoughts: I think I'm right in saying that any splitting field of [tex]F_{p^n}[/tex] is of the form [tex]F_{p^{mn}}[/tex]. For a quadratic is it always [tex]F_{p^{2n}}[/tex]? A primitive element of [tex]F_{p^{2n}}[/tex] would clearly have the desired order.

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

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!

# Cyclic Subgroup of GL(2,q)

**Physics Forums | Science Articles, Homework Help, Discussion**