Functional Degrees And Arithmetic Applications, I: The Set Of Functional Degrees
We give a further development of the Aichinger-Moosbauer calculus of functional degrees of maps between commutative groups. For any fixed given commutative groups $A$ and $B$, we compute the largest possible finite functional degree that a map $f: A \longrightarrow B$ can have. We also determine the set of all possible degrees of such maps. This also yields a solution to Aichinger and Moosbauer's problem of finding the nilpotency index of the augmentation ideal of group rings of the form $Z_{p^β}[Z_{p^{α_1}}\times Z_{p^{α_2}}\times\dotsm\times Z_{p^{α_n}}]$ with $p,β,n,α_1,\dotsc,α_n\in\mathbb{Z}^+$, $p$ prime.
math.AC↗