Vermoedelijk wordt bedoeld dat die groep die (abelse) groep is van de gehele getallen, met optellen als "samenstelling".
Als T die inverteerbare transformatie op P is, dan zou je kunnen definieren:
\( F_T(z,p)=T(T(...T(p) \)
(z keer itereren)
\( F_T(0,p) \)
speelt dan de rol van eenheidselement
\( F_T(z,p) \)
heeft dan inverse
\( F_T(-z,p) \)
\( F_T(z_2,p) \)
na
\( F_T(z_1,p) = F_T(z_1+z_2,p) \)
als "samenstelling"
Wat je precies moet aantonen (associativiteit, uniekheid van eenheidselement en inverse, ...), weet ik niet precies en laat ik over aan forumleden die echte wiskundigen zijn.