Zentralisator definiert.
Definition des Doppelkommutators hinzugefügt.
Lemma zum Kommutator hinzugefügt.
2. Jacobsen density theorem hinzugefügt.