1: \begin{abstract}

2: We consider maps between commutative groups and their functional degrees.

3: %$A$ and $B$. %with $A$ finitely generated,

4: These degrees are defined based on a simple idea -- the functional degree should

5: decrease if a discrete derivative is taken. We show that the maps

6: %$f:A\longrightarrow B$

7: of finite functional degree are precisely the maps that can be written as polyfracts, as

8: polynomials in several variables but with binomial functions in the place of powers.

9: Moreover, the degree of a

10: polyfract coincides with its functional degree. %, and this also holds for partial degrees.

11: We use this to determine the largest possible finite functional degree that the maps

12: between two given finite commutative groups can have. This also yields a solution to

13: Aichinger and Moosbauer's problem of finding the nilpotency degree of the

14: augmentation ideal of the group ring $\Z_{p^\b}[\Z_{p^{\ä_1}}\!\times\Z_{p^{\ä_2}}

15: \!\times\dotsm\times\Z_{p^{\ä_n}}]$. %($p$ prime).

16: Some generalizations and simplifications of proofs to underlying facts are presented,

17: too.

18: \end{abstract}