„Größter gemeinsamer Teiler“ – Versionsunterschied

Der größte gemeinsame Teiler (ggT) ist ein mathematischer Begriff. Sein Pendant ist das kleinste gemeinsame Vielfache (kgV). Beide spielen unter anderem in der Bruchrechnung und der Zahlentheorie eine Rolle. Vielfache sind matheaufgaben die sehr schwierig sind

Er ist die größte natürliche Zahl, durch die sich zwei ganze Zahlen ohne Rest teilen lassen.

Der ${\displaystyle \operatorname {ggT} }$ zweier ganzer Zahlen ${\displaystyle a}$ und ${\displaystyle b}$ ist eine ganze Zahl ${\displaystyle m}$ mit der Eigenschaft, dass sie Teiler sowohl von ${\displaystyle a}$ als auch von ${\displaystyle b}$ ist und dass jede ganze Zahl, die ebenfalls die Zahlen ${\displaystyle a}$ und ${\displaystyle b}$ teilt, ihrerseits Teiler von ${\displaystyle m}$ ist. Beim Ring ${\displaystyle \mathbb {Z} }$ der ganzen Zahlen (der eine Totalordnung > besitzt) normiert man den ${\displaystyle \operatorname {ggT} }$ auf die größte ganze solche Zahl ${\displaystyle |m|}$.

Der Begriff „groß“ in ${\displaystyle \operatorname {ggT} }$ korreliert hochgradig mit der üblichen Ordnungsrelation > der ganzen Zahlen. Es gibt allerdings eine wichtige Ausnahme: Da die ${\displaystyle 0}$ Vielfaches einer jeden ganzen Zahl ${\displaystyle m}$ ist, ist ${\displaystyle 0}$ in Teilbarkeitsfragen an „Größe“ nicht zu überbieten. Diese Auffassung ist in Einklang mit der Verbandsvorstellung (und der Idealtheorie) und vereinfacht einige der unten aufgeführten Rechenregeln.

Die englische Bezeichnung gcd (greatest common divisor) für ${\displaystyle \operatorname {ggT} }$ ist in mathematischen Texten ebenfalls verbreitet.

Oft wird auch ${\displaystyle (a,\,b)}$ als Kurzschreibweise für ${\displaystyle \operatorname {ggT} (a,b)}$ verwendet.^[1]

• 12 ist durch die folgenden Zahlen ohne Rest teilbar: 1, 2, 3, 4, 6, 12.
• 18 hat diese Teiler: 1, 2, 3, 6, 9, 18.
• Die gemeinsamen Teiler von 12 und 18 sind also 1, 2, 3, 6 und der größte von diesen ist 6; in Zeichen:

${\displaystyle \operatorname {ggT} (12,18)=6}$

GgT und kgV kann man über die Primfaktorzerlegung der beiden gegebenen Zahlen bestimmen. Beispiel:

• ${\displaystyle 3528=2^{\color {Red}3}\cdot 3^{\color {Red}2}\cdot 5^{\color {Red}0}\cdot 7^{\color {Red}2}}$
• ${\displaystyle 3780=2^{\color {OliveGreen}2}\cdot 3^{\color {OliveGreen}3}\cdot 5^{\color {OliveGreen}1}\cdot 7^{\color {OliveGreen}1}}$

Für den ggT nimmt man die Primfaktoren, die in beiden Zerlegungen vorkommen, und als zugehörigen Exponenten den jeweils kleineren der Ausgangsexponenten:

• ${\displaystyle \operatorname {ggT} (3528,3780)=2^{\color {OliveGreen}2}\cdot 3^{\color {Red}2}\cdot 5^{\color {Red}0}\cdot 7^{\color {OliveGreen}1}=252}$

Die Berechnung der Primfaktorzerlegung großer Zahlen und damit auch die Bestimmung des größten gemeinsamen Teilers nach obiger Methode ist sehr aufwändig. Mit dem euklidischen Algorithmus existiert jedoch ein effizientes Verfahren, um den größten gemeinsamen Teiler zweier Zahlen zu berechnen. Dieses Verfahren wurde durch den steinschen Algorithmus noch weiter variiert. Ob dies eine Verbesserung ist, hängt von der jeweiligen Bewertungsfunktion und „Maschinerie“ ab, die den jeweiligen Algorithmus ausführt.

