The determinant
is a surjective group homomorphism; its kernel is by definition the special linear group SL n ( K ) {\displaystyle {}\operatorname {SL} _{n}\!{\left(K\right)}} . Due to the isomorphism theorem, there exists a canonical isomorphism