Proof

(related to Proposition: Algebraic Structure of Integers Together with Addition)

The set of integers \(\mathbb Z\), together with the specific addition operation "\(+\)" is a commutative group, because:

  1. The addition operation is associative, i.e. \((x+y)+z=x+(y+z)\) is valid for all \(x,y,z\in\mathbb Z\).
  2. We have shown the existence of a neutral element of addition - the number \(0\in\mathbb Z\), i.e. such that \(0+x=x\) for all \(x\in\mathbb Z\).
  3. For every \(x\in\mathbb Z\), there there exists an inverse integer \(-x\in\mathbb Z\), such that \(x+(-x)=0\).
  4. For every \(x\in\mathbb Z\), there there exists an inverse integer \(-x\in\mathbb Z\), such that \(x+(-x)=0\).

Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Kramer Jürg, von Pippich, Anna-Maria: "Von den natürlichen Zahlen zu den Quaternionen", Springer-Spektrum, 2013