Ponder...Multiplicativity of the DeterminantFor , . Lemma 9.3 For , . RelatedHomomorphismGeneral Linear GroupStated inLemma 9.3§9 Matrix Groups