Indizes hinzugefügt.

Außerdem Kleinigkeiten geändert.
Erzeuger von I = Erzeuger von I_L.

Bisher nur für den Fall, dass A (und damit auch A_L) unitär ist.e
W ist Zariski-dicht in W_L (über L).
Skalarerweiterung von Algebren der Polynomsfunktionen hinzugefügt.

Bisher nur die Inklusion.