Finite groups of matrices over division rings

Abstract

A classical theorem of Jordan and Schur states that if G is a finite group of s × s matrices over a field K whose characteristic does not divide |G|, then G has an abelian subgroup of index bounded by a function of s. There are several direct and elegant proofs of this, leading to explicit bounds (4), (18).