Ganze Zahlen/Rechengesetze/Textabschnitt

Die Addition auf ${}\mathbb {Z}$ erfüllt die folgenden Eigenschaften.

1. Es ist

   ${}(a+b)+c=a+(b+c)\,$

   für beliebige (alle) Zahlen ${}a,b,c\in \mathbb {Z}$, d.h. die Addition ist assoziativ.

2. Es ist

   ${}a+b=b+a\,$

   für beliebige Zahlen ${}a,b\in \mathbb {Z}$, d.h. die Addition ist kommutativ.

3. Es gilt

   ${}a+0=a\,$

   für jedes ${}a\in \mathbb {Z}$ (man sagt, dass ${}0$ das neutrale Element der Addition ist).

4. Zu jedem ${}a\in \mathbb {Z}$ besitzt ${}-a$ die Eigenschaft

   ${}a+(-a)=0\,$

   (man sagt, dass ${}-a$ das negative Element zu ${}a$ ist).

Die Multiplikation auf ${}\mathbb {Z}$ erfüllt die folgenden Eigenschaften.

1. Es ist

   ${}(a\cdot b)\cdot c=a\cdot (b\cdot c)\,$

   für beliebige (alle) Zahlen ${}a,b,c\in \mathbb {Z}$, d.h. die Multiplikation ist assoziativ.

2. Es ist

   ${}a\cdot b=b\cdot a\,$

   für beliebige Zahlen ${}a,b\in \mathbb {Z}$, d.h. die Multiplikation ist kommutativ.

3. Es gilt

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

   für jedes ${}a\in \mathbb {Z}$ (man sagt, dass ${}1$ das neutrale Element der Multiplikation ist).

Man spricht auch vom Assoziativgesetz der Addition u.s.w.. Addition und Multiplikation sind durch das sogenannte Distributivgesetz miteinander verbunden. Dieses besagt

${}a\cdot (b+c)={\left(a\cdot b\right)}+{\left(a\cdot c\right)}\,$

für alle ${}a,b,c\in \mathbb {Z}$.

Wir erinnern an einige weitere Begriffe. Man sagt, dass eine ganze Zahl ${}a$ eine ganze Zahl ${}b$ teilt (oder dass ${}a$ ein Teiler von ${}b$ ist oder dass ${}b$ ein Vielfaches von ${}a$ ist), wenn es eine weitere ganze Zahl ${}c$ mit ${}b=ac$ gibt. Beispielsweise ist ${}3$ ein Teiler von ${}15$, aber ${}2$ ist kein Teiler von ${}15$. Eine gerade Zahl ist eine ganze Zahl, die ein Vielfaches von ${}2$ ist, eine ungerade Zahl ist eine ganze Zahl, die kein Vielfaches von ${}2$ ist. Wenn ${}a$ ein Teiler von ${}b$ ist, so verwenden wir die Bezeichnung ${}{\frac {b}{a}}$ für diejenige (eindeutig bestimmte) ganze Zahl ${}c$, für die die Gleichheit ${}b=ac$ gilt.

Auf den ganzen Zahlen ist auch die Größer/Gleich-Beziehung (oder Ordnungsbeziehung) definiert. Man schreibt ${}a\geq b$, wenn ${}a$ mindestens so groß wie ${}b$ ist. Eine ganze Zahl ${}a$ ist genau dann eine natürliche Zahl, wenn ${}a\geq 0$ ist. Die Beziehung ${}a\geq b$ gilt genau dann, wenn es eine natürliche Zahl ${}c$ mit ${}a=b+c$ gibt. Für die Ordnungsbeziehung gelten die folgenden Regeln, und zwar für beliebige ganze Zahlen ${}a,b,c\in \mathbb {Z}$:

1. Es ist ${}a\geq a$ (dies nennt man die Reflexivität der Ordnung).
2. Aus ${}a\geq b$ und ${}b\geq c$ folgt ${}a\geq c$ (dies nennt man die Transitivität der Ordnung).
3. Aus ${}a\geq b$ und ${}b\geq a$ folgt ${}a=b$ (dies nennt man die Antisymmetrie der Ordnung).
4. Aus ${}a\geq b$ folgt ${}a+c\geq b+c$ (dies nennt man die Additivität der Ordnung).
5. Aus ${}a\geq b$ und ${}c\in \mathbb {N}$ folgt ${}c\cdot a=c\cdot b$ (dies nennt man die Multiplikativität der Ordnung).
6. Aus ${}a\geq b$ und ${}c\in \mathbb {Z} _{-}$ (also ${}c$ negativ) folgt ${}c\cdot a\leq c\cdot b$.

Bei der Multiplikation mit einer negativen Zahl dreht sich also die Ordnungsbeziehung um.