Natürliche Zahlen/Eigenschaften der Multiplikation/Fakt/Beweis/Aufgabe

Aus Wikiversity

Es sei ein Dedekind-Peano-Modell der natürlichen Zahlen mit der in Definition festgelegten Multiplikation. Zeige die folgenden Aussagen.

  1. für alle .
  2. für alle , d.h. ist das neutrale Element für die Multiplikation.

  3. für alle .

  4. Die Multiplikation ist kommutativ.
  5. Die Multiplikation ist assoziativ.
  6. Aus einer Gleichung mit folgt (Kürzungsregel).
  7. Für beliebige gilt

    (Distributivgesetz).