Center and Commutant: GL(n = 2, Z_p)

[teleport]

Homework Statement

What is the center and the commutant of GL(n = 2, Z_p)?

Homework Equations

The center of a group G: z(G) = {x in G| xy = yx for all y in G}

Commutant of a group G is the set of all xyx^{-1}y^{-1} where all x, y are in G.

The Attempt at a Solution

I tried some calculations with p = 2 first to see if some pattern emerged, but gave up along the way multiplying matrices. My idea is that since I can get the order of GL(n = 2, Z_p) for any p, then I could try to construct an isomorphism between this group and the dihedral group that has the same order. Since the center and commutant of this dihedral group is much easier to get, then I will have obtained the center and commutant of the GL group. Is this right? I gave a try to p=2 that gives order 6 to GL and was able to construct an isomorphism successfully with D_3. My problem now is trying to prove that I can show the isomorphism between any GL(n = 2, Z_p) and the corresponding dihedral group with the same order. Thanks for any help.

 

[teleport]

I've noticed now that the order of GL for p = 3 is an odd number for which can't possibly be the order of any dihedral group. So what I said might work only for even orders of GL. Anyways I still don't know how to get the commutant.

 

[teleport]

Oh I just realized how simple it is. Take any A, B in GL(n = 2, Z_p). Then

det(ABA^{-1}B^{-1}) = 1

the commutant of GL(n = 2, Z_p) is a subset of SL(n = 2, Z_p).

Also any X in SL(n = 2, Z_p) is invertible and hence can be written as a commutator of two invertible matrices over Z_p. Hence the commutant of GL(n = 2, Z_p) is SL(n = 2, Z_p).