Teilbarkeitstheorie/Gemeinsame Teiler/Idealcharakterisierung/Fakt
Zur Navigation springen
Zur Suche springen
Sei ein kommutativer Ring, und das davon erzeugte Ideal. Ein Element ist ein gemeinsamer Teiler von genau dann, wenn ist, und ist ein größter gemeinsamer Teiler genau dann, wenn für jedes mit folgt, dass ist. Ein größter gemeinsamer Teiler erzeugt also ein minimales Hauptoberideal von .