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

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

Hi,

By GL_{n}(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 GL_{n}(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 GL_{n}(F). Clearly then F is finite provided GL_{n}(F) is finite.

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

Quote:

Originally Posted by

**johng** Hi,

By GL_{n}(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 GL_{n}(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 GL_{n}(F). Clearly then F is finite provided GL_{n}(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

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

Yes, the contrapositive is correct.