Generalizations of \textit{Euler}'s \(\varPhi\)-function, with applications to Abelian groups. (Q1479927)

Sind \(\mu\) irgendeine positive Zahl und \(m_1,m_2, \ldots, m_t\) \(t\) positive Vielfache von \(\mu\), so ist die Anzahl \(\varPhi _t(\mu)\) aller Möglichkeiten, \(t\) Zahlen \(h_1, h_2, \ldots, h_t\) \((h_i\leqq m_i, i=1,2, \ldots t)\) zu finden, für die \(xh_1, xh_2, \ldots, xh_t\) erst für \(x = \mu\) durch \(m_1, m_2, \ldots, m_t\) teilbar werden: \[ \varPhi_t(\mu)=\mu^t\biggl(1-\dfrac{1}{q_1^t}\biggr)\bigg(1-\dfrac{1}{q_2^t}\biggr)\ldots, \] wo \(q_1, q_2, \ldots \) die verschiedenen Primfaktoren von \(\mu\) sind. Somit ist \[ \varPhi_t(\mu\mu')=\varPhi _t(\mu) \varPhi _t(\mu'), \] falls \(\mu\) zu \(\mu'\) prim ist. Eine weitere Verallgemeinerung erhält der Verf., wenn er in der Definition von \(\varPhi_t(\mu)\) die Bedingung wegläßt, daß \(m_1, m_2, \ldots m_t\) Vielfache von \(\mu\) sind. Heißt die so definierte Funktion \(\psi(\mu; m_1, \ldots, m_t),\) so ist \[ \psi(\mu; m_1, \ldots, m_t)=\prod ^t_{i=1}\mu_i\prod^r_{j=1} \biggl(1-\dfrac{1}{q^{l j}_j}\biggr), \] wo \(q_1, q_2, \ldots \). die verschiedenen Primfaktoren von \(\mu, \mu_i\) der größte gemeinsame Teiler von \(\mu\) und \(\mu_i\) und \(l_j\) die Anzahl der \(m_i\), die \(q_j\) wenigstens zur selben Potenz wie \(\mu\) enthalten, bedeutet. Daraus ergibt sich das \textit{Zsigmondy}sche Theorem: Ist \[ g =g_1^{h_1}g_2^{h_2}\cdots g_t^{h_t}\qquad (0 \leqq h_i< m_i, \;i = 1, 2, \ldots, t) \] eine gegebene \textit{Abel}sche Gruppe, so ist \(\psi (\mu; m_1, m_2, \ldots, m_t)\) die Anzahl ihrer Elemente, die zum Exponenten \(\mu\) gehören.