Dedekind-Peano-Modell/Isomorphismus/Multiplikation/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien und Dedekind-Peano-Modelle der natürlichen Zahlen. Es sei

der eindeutig bestimmte Isomorphismus mit und für alle . Zeige, dass die Multiplikation respektiert, dass also

für alle gilt.