Matrix determinant is a homomorphism
The Matrix determinant when applied to the General linear group
is a group epimorphism, group where the codomain is the multiplicative group of the underlying field
Proof
From properties of the Matrix determinant, for any
: π΄ , π΅ β G L ( π , π ) d e t ( π΄ π΅ ) = d e t ( π΄ ) d e t ( π΅ ) Hence
is a homomorphism. For any d e t , there exists π β π with πΆ = π π . Hence d e t ( πΆ ) = π d e t π = π is an epimorphism. d e t
Properties
the Special linear group.k e r β‘ d e t = S L ( n , π )