dass Summe und Produkt zweier beliebigen Matrizen aus U wieder zu U gehört:
(ab−ba)⋅(cd−dc)
=(ac−bdbc+ad−ad−bc−bd+ac)
=(ac−bdad+bc−(ad+bc)ac−bd)
Wenn man ac-bd mit a und ad+bc mit b identifiziert, ist das von der Form
(ab−ba). q.e.d.
Produkt einer Matrix aus U mit einem Skalar entsprechend:
x⋅(ab−ba)
=(xaxb−xbxa)
Wenn man xa mit a und xb mit b identifiziert, ist das von der Form
(ab−ba). q.e.d.