Teilerfremdheit

In der Mathematik werden zwei natürliche Zahlen a und b als teilerfremd (oder relativ prim) bezeichnet, wenn in beider Primfaktorzerlegung kein gemeinsamer Faktor vorkommt.

Zum Nachweis der Teilerfremdheit berechnet man gewöhnlich ihren größten gemeinsamen Teiler (ggT); zwei Zahlen a und b sind dann teilerfremd, wenn ihr ggT(a, b) = 1 ist. Es gibt also keine natürliche Zahl außer 1, die sowohl a, also auch b teilt. Dies bedeutet auch, dass die zwei Zahlen keinen gemeinsamen Primfaktor besitzen.

Eine Menge von natürlichen Zahlen bezeichnet man als paarweise teilerfremd, wenn je zwei beliebige Elemente der Menge zueinander teilerfremd sind, und als teilerfremd, wenn es keinen Primfaktor gibt, den sämtliche Elemente der Menge gemein haben. Eine Menge, die paarweise teilerfremd ist, ist auch teilerfremd. Die umgekehrte Schlussrichtung ist im Allgemeinen falsch, denn beispielsweise ist die Menge {10,15,21} teilerfremd, aber nicht paarweise teilerfremd.

Beispiele

Offensichtlich sind zwei unterschiedliche Primzahlen immer teilerfremd. Andere Beispiele teilerfremder Zahlen sind zwei Zahlen, deren Differenz 1 ist, oder zwei ungerade Zahlen, deren Differenz 2 ist.

Teilerfremdheit kommt, häufig als Bedingung, in vielen zahlentheoretischen Problemen vor. Zum Beispiel ist eine Voraussetzung für den Chinesischen Restsatz, dass die Moduln teilerfremd sind. Die Eulersche φ-Funktion ordnet jeder natürlichen Zahl n die Anzahl der zu n teilerfremden Zahlen, die kleiner als n sind, zu.

Eigenschaften

Teilerfremdheit ist eine Relation \mbox{Teilerfremdheit} = \left\{ \left(a,b\right)\in\mathbb{N}\times\mathbb{N}\ \vert\ \neg \exists t \in \mathbb{N} \setminus \left\{ 1 \right\} :\ {a \over t} \in \mathbb{N} \and {b \over t} \in \mathbb{N} \right\}\ \subseteq \mathbb{N}\times\mathbb{N}.

Diese Relation ist nicht transitiv, denn beispielsweise sind 2 und 3 teilerfremd sowie 3 und 4, aber nicht 2 und 4.

See also: Teilerfremdheit, Chinesischer Restsatz, Eulersche φ-Funktion, Größter gemeinsamer Teiler, Kongruenz (Zahlentheorie), Mathematik, Natürliche Zahlen, Primfaktorzerlegung, Primzahl, Relation (Mengentheorie)