Dato una relazione di equivalenza, l’insieme quoziente è l’insieme delle classi di equivalenza.
Su $\mathbb{Z}$ mod 3, le classi sono $[0],[1],[2]$ e l’insieme quoziente è $\mathbb{Z}/3\mathbb{Z}$.
$\mathbb{Z}/3\mathbb{Z}$
$\mathbb{Z}/3$
Entrambe queste notazioni si riferiscono all’insieme quoziente della relazione di equivalenza modulo 3 su $\mathbb{Z}$