Teilbarkeitstheorie/Hauptidealbereich/Kleinstes Gemeinsames Vielfaches/Idealcharakterisierung/Fakt

Aus Wikiversity

Es sei ein Hauptidealbereich, , eine Familie von Elementen und der Schnitt der davon erzeugten Hauptideale. Ein Element ist genau dann ein kleinstes gemeinsames Vielfaches von , wenn , wenn also als Hauptideal erzeugt.