# Finite group GL2(Z/nZ). Need help on contrapositive

• Nov 10th 2013, 05:07 PM
topsquark
Finite group GL2(Z/nZ). Need help on contrapositive
Quote:

Let F be a field. Show that if \$\displaystyle GL_n(F)\$ is finite then F is also finite.
I don't really have any good thoughts on how to start this, so I've been looking at a possible contradiction proof or the contrapositive statement, which is all I'm asking about for now. Is the contrapositive statement: "Show that if F is not finite then \$\displaystyle GL_n(F)\$ is not finite"? The reason that I'm not sure is that it seems vastly easier to prove than the original statement, which is something I really didn't expect. I expected them to be about the same difficulty.

Thanks!
-Dan
• Nov 10th 2013, 06:37 PM
johng
Re: Finite group GL2(Z/nZ). Need help on contrapositive
Hi,
By GLn(F) I assume you mean the group of non-singular n by n matrices with entries from F. Let x in F be non-zero and A in GLn(F) the diagonal matrix with A(1,1)=x and all other entries on the diagonal 1. This establishes a one to one correspondence between non-zero elements of F and a subset of GLn(F). Clearly then F is finite provided GLn(F) is finite.
• Nov 10th 2013, 08:27 PM
topsquark
Re: Finite group GL2(Z/nZ). Need help on contrapositive
Quote:

Originally Posted by johng
Hi,
By GLn(F) I assume you mean the group of non-singular n by n matrices with entries from F. Let x in F be non-zero and A in GLn(F) the diagonal matrix with A(1,1)=x and all other entries on the diagonal 1. This establishes a one to one correspondence between non-zero elements of F and a subset of GLn(F). Clearly then F is finite provided GLn(F) is finite.

Thank you for the solution. However I was simply asking if I got the contrapositive statement correct. Logic is not one of my stronger attributes.

-Dan
• Nov 11th 2013, 04:32 AM
emakarov
Re: Finite group GL2(Z/nZ). Need help on contrapositive
Yes, the contrapositive is correct.