Hauptidealbereich/Zwei teilerfremde Elemente/Darstellung der 1/Fakt/Beweis/Aufgabe/Lösung

Aus Wikiversity


Wir betrachten das von und erzeugte Ideal . Da ein Hauptidealbereich ist, gibt es ein mit . Daher ist ein Teiler von und von . Die Teilerfremdheit impliziert, dass eine Einheit ist. Wegen gibt es eine Darstellung .

Multiplikation mit ergibt die Darstellung der .