Polynomfunktionen auf primen Restklassen (Q1167214)

Es wird die Menge \(P_1(E_m)\) aller Abbildungen der Gruppe \(E_m\) der primen Restklassen modulo \(m\) in sich \((m\) natürliche Zahl) betrachtet, die durch ein ganzzahliges Polynom \(f(x)\) induziert werden. \(P_1(E_m)\) bildet bezüglich der Multiplikation von Funktionen eine Gruppe, bezüglich der Zusammensetzung von Funktionen ein Monoid, und die Permutationen von \(P_1(E_m)\) bilden bezüglich der Zusammensetzung eine Gruppe \(GP_1(E_m)\). Es wird die Struktur von \(P_1(E_m)\) und von \(GP_1(E_m)\) untersucht. Es zeigt sich, daß \(P_1(E_m)\) und \(GP_1(E_m)\) für \(m = ab\) mit \((a,b) =1\) das direkte Produkt der entsprechenden Strukturen für \(m=a\) und \(m=b\) ist. Ist \(m\) aber eine Primzahlpotenz \(p^e\), dann ist \(P_1(E_m)\) bezüglich der Multiplikation das direkte Produkt von \((p - 1)\) Exemplaren der Einheitengruppe des Ringes aller Polynomfunktionen auf dem Restklassenring modulo \(p^e\), die durch ein ganzzahliges Polynom der Gestalt \(f(px)\) induziert werden; bezüglich der Komposition ist \(P_1(E_m)\) isomorph zum Kranzprodukt der Halbgruppe aller Polynomfunktionen auf dem Restklassenring modulo \(p^{e-1}\) die durch ein Polynom \(\sum c_jp^{j-1}x^j\) induziert werden, mit der symmetrischen Halbgruppe auf dem primen Restklassenring modulo \(p\), und ein analoges Resultat gilt für \(GP_1(E_m)\).