Sitzungsberichte der
Heidelberger Akademie der Wissenschaften

Axiomatische Begründung des Bezoutschen Satzes. 59
gebenen Algorithmus ein volles Repräsentantensystem von linear un-
abhängigen Restklassen nach einem Primärideal q explizite angegeben
werden kann. Aus jenen Überlegungen folgt dann • fast unmittelbar
obige Relation.
Damit ist der Isomorphismus, d. h. die zahlenmäßige Über-
einstimmung der Multiplizität bei Primäridealen mit unserer axioma-
tisch definierten Multiplizität festgestellt.