(Q/Z,+) est en effet { Z+x / x£ Q inter [0.1[ }
soit G un sous groupe de Q/Z d'ordre n, alors qlq soit (Z+x) £G Z+nx=Z , il suffit de montrer que cardA<n+1 tel que A={ x£ Q inter [0.1[ / nx £ N}
il n'est pas difficile de voir que cardA= sum( d divise n / phi(d)) = n sauf erreur