# Kleinstes gemeinsames Vielfaches

Das kleinste gemeinsame Vielfache (kgV) ist ein mathematischer Begriff. Sein Pendant ist der größte gemeinsame Teiler (ggT). Beide spielen unter anderem in der Arithmetik und der Zahlentheorie eine Rolle.
Das kleinste gemeinsame Vielfache zweier ganzer Zahlen $m$ und $n$ ist die kleinste positive natürliche Zahl, die sowohl Vielfaches von $m$ als auch Vielfaches von $n$ ist. Zusätzlich wird für den Fall $m=0$ oder $n=0$ das kgV definiert als $\operatorname {kgV} (m,\,n):=0$.
Die englische Bezeichnung für das kleinste gemeinsame Vielfache ist least common multiple oder kurz lcm und findet in mathematischen Texten ebenfalls Verwendung.

## Berechnung des kgV von natürlichen Zahlen
### Berechnung über die Vielfachen

* Die positiven Vielfachen von 12 sind: 12, 24, 36, 48, 60, 72, 84, 96, 108, …
* Die positiven Vielfachen von 18 sind: 18, 36, 54, 72, 90, 108, …
* Die gemeinsamen positiven Vielfachen von 12 und 18 sind also 36, 72, 108, …
* und das kleinste von diesen ist 36; in Zeichen:
    $\operatorname {kgV} (12,18)=36$.

### Berechnung über die Primfaktorzerlegung

Man kann das kgV über die Primfaktorzerlegung der beiden gegebenen Zahlen bestimmen. Beispiel:
    $3528=2^{\color {Red}3}\cdot 3^{\color {Red}2}\cdot 7^{\color {Red}2}$
    $3780=2^{\color {OliveGreen}2}\cdot 3^{\color {OliveGreen}3}\cdot 5^{\color {OliveGreen}1}\cdot 7^{\color {OliveGreen}1}$
Für das kgV nimmt man die Primfaktoren, die in mindestens einer der beiden Zerlegungen vorkommen, und als zugehörigen Exponenten den jeweils größeren der Ausgangsexponenten:
    $\operatorname {kgV} (3528,3780)=2^{\color {Red}3}\cdot 3^{\color {OliveGreen}3}\cdot 5^{\color {OliveGreen}1}\cdot 7^{\color {Red}2}=52.920$.

### Berechnung über den größten gemeinsamen Teiler (ggT)

Es gilt die folgende Gleichung:
    $\operatorname {ggT} (m,n)\cdot \operatorname {kgV} (m,n)=|m\cdot n|$
Sind beide Zahlen positiv oder negativ, so entfallen die Betragsstriche. Damit lässt sich das kgV berechnen, falls der ggT z. B. mit dem euklidischen Algorithmus bereits bestimmt wurde. (Umgekehrt kann man mit dieser Formel auch den ggT aus dem kgV berechnen.) Am einfachsten ist es meist, nach der Bestimmung des ggT eine der beiden Zahlen durch den ggT zu teilen und mit der anderen Zahl zu multiplizieren. Der Betrag des Ergebnisses ist das gesuchte kgV. Also gilt:
    $\operatorname {kgV} (m,n)=|m\cdot n|:\operatorname {ggT} (m,n)=|(m:\operatorname {ggT} (m,n))\cdot n|$
Beispiel: Der ggT von 18 und 24 ist 6. Zur Berechnung des ggT mittels euklidischem Algorithmus siehe den Artikel zum ggT. Das kgV ist folglich (da beide Zahlen positiv sind, entfällt der Betrag)
    $(18:6)\cdot 24=3\cdot 24=72$.
Die Gleichung zu Beginn des Abschnitts ist übrigens leicht zu beweisen:
Nachweis für positive ganze Zahlen m und n, alle anderen Fälle lassen sich analog behandeln. Ist $k=\operatorname {kgV} (m,n)$, dann ist $k$ auch Teiler des Produkts $m\cdot n$. Die Zahl $g$ enthalte dagegen alle Primfaktoren des Produkts $m\cdot n$, die $k$ nicht enthält. Betrachtet man, wie der $\operatorname {ggT} (m,n)$ aus der Primfaktordarstellung des Produkts aus $m$ und $n$ berechnet wird, dann folgt $g=\operatorname {ggT} (m,n)$. Daraus ergibt sich die obige Gleichung.

## Das kgV von mehreren Zahlen

Man verwendet alle Primfaktoren, die in mindestens einer der Zahlen vorkommen, mit der jeweils höchsten vorkommenden Potenz, zum Beispiel:
    $144=2^{\color {Red}4}\cdot 3^{\color {Red}2}$
    $160=2^{\color {OliveGreen}5}\cdot 5^{\color {OliveGreen}1}$
    $175=5^{\color {Blue}2}\cdot 7^{\color {Blue}1},$
also:
    $\operatorname {kgV} (144,160,175)=2^{\color {OliveGreen}5}\cdot 3^{\color {Red}2}\cdot 5^{\color {Blue}2}\cdot 7^{\color {Blue}1}=50.400.$
Man könnte auch zunächst $\operatorname {kgV} (144,160)=1440$ berechnen und danach $\operatorname {kgV} (1440,175)=50.400,$ denn als eine zweistellige Verknüpfung auf den ganzen Zahlen ist das kgV assoziativ:
    $\operatorname {kgV} (m,\operatorname {kgV} (n,p))=\operatorname {kgV} (\operatorname {kgV} (m,n),\,p).$