Der klassische euklidische Algorithmus berechnet den größten gemeinsamen Teiler, indem er nach einem gemeinsamen „Maß“ für die Längen zweier Linien sucht. Dazu wird die kleinere zweier Längen von der größeren abgezogen und dieser Schritt mit dem Ergebnis und der kleineren Länge so lange wiederholt, bis die abgezogene Zahl mit dem Ergebnis identisch ist. Beispiel:

${\displaystyle {\begin{aligned}143-65&=78\\78-65&=13\\65-13&=52\\52-13&=39\\39-13&=26\\26-13&=13\\\end{aligned}}}$

Der größte gemeinsame Teiler ist somit 13. Wenn man weiß, dass 13 prim ist, könnte man im Beispiel schon im zweiten Schritt den Teiler ablesen, da eine Primzahl als Ergebnis nicht weiter geteilt werden kann.

Beim modernen euklidischen Algorithmus wird in aufeinanderfolgenden Schritten jeweils eine Division mit Rest durchgeführt, wobei der Rest im nächsten Schritt zum neuen Divisor wird. Der Divisor, bei dem sich Rest 0 ergibt, ist der größte gemeinsame Teiler der Ausgangszahlen. Beispiel:

${\displaystyle {\begin{aligned}3780&:3528&=\ &1&\ \operatorname {Rest} &\ 252\\3528&:252&=\ &14&\ \operatorname {Rest} &\ 0\\\end{aligned}}}$

Somit ist 252 der größte gemeinsame Teiler von 3780 und 3528.

In C wird der Algorithmus wie folgt formuliert:

int GreatestCommonDivisor(int a, int b)
{
    int h;
    if (a == 0) return abs(b);
    if (b == 0) return abs(a);

    do {
        h = a % b;
        a = b;
        b = h;
    } while (b != 0);

    return abs(a);
}

Man verwendet alle Primfaktoren, die in jeder der Zahlen vorkommen, mit der jeweils kleinsten vorkommenden Potenz, zum Beispiel:

${\displaystyle 144=2^{\color {Red}4}\cdot 3^{\color {Red}2}\cdot 5^{\color {Red}0}\cdot 7^{\color {Red}0}}$

${\displaystyle 160=2^{\color {OliveGreen}5}\cdot 3^{\color {OliveGreen}0}\cdot 5^{\color {OliveGreen}1}\cdot 7^{\color {OliveGreen}0}}$

${\displaystyle 175=2^{\color {Blue}0}\cdot 3^{\color {Blue}0}\cdot 5^{\color {Blue}2}\cdot 7^{\color {Blue}1},}$

also:

${\displaystyle \operatorname {ggT} (144,160,175)=2^{\color {Blue}0}\cdot 3^{\color {OliveGreen}0}\cdot 5^{\color {Red}0}\cdot 7^{\color {Red}0}=1.}$

Man könnte auch zunächst ${\displaystyle \operatorname {ggT} (144,160)=16}$ berechnen und danach ${\displaystyle \operatorname {ggT} (16,175)=1,}$ denn als eine zweistellige Verknüpfung auf den natürlichen Zahlen ist der ggT assoziativ:

${\displaystyle \operatorname {ggT} (m,\,\operatorname {ggT} (n,o))=\operatorname {ggT} (\operatorname {ggT} (m,n),\,o).}$

Dies rechtfertigt die Schreibweise ${\displaystyle \operatorname {ggT} (m,n,o)}$.

