Teilbarkeitstheorie/Hauptidealbereich/Kleinstes Gemeinsames Vielfaches/Idealcharakterisierung/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.

Zum Beweis, Alternativen Beweis erstellen