0 Daumen
229 Aufrufe

Aufgabe:

Millimeterarbeit
Zu je zwei teilerfremden Zahlen \( n, m \in \mathbb{Z} \backslash\{0\} \) existieren Koeffizienten \( x, y \in \mathbb{Z} \), für die gilt:
\( x m+y n=1 \)
Bitte merken Sie sich diese Aussage, selbst wenn Sie die Aufgabe nicht bearbeiten. Sie wird Ihnen noch nützlich sein.
Beweisen Sie die Aussage wie folgt:
Schritt 1: Es gibt eine Abbildung \( \mathbb{Z} / n \mathbb{Z} \times \mathbb{Z} / m \mathbb{Z} \rightarrow \mathbb{Z} /(n m) \mathbb{Z} \), die \( ([x],[y]) \) auf \( [x m+y n] \) abbildet. Schritt 2: Diese Abbildung ist ein Gruppenhomomorphismus.
Schritt 3: Sie ist für teilerfremde \( m, n \) injektiv.
Schritt 4: Sie definiert für teilerfremde \( m, n \) sogar einen Gruppenisomorphismus.
Wieso folgt nun die Behauptung? Wie können die Koeffizienten \( x \) und \( y \) zum Beispiel für \( n=13 \) und \( m=17 \) gewählt werden?

Avatar von

1 Antwort

0 Daumen
Wieso folgt nun die Behauptung?

Die in Schritt 1 definierte Abbildung ist surjektiv. Also ist \([1]\) im Bild dieser Abbildung.

Das heißt es gibt \( a, b \in \mathbb{Z} \) und \(c\in\mathbb{Z}\) mit

        \( am + bn = 1 + mnc\).

Umformen dieser Gleichung ergibt

        \(am + (b-mc)n = 1\).

Avatar von 107 k 🚀

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community