Let us prove that SL(n,F)={A∈GL(n,F):detA=1} is a subgroup of GL(n,F). If A,B∈SL(n,F), then detA=detB=1. It follows that det(AB)=detA⋅detB=1⋅1=1, and hence AB∈SL(n,F). It follows also that det(A−1)=detA1=11=1, and hence A−1∈SL(n,F). We conclude that SL(n,F)
is a subgroup of GL(n,F).
Comments