Für ganze Zahlen a und b (nicht beide null) ist der größte gemeinsame Teiler gcd(a,b) die größte positive ganze Zahl, die sowohl a als auch b ohne Rest teilt.

Prinzip

Wähle unter den gemeinsamen Teilern zweier ganzer Zahlen das maximale Element bezüglich der üblichen Ordnung der positiven ganzen Zahlen; der ggT ist eindeutig und kann durch die Bézout-Identität als kleinste positive Linearkombination der Zahlen charakterisiert werden.

Demonstration

gcd(48,18)=6, da 6 sowohl 48 als auch 18 teilt und keine größere positive Zahl dies tut; außerdem gilt 6 = 48·(−1) + 18·3, was die Bézout-Beziehung zeigt.

Fehlanwendung

ggT mit kgV verwechseln oder Algorithmen zum ggT falsch verwenden, indem fälschlich angenommen wird, dass eine Primfaktorzerlegung zur Berechnung erforderlich sei; ggT(0,0) ohne Kontext als wohl definiert betrachten.

Konsequenz

Richtige Anwendung des ggT erleichtert das Kürzen von Brüchen, die Berechnung ganzzahliger Lösungen linearer diophantischer Gleichungen und das Verständnis modularer Inverser (Existenz bei ggT=1).

Umkehrung

Die komplementäre Größe ist das kleinste gemeinsame Vielfache: während der ggT die größten gemeinsamen Teiler betrachtet, fokussiert das kgV auf die kleinsten gemeinsamen Vielfachen.

Abgrenzung

Definiert für ganze Zahlen (negative durch Betrag) und üblicherweise für Paare oder endliche Tupel; ggT(0,0) ist konventionell undefiniert oder wird je nach Kontext zu 0 gesetzt und muss explizit behandelt werden. Gilt in Hauptidealbereichen, nicht unmittelbar in beliebigen Ringen ohne Anpassung.

Semantische Spannung

Spannung zum Begriff 'teilerfremd': ggT(a,b)=1 ist eine Eigenschaft, nicht eine Größe; es besteht auch eine Beziehung zu Bézout-Koeffizienten, die nicht eindeutig sind, obwohl der ggT bis auf Vorzeichen eindeutig ist.

Synthese

Der größte gemeinsame Teiler von a und b ist die größte positive ganze Zahl, die beide teilt; er ist eindeutig und zentral für Teilbarkeit, Bruchkürzung und die Lösbarkeit linearer diophantischer Gleichungen.