\def{integer n=randint(5..8)}
<div class="exemple"><span class="exemple">Exemple</span>
 : Prenons \(n = \n) : 
<table align="center" border=1>
\for{a=0 to  \n-1}{
\def{text b=pari(c=gcd(\a,\n); u=if(c==1, lift(Mod(\a,\n)^(-1)), "pas d'inverse");print(u))
}
<tr><td>a=\a </td><td> \if{pas isin \b}{\b} {\(\a \times\b \equiv 1 \bmod \n)}</td></tr>
}
</table>
</div>

Lorsque \(a) n'a pas d'inverse, on voit qu'il est alors <span class="defn"> diviseur de zro</span>, c'est--dire que 
<center> \(a\times b\equiv 0 \bmod n) pour un entier \(b). 
</center>

\def{integer n=randint(3..7)*randint(2..6)}
<div class="exemple"><span class="exemple">Exemple : </span> 
Pour \(n = \n)
<table align="center" border=1>
\def{integer n1=\n%2=1?floor(\n/2):\n/2-1}
\for{a=0 to  \n1}{
\def{integer a2=\a+\n1+1}
\def{text b=pari(c=gcd(\a,\n); u1=if(c==1, lift(Mod(\a,\n)^(-1)),\n/c); 
c=gcd(\a2,\n); u2=if(c==1, lift(Mod(\a2,\n)^(-1)),\n/c); 
[u1,u2])}
\def{text b1=item(1,\b)}
\def{text b2=item(2,\b)}
 \if{gcd(\a,\n)>1}{<tr bgcolor="red"><td>a=\a </td><td>\(\a \times \b1 \equiv 0 \bmod \n) </td><td>a=\a2 </td><td>\(\a2 \times\b2 \equiv 0 \bmod \n) 
 }{<tr><td>a=\a </td><td>\(\a \times\b1 \equiv 1 \bmod \n)</td>\if{\a2<\n}{<td>a=\a2 </td><td>\(\a2\times\b2 \equiv 1 \bmod \n)
 }}</td></tr>
}
</table>
</div>