Let be a field. Show that is a finite group if and only if is finite.

Suppose is finite. Then there are only finitely many matrices over , in particular, . Thus there are at most elements in .

Suppose now that is infinite. Note that for all , the matrix defined such that if , if , and otherwise has determinant and so is in . Thus is infinite.

Advertisements