Eine Bemerkung zu den Kreisteilungspolynomen. (A remark on the cyclotomic polynomials) (Q584300)

Die Arbeit birgt vielleicht keine neuen Sätze, dafür aber schöne, methodenreine Beweise etwa des Satzes von Zsigmondy über die primitiven Teiler von \(x^ n-1\) oder von Witts Beweis des Satzes von Wedderburn (``jeder endliche Schiefkörper ist kommutativ''). Gerade in letzterem wurde fast immer die Einbettung von \({\mathbb{Q}}\) in \({\mathbb{C}}\) benutzt (Zerlegung des n-ten Kreisteilungspolynoms \(\Phi_ n(X)\) in Linearfaktoren), um die Abschätzung \(\Phi_ n(x)>x-1\) zu beweisen (x\(\in {\mathbb{R}}\), \(x>1)\). Verf. kann sich auf natürliches x beschränken, um diese Ungleichung - und den Satz - zu zeigen. Sehr gut gefallen hat mir überhaupt seine Definition von \(\Phi_ n(X)\) als ganzzahliges Polynom, die durch die übliche Definition als Produkt der Faktoren \((X^ d-1)^{\mu (n/d)}\) (d \(| n)\) ja nicht a priori gegeben ist.