A numerical function applied to cyclotomy. (Q1830682)

From MaRDI portal





scientific article; zbMATH DE number 2566548
Language Label Description Also known as
default for all languages
No label defined
    English
    A numerical function applied to cyclotomy.
    scientific article; zbMATH DE number 2566548

      Statements

      A numerical function applied to cyclotomy. (English)
      0 references
      0 references
      1930
      0 references
      Die zahlentheoretische Funktion \(\varphi_2(n)\) ist für die ganze Zahl \(n\), deren Primzahlzerlegung durch \[ n = \prod_{i=1}^t p_i^{\alpha_i} \] gegeben ist, definiert durch \[ \varphi_2(n)=\prod_{i=1}^t p_i^{\alpha_i-1}(p_i-2) \] (\textit{Schemmel}; J. f. M. 70 (1869) und \textit{D. N. Lehmer}; Transactions A. M. S. 31 (1929), 529-551; F. d. M. \(55_{\text{II}}\), 688-700). Die summatorische Funktion von \(\varphi_2(n)\) ist die \textit{Euler}sche Funktion \(\varphi(n)\). Verf. beweist folgenden Satz: Es sei \(n\) eine quadratfreie Zahl, \(\varDelta\) ein Teiler von \(n\); \(\lambda_k\) durchlaufe ein reduziertes Restsystem von \(n\) aus der Reihe der Zahlen \(1,2,\ldots,n\); \(\lambda\) sei eine beliebige zu \(n\) teilerfremde Zahl. Dann ist \(\varphi_2\left(\dfrac n \varDelta\right)\) die Anzahl der zu \(\dfrac n \varDelta\) teilerfremden Vielfachen von \(\varDelta\), die in der Reihe \(R\) der Zahlen \(\lambda + \lambda_k\) auftreten. Mit Hilfe dieses Satzes kann Verf. die Diskriminante \(D_n\) der \(n\)-ten Kreisteilungsfunktion \(F_n(x)\) (\textit{Rados}; J. f. M. 131 (1906), 49-55; F. d. M. 37, 106 (JFM 37.0106.*)) berechnen, da in den einzelnen Faktoren von \(D_n\) Glieder auftreten, in deren Exponenten die Zahlen aus der Reihe \(R\) vorkommen. (Druckfehler im Beweis Seite 295, Zeile 11.) Da für beliebige \(n\) die Beziehung \[ F_n(x) = F_{n_0}(x^m) \] besteht, wo \(n=n_0\cdot m\) und \(n_0\) der größte quadratfreie Faktor von \(n\) ist, läßt sich \(D_n\) für beliebige \(n\) berechnen. In ahnlicher Weise folgt die Berechnung der Resultante \(R_{n,m}\) von \(F_n(x)\) und \(F_m(x)\).
      0 references

      Identifiers