Für ganze Zahlen ${\displaystyle a,b,c}$ gilt – mit ${\displaystyle |a|}$ als dem Betrag von ${\displaystyle a}$:

	●	${\displaystyle \operatorname {ggT} (a,b)}$	${\displaystyle =\operatorname {ggT} (b,a)}$	(Kommutativgesetz)
	●	${\displaystyle \operatorname {ggT} (\pm a,\pm b)}$	${\displaystyle =\operatorname {ggT} (a,b)}$
	●	${\displaystyle \operatorname {ggT} (a,a)}$	${\displaystyle =|a|}$
	●	${\displaystyle \operatorname {ggT} (a,0)}$	${\displaystyle =|a|}$
	●	${\displaystyle \operatorname {ggT} (a,1)}$	${\displaystyle =1}$
	●	${\displaystyle \operatorname {ggT} (a,b\;{\bmod {\;}}a)}$	${\displaystyle =\operatorname {ggT} (a,b)}$	${\displaystyle (a\neq 0)}$
	●	${\displaystyle \operatorname {ggT} (a,b+ac)}$	${\displaystyle =\operatorname {ggT} (a,b)}$
	●	${\displaystyle \operatorname {ggT} (a,b,c)}$	${\displaystyle =\operatorname {ggT} (a,\,\operatorname {ggT} (b,c))=\operatorname {ggT} (\operatorname {ggT} (a,b),\,c)}$	(Assoziativgesetz)
	●	${\displaystyle \operatorname {ggT} (a\cdot c,b\cdot c)}$	${\displaystyle =\operatorname {ggT} (a,b)\cdot |c|}$	(Distributivgesetz)
	●	Ist ${\displaystyle c}$ ein gemeinsamer Teiler von ${\displaystyle a}$ und ${\displaystyle b}$, dann gilt: ${\displaystyle c}$   teilt   ${\displaystyle \operatorname {ggT} (a,b)}$   und     ${\displaystyle \operatorname {ggT} (a:c,b:c)\,=\operatorname {ggT} (a,b):|c|}$		für   ${\displaystyle c\neq 0.}$
	●	Ist ${\displaystyle a\equiv b\ {\bmod {\ }}c}$   (${\displaystyle a}$ und ${\displaystyle b}$ sind kongruent modulo ${\displaystyle c}$), dann gilt:     ${\displaystyle \operatorname {ggT} (a,c)\qquad \;\;\,=\operatorname {ggT} (b,c)}$

Aus der genannten Rechenregel ${\displaystyle \operatorname {ggT} (a,0)=|a|}$ ergibt sich speziell ${\displaystyle \operatorname {ggT} (0,0)=0}$. Dies ergibt sich auch daraus, dass jede ganze Zahl ${\displaystyle a}$ (sogar die 0 selbst) wegen ${\displaystyle a\cdot 0=0}$ Teiler der 0 ist, während umgekehrt 0 keine von 0 verschiedene Zahl teilt.

Hält man eines der beiden Argumente fest, dann ist ${\displaystyle \operatorname {ggT} }$ eine multiplikative Funktion, denn für teilerfremde Zahlen ${\displaystyle a}$ und ${\displaystyle b}$ gilt:

${\displaystyle \operatorname {ggT} (ab,c)=\operatorname {ggT} (a,c)\cdot \operatorname {ggT} (b,c)}$

Nach dem Lemma von Bézout lässt sich der größte gemeinsame Teiler zweier ganzer Zahlen ${\displaystyle m}$ und ${\displaystyle n}$ als Linearkombination von ${\displaystyle m}$ und ${\displaystyle n}$ mit ganzzahligen Koeffizienten darstellen:

• ${\displaystyle \operatorname {ggT} (m,n)=s\cdot m+t\cdot n}$ mit ${\displaystyle s,t\in \mathbb {Z} }$

Beispielsweise besitzt der größte gemeinsame Teiler von ${\displaystyle 12}$ und ${\displaystyle 18}$ die folgende Darstellung:

• ${\displaystyle \operatorname {ggT} (12,18)=6=(-1)\cdot 12+1\cdot 18}$

Die Koeffizienten ${\displaystyle s}$ und ${\displaystyle t}$ können mit dem erweiterten euklidischen Algorithmus berechnet werden.

Für gerades ${\displaystyle e}$, ungerades ${\displaystyle d}$ sowie ganzes ${\displaystyle i,j,k}$ gilt:

${\displaystyle \operatorname {ggT} (2e,e^{2}-1)=1}$;

${\displaystyle \operatorname {ggT} (2d,d^{2}-1)=2}$;

${\displaystyle \operatorname {ggT} (2k(k+1),2k+1)=1}$;

${\displaystyle \operatorname {ggT} (4k,4k^{2}-1)=1}$;

${\displaystyle \operatorname {ggT} (i-j,1+i+j)=\operatorname {ggT} (1+2j,1+2i)}$;

${\displaystyle \operatorname {ggT} (a,b)=2\operatorname {ggT} (a/2,b/2)}$, falls a und b gerade.

${\displaystyle \operatorname {ggT} (a,b)=\operatorname {ggT} (a/2,b)}$, falls a gerade und b ungerade.

${\displaystyle \operatorname {ggT} (a,b)=\operatorname {ggT} ((a-b)/2,b)}$, falls a und b ungerade.

Setzt man eine Primzahl aus zwei echten Summanden zusammen, gilt für diese stets Teilerfremdheit:

