OK, am gasit o abordare in materie de teoria grupurilor pentru acea suma, care ar putea facilita si rezolvarea problemei a doua:
Daca G este un grup ciclic de ordin n, atunci
inseamna gen(G). Deci
si cum un element este generator daca ordinul sau e prim cu n, obtinem identitatea de demonstrat. Aceasta ar fi oarecum o reciproca a problemei propuse, adica daca un grup e ciclic, atunci pentru fiecare divizor al ordinului sau, are exact un subgrup de acel ordin.
Astept si alte abordari, atat pentru prima problema (daca se poate, una mai aritmetica
), cat si pentru a doua.
Multumesc.