Lecture zen
Addition sur \({
\mathbb Z}_{ax}\)
[ Corollaire ]
Il existe une application \[{ \mathbb Z}_{ax} \times { \mathbb Z}_{ax}
\rightarrow{ \mathbb Z}_{ax}\] et une seule telle que \[\overline{(a,b)} + \overline{(c,d)} =
\overline{(a+c, b+d)}.\]
En savoir plus