Lemma zu Idealen unter Skalarerweiterung hinzugefügt.
Warnung über Primideale unter Skalarerweiterung hinzugefügt.