${\displaystyle p=a+b;0<b\leq a<p;a,b\in \mathbb {N} ,p\in \mathbb {P} ;ggT(a,b)=1}$.

Beim Kürzen wird ein gemeinsamer Faktor von Zähler und Nenner eines Bruches entfernt, wobei sich der Wert des Bruches nicht ändert, z. B. ${\displaystyle {\tfrac {12}{18}}={\tfrac {6\cdot 2}{9\cdot 2}}={\tfrac {6}{9}}}$. Kürzt man mit dem größten gemeinsamen Teiler von Zähler und Nenner, entsteht ein Bruch, der nicht weiter kürzbar ist. Zum Beispiel ist ${\displaystyle \operatorname {ggT} (12,18)={\color {Blue}6}}$, also

${\displaystyle {\frac {12}{18}}={\frac {2\cdot {\color {Blue}6}}{3\cdot {\color {Blue}6}}}={\frac {2}{3}}}$

Ein Bruch, der nicht weiter kürzbar ist, wird gekürzter Bruch oder auch vollständig und maximal gekürzter Bruch genannt.

${\displaystyle \mathrm {ggT} (a,b)\cdot \mathrm {kgV} (a,b)=a\cdot b}$

Der Begriff des ggT baut auf dem Begriff der Teilbarkeit auf, wie er in Ringen definiert ist. Man beschränkt sich bei der Diskussion des ggT auf nullteilerfreie Ringe, im kommutativen Fall sind das die Integritätsringe.

Ein Integritätsring, in dem je zwei Elemente einen ggT besitzen, heißt ggT-Ring oder ggT-Bereich. (In einem ggT-Ring haben je zwei Elemente auch ein kgV.)

In Allgemeinen besitzen solche Ringe keine Halbordnung, die antisymmetrisch ist, wie die ganzen oder die natürlichen Zahlen eine haben. Häufig ist die Teilbarkeitsrelation, die eine Quasiordnung ist, die einzige Ordnungsrelation. Deshalb lässt sich der ggT ggfls. nicht mehr eindeutig als nicht-negativ normieren, sondern nur bis auf Assoziiertheit bestimmen. Zwei Elemente ${\displaystyle a}$ und ${\displaystyle b}$ sind assoziiert, in Zeichen ${\displaystyle a\sim b}$, wenn es eine Einheit ${\displaystyle \epsilon }$ mit ${\displaystyle a=b\cdot \epsilon }$ gibt.

Wir erweitern den Begriff des ggT auf die Menge aller größten gemeinsamen Teiler der Elemente einer Teilmenge ${\displaystyle M}$ eines Ringes ${\displaystyle R}$, formal:

${\displaystyle d\in \operatorname {ggT} (M)\quad :\Longleftrightarrow \quad \forall y\in R:(\forall x\in M:y\mid x)\Leftrightarrow y\mid d}$.

In Worten: Die Teiler von ${\displaystyle d}$ sind genau die Elemente aus ${\displaystyle R}$, die alle Elemente aus ${\displaystyle M}$ teilen. Die ggT sind untereinander assoziiert.

Man kann den ggT z. B. auch für Polynome bilden. Statt der Primfaktorzerlegung nimmt man hier die Zerlegung in irreduzible Faktoren:

${\displaystyle {\begin{aligned}f(X,Y)&=X^{2}+2XY+Y^{2}=(X+Y)^{2}\\g(X,Y)&=X^{2}-Y^{2}=(X+Y)(X-Y)\end{aligned}}}$

Dann ist

${\displaystyle \operatorname {ggT} (f,g)\sim X+Y}$

Der Polynomring ${\displaystyle \mathbb {Q} [X]}$ in einer Variablen ${\displaystyle X}$ ist euklidisch. Dort gibt es zur Berechnung des ${\displaystyle \operatorname {ggT} }$ eine Division mit Rest.

Im gaußschen Zahlenring ${\displaystyle \mathbb {Z} +\mathrm {i} \mathbb {Z} }$ ist der größte gemeinsame Teiler von ${\displaystyle 2}$ und ${\displaystyle 1+3\mathrm {i} }$ gerade ${\displaystyle 1+\mathrm {i} }$, denn ${\displaystyle 2=-\mathrm {i} (1+\mathrm {i} )^{2}}$ und ${\displaystyle 1+3\mathrm {i} =(1+\mathrm {i} )(2+\mathrm {i} )}$. Genau genommen ist ${\displaystyle 1+\mathrm {i} }$ nur ein größter gemeinsamer Teiler, da alle zu dieser Zahl assoziierten Zahlen ebenfalls größte gemeinsame Teiler sind. (Die Einheiten sind ${\displaystyle \pm 1,\pm \mathrm {i} }$.)

