Zum Inhalt springen

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 .