Everyone knows the rules of zero divisors like $$\forall \alpha,\beta\in\mathbb{R}\;:\;\alpha\cdot\beta = 0\Rightarrow\alpha=0\vee \beta=0.$$ But how can I prove it for $\mathbb{Z}$? My first try was this one: For $\alpha\cdot \beta=0$ and $\alpha\neq 0$ let $$0=\alpha^{-1}\cdot 0=\alpha^{-1}\cdot (\alpha\cdot\beta)=(\alpha^{-1}\cdot \alpha)\cdot\beta = \beta = 0\Rightarrow \beta = 0;$$ and the same for $\beta\neq 0\Rightarrow \alpha=0$, however i realized that the multiplicative inverse of a number $\alpha\in\mathbb{Z}$ is not defined in $\mathbb{Z}$ (because $(\mathbb{Z},\cdot)$ is not a multiplicative group). What now?
Furthermore the information: it's about basic multiplication and I should prove this via the basic "rules" neutrality of 0 and 1, comparability of 0 and 1, commutativity, associativity, distributivity, irreflexivity or transitivity. Group-theory should not be mentioned in the solution as out instructors don't want us to use these "advanced techniques"!
The rules (to use some from) are the following: $\forall a,b,c\in\mathbb{Z}:$
- $a+0=a,\;\;\;\; a\cdot 1=a$
- $0<1$
- $1+(-1)=0,\;\;\;\; 0-a=(-1)\cdot a$
- $a+b=a+c \Rightarrow b=c$
- $a\cdot b=a\cdot c,a\neq 0\Rightarrow b=c$
- $0 < a \Rightarrow a\neq 0$
- $a<b\wedge b<c\Rightarrow a<c$
- $a<b\rightarrow a+c<b+c$
- $a<b\wedge 0<c\Rightarrow a\cdot c<b\cdot c$
- $a<b\wedge c < 0\Rightarrow b\cdot c < a\cdot c$
The rules you provide are incorrect: your fifth "rule" currently reads: $$a\cdot b = a\cdot c \Rightarrow b=c.$$ This is not a valid rule of multiplication in $\mathbb{Z}$: after all, $0\cdot 1 = 0\cdot 0$, but we do not have $1=0$.
The correct cancellation rule is: $$\Bigl(a\cdot b = a\cdot c \land a\neq 0\Bigr) \Rightarrow b=c.$$
But this is equivalent to the fact that there are no zero divisors.
Theorem. Let $R$ be a ring. Then the following are equivalent:
Proof. $(1)\Rightarrow (2)$: Let $x$ and $y$ be such that $xy=0$ and $x\neq 0$. Then $xy=0 = x0$, so by (1) (with $a=x$, $b=y$, $c=0$) we conclude $y=0$.
$(2)\Rightarrow (1)$: Let $a,b,c\in R$ be such that $a\neq 0$ and $ab=ac$. Then $ab-ac = 0$, so $a(b-c)=0$. Since $a\neq 0$, then by (2) (with $x=a$ and $y=b-c$) we conclude that $b-c=0$, hence $b=c$. QED