The arithmetic of polynomial maps over a group and the structure of certain permutational polynomial groups. I