Det ist ein Gruppenhom der allgemeinen linearen Gruppe
Multiplikation als Verknüpfung auf die Einheitengruppe von K , weil
det (A*B) = det(A) * det (B) .
und zu 2 ist es dann nicht mehr wild
wenn T die Matrix des Basiswechsels von B1 nach B2 ist, dann ist ja
T-1 * M(α ; B1 ; B1) * T = M(α ; B2 ; B1) , also
det ( M(α ; B2 ; B1) ) =
det ( T-1 * M(α ; B1 ; B1) * T ) =
det ( T-1 ) * det ( M(α ; B1 ; B1) ) * det(T ) =
det ( T ) -1 * det ( M(α ; B1 ; B1) ) * det(T ) = det ( M(α ; B1 ; B1) )