Definition einer Klassenfunktion hinzugefügt.
Bemerkung hinzugefügt, dass Kommutatoren von Matrizen einen Vektorraum bilden.