(i) Zeige: a) Für alle A gilt A ~ A; denn A = E * A * E^(-1)
b) A ~ B ==> B ~ A denn
B = SAT ==> A = S^(-1) * B * T^(-1)
c) A ~ B und B ~ C ==> A ~ C denn:
B=SAT und C = UBV
==> C = U(SAT)V = (US) * A * (TV)
und mit STUV sind auch US und TV aus GLn(K).
a)b)c) zeigt: Äquivalenzrel.