Kleine Bemerkung hinzugefügt.
Erzeuger von I sind Erzeuger von I_L.

Jetzt für alle k-Algebren.