Dies rechtfertigt die Schreibweise $\operatorname {kgV} (m,n,p)$.

## Anwendungen
### Bruchrechnung

Angenommen, man möchte die Brüche ${\tfrac {17}{21}}$ und ${\tfrac {44}{35}}$ addieren. Dazu müssen diese durch Erweitern auf einen gemeinsamen Nenner gebracht werden. Man könnte $21$ mit $35$ multiplizieren, was $735$ ergibt. Der kleinstmögliche gemeinsame Nenner (der sog. Hauptnenner) ist aber $\operatorname {kgV} (21,35)=105$. Die beiden Brüche werden auf diesen Nenner erweitert und dann addiert. Das Ergebnis wird gekürzt:
    ${\frac {17}{21}}+{\frac {44}{35}}={\frac {{\color {Red}5}\cdot 17}{{\color {Red}5}\cdot 21}}+{\frac {{\color {Red}3}\cdot 44}{{\color {Red}3}\cdot 35}}={\frac {85}{105}}+{\frac {132}{105}}={\frac {217}{105}}={\frac {31}{15}}$

## Das kgV in Ringen

Analog zum ggT ist das kgV in Ringen definiert: Ein Ringelement $v$ heißt kleinstes gemeinsames Vielfaches zweier Ringelemente $a$ und $b$, wenn $v$ ein gemeinsames Vielfaches von $a$ und $b$ ist und seinerseits jedes andere gemeinsame Vielfache von $a$ und $b$ ein Vielfaches von $v$ ist.
Formal schreibt man diese Definition für einen Ring $R$ so:
    $v=\operatorname {kgV} (a,b)\quad :\Longleftrightarrow \quad a\mid v,\;b\mid v,\;\forall e\in R:(a\mid e,\,b\mid e)\Rightarrow v\mid e$
Diese allgemeinere Definition lässt sich auf mehrere Zahlen ausweiten (sogar auf unendlich viele).

### Beispiele
#### Das kgV von Polynomen

Das kgV lässt sich nicht nur für natürliche (und ganze) Zahlen definieren. Man kann es z. B. auch für Polynome bilden. Statt der Primfaktorzerlegung nimmt man hier die Zerlegung in irreduzible Faktoren:
    ${\begin{aligned}f(x)&=x^{2}+2xy+y^{2}=(x+y)^{2}\\g(x)&=x^{2}-y^{2}=(x+y)(x-y)\end{aligned}}$
Dann ist
    $\operatorname {kgV} (f,g)=(x+y)^{2}(x-y)$.
Die Division mit Rest, die auch für Polynome existiert, erleichtert das Auffinden von gemeinsamen Teilern.

#### Gaußscher Zahlenring

Im gaußschen Zahlenring $\mathbb {Z} +\mathrm {i} \mathbb {Z}$ ist der größte gemeinsame Teiler von $2$ und $1+3\mathrm {i}$ gerade $1+\mathrm {i}$, denn $2=-\mathrm {i} (1+\mathrm {i} )^{2}$ und $1+3\mathrm {i} =(1+\mathrm {i} )(2+\mathrm {i} )$. Genau genommen ist $1+\mathrm {i}$ ein größter gemeinsamer Teiler, da alle zu dieser Zahl assoziierten Zahlen ebenfalls größte gemeinsame Teiler sind.
Nicht in jedem Ring existiert für zwei Elemente ein ggT oder ein kgV. Wenn sie einen ggT haben, können sie mehrere ggT haben. Ist der Ring ein Integritätsring, dann sind alle ggT zueinander assoziiert, in Zeichen $\sim$.
Ist $R$ ein Integritätsring und haben die Elemente $a$ und $b$ ein kgV, dann haben sie auch einen ggT, und es gilt die Gleichung
    $a\cdot b\sim \operatorname {ggT} (a,b)\cdot \operatorname {kgV} (a,b)$
Ist jedoch nur bekannt, dass ein ggT von $a$ und $b$ existiert, dann muss nicht unbedingt auch ein kgV existieren.

##### Integritätsring

Im Integritätsring $R=\mathbb {Z} [{\sqrt {-3}}]$ haben die Elemente
    $a:=4=2\cdot 2=(1+{\sqrt {-3}})(1-{\sqrt {-3}}),\quad b:=(1+{\sqrt {-3}})\cdot 2$
keinen ggT: Die Elemente $1+{\sqrt {-3}}$ und $2$ sind zwei maximale gemeinsame Teiler, denn beide haben den gleichen Betrag. Jedoch sind diese zwei Elemente nicht zueinander assoziiert, also gibt es keinen ggT von $a$ und $b$.
Die genannten Elemente $1+{\sqrt {-3}}$ und $2$ haben aber ihrerseits einen ggT, nämlich $1$. Dagegen haben sie kein kgV, denn wenn $v$ ein kgV wäre, dann folgt aus der „ggT-kgV-Gleichung“, dass $v$ assoziiert zu $k:=(1+{\sqrt {-3}})\cdot 2$ sein muss. Das gemeinsame Vielfache $4$ ist jedoch kein Vielfaches von $k$, also ist $k$ kein kgV und die beiden Elemente haben gar kein kgV.

### Bemerkungen

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 einem faktoriellen Ring haben je zwei Elemente einen ggT.
In einem euklidischen Ring lässt sich der ggT zweier Elemente mit dem euklidischen Algorithmus bestimmen.