En el caso de que "n" sea primo, como por ejemplo ℤ/(7)ℤ* serían coprimos todos los menores a 7: {1, 2, 3, 4, 5, 6} es por lo que este grupo tendrá un cardinal "n" - 1; Card [ℤ/(7)ℤ*] = 7 - 1 = 6.