Peano-Halbring/Ideal/Bezout/Aufgabe

Aus Wikiversity

Es sei ein Peano-Halbring und . Es sei

Zeige, dass es ein eindeutig bestimmtes derart gibt, dass aus sämtlichen Vielfachen von besteht. Zeige, dass der größte gemeinsame Teiler von und

ist.