Im Integritätsring ${\displaystyle R=\mathbb {Z} [{\sqrt {-3}}]}$ haben die Elemente

${\displaystyle a:=4=2\cdot 2=(1+{\sqrt {-3}})(1-{\sqrt {-3}}),\quad b:=(1+{\sqrt {-3}})\cdot 2}$

keinen ggT: Die Elemente ${\displaystyle 1+{\sqrt {-3}}}$ und ${\displaystyle 2}$ sind zwei maximale gemeinsame Teiler, denn beide haben den gleichen Betrag, aber diese zwei Elemente sind nicht zueinander assoziiert. Also gibt es keinen ggT von ${\displaystyle a}$ und ${\displaystyle b}$.

Die genannten Elemente ${\displaystyle 1+{\sqrt {-3}}}$ und ${\displaystyle 2}$ haben aber ihrerseits einen ggT, nämlich ${\displaystyle 1}$. Dagegen haben sie kein kgV, denn wenn ${\displaystyle v}$ ein kgV wäre, dann folgt aus der „ggT-kgV-Gleichung“, dass ${\displaystyle v}$ assoziiert zu ${\displaystyle k:=(1+{\sqrt {-3}})\cdot 2}$ sein muss. Das gemeinsame Vielfache ${\displaystyle 4}$ ist jedoch kein Vielfaches von ${\displaystyle k}$, also ist ${\displaystyle k}$ kein kgV und die beiden Elemente haben gar kein kgV.

Ist ${\displaystyle R}$ ein Integritätsring und haben die Elemente ${\displaystyle a}$ und ${\displaystyle b}$ ein kgV, dann haben sie auch einen ggT, und es gilt die Gleichung

${\displaystyle a\cdot b\sim \operatorname {ggT} (a,b)\cdot \operatorname {kgV} (a,b)}$

Ein euklidischer Ring ist ein Hauptidealring, der ein faktorieller Ring ist, der schließlich ein ggT-Ring ist. Ebenso ist jeder Hauptidealring ein Bézoutring, der wiederum stets ein ggT-Ring ist.

Ein Beispiel für einen nicht-kommutativen ggT-Ring sind die Hurwitzquaternionen.

In der elementaren Zahlentheorie gehört der größte gemeinsame Teiler ${\displaystyle g}$ von zwei ganzen Zahlen ${\displaystyle m,n\in \mathbb {Z} \setminus \lbrace 0\rbrace }$ zu den wichtigsten Grundkonzepten. Man schreibt dort regelmäßig ${\displaystyle g=(m,n)}$ und meint damit dann den positiven ggT, geht also von ${\displaystyle g\in \mathbb {N} }$ aus.

In der analytischen Zahlentheorie kann die ggT-Funktion ${\displaystyle \mathbb {Z} \setminus \lbrace 0\rbrace \rightarrow \mathbb {N} ;\;m\mapsto (m,n)}$ in einer Variablen für festes ${\displaystyle n\in \mathbb {N} \setminus \lbrace 0\rbrace }$ analytisch zu einer ganzen Funktion fortgesetzt werden. → Siehe Ramanujansumme.

1. ↑ Peter Bundschuh: Einführung in die Zahlentheorie. 6. Auflage. Springer, Berlin 2008, ISBN 978-3-540-76490-8, S. 15.

• Peter Bundschuh: Einführung in die Zahlentheorie. 6. Auflage. Springer, Berlin 2008, ISBN 978-3-540-76490-8.
• Universität Ulm: "Elementare Zahlentheorie" [1]

Wikibooks: Algorithmensammlung - Euklidischer Algorithmus und ggT – Lern- und Lehrmaterialien

• Verschiedene Online-Tools zur Primfaktorzerlegung, ggT und kgV.
• Skriptum: (PDF; 1,2 MB) Analytische Fortsetzung des ggT zu einer ganzen Funktion.
• Christian Spannagel: Der Euklidische Algorithmus. Vorlesungsreihe, 2012.
• Christian Spannagel: Der größte gemeinsame Teiler und das kleinste gemeinsame Vielfache. Vorlesungsreihe, 2012.