Kommutative Ringtheorie/Teilbarkeitstheorie/Gemeinsamer Teiler/gt und ggt/Bemerkung

Eine Einheit ist immer ein gemeinsamer Teiler für jede Auswahl von Elementen. Ist ${}t$ ein gemeinsamer Teiler der ${}a_{1},\ldots ,a_{k}$ und ${}u$ eine Einheit, so ist auch ${}ut$ ein gemeinsamer Teiler der ${}a_{1},\ldots ,a_{k}$. Ein größter gemeinsamer Teiler muss im Allgemeinen nicht existieren. Die Elemente ${}a_{1},\ldots ,a_{k}$ sind teilerfremd genau dann, wenn jeder gemeinsame Teiler davon eine Einheit ist.