Natürliche Zahlen/Eigenschaften der Multiplikation/Fakt

Es sei ${}(\mathbb {N} ,0,^{\prime })$ ein Dedekind-Peano-Modell der natürlichen Zahlen mit der in Definition festgelegten Multiplikation.

Dann gelten folgende Aussagen.

1. Es gilt

   ${}0\cdot n=0=n\cdot 0\,$

   für alle ${}n$,

2. Es gilt

   ${}1\cdot n=n=n\cdot 1\,$

   für alle ${}n$, d.h.  ${}1=0^{\prime }$  ist das neutrale Element für die Multiplikation.

3. Es ist

   ${}n\cdot k'=n\cdot k+n=k'\cdot n\,$

   für alle  ${}n,k\in \mathbb {N}$. 

4. Die Multiplikation ist kommutativ.
5. Die Multiplikation ist assoziativ.
6. Aus einer Gleichung  ${}n\cdot k=m\cdot k$  mit  ${}k\neq 0$  folgt  ${}n=m$  (Kürzungsregel).
7. Für beliebige  ${}k,m,n\in \mathbb {N}$  gilt

   ${}k\cdot (m+n)=k\cdot m+k\cdot n\,$

   (Distributivgesetz).

Einen Beweis erstellen