Proof. (\mathbb{Z}, +) is a group: we have seen that here
\times is associative: so we need to check multiplication “\times” is associative. So let a,b,c \in \mathbb{Z}. Then (a \times b) \times c = a \times b \times c = a \times (b \times c).
Distributive laws hold in \mathbb{Z}: let a,b,c \in \mathbb{Z}. Then
\begin{align*} (a+b)\times c = a \times c + b \times c = (a \times c) + (b \times c) \end{align*}
\begin{align*} a \times (b + c) = a \times b + a \times c = (a \times b) + (a \times c) \end{align*}