Die \textit{Kummer}sche Zerfällung der Kreisteilungsresolvente. (Q1498333): Difference between revisions

Bedeutet \(\lambda\) eine ungerade Primzahl, \(\alpha\) eine imaginäre \(\lambda\)-te Einheitswurzel und \(p\) eine nach dem Modul \(\lambda\) zum Exponenten \(t\) gehörende Primzahl, \({\mathfrak p} (\alpha)\) einen Primfaktor von \(p\) in dem Körper der \(\lambda\)-ten Einheitswurzeln, dann gibt es stets eine primitive Kongruenzwurzel \(g\) von \({\mathfrak p}(\alpha)\), für welche \[ g^{\frac 1\lambda (p^t -1)} \equiv \alpha (\text{mod.}\,{\mathfrak p} \alpha). \] Indem zunächst \(t=1\) vorausgesetzt wird, sei \[ L(\alpha)=\varSigma \alpha^{-{\text{ind}} s} \cdot r^s \qquad (s=1,2,\dots, p-1), \] wo \(r\) eine primitive \(p\)-te Einheitswurzel bezeichnet und das Zeichen ind\,\(s\) auf \(g\) zu beziehen ist. Während \textit{Kummer} die in \(\alpha\) ganze Zahl \(L(\alpha)^\lambda\) mittels der \textit{Jacobi}schen Ausdrücke \(\psi_i(\alpha)\) in Faktoren zerlegt hat, führt \textit{Mertens} diese Zerfällung an \(L(\alpha)^\lambda\) selbst durch. Ebenso wird die für \(t>1\) gebildete verallgemeinerte Zahl \(L(\alpha)^\lambda\) als Produkt dargestellt. Schließlich leitet \textit{Mertens} direkt aus dem Ausdrucke \(L(\alpha)^\lambda\) [nicht wie \textit{Kummer} mittels \(\psi_i (\alpha)\)] den Wert des verallgemeinerten \textit{Legendre}schen Zeichens \(\left(\frac{E_n}{{\mathfrak p}} \right)\) für die Kreisteilungseinheit \[ E_n= \varPi e(\alpha^{\gamma_h})^{\gamma -2nh} \qquad (h=0, 1, \dots, \tfrac 12 (\lambda-1)-1) \] ab. \(\gamma\) bezeichnet hier eine primitive Kongruenzwurzel von \(\lambda, \gamma_h\) den Rest der Potenz \(\gamma_h\) in bezug auf \(\lambda\) und \(e(\alpha)\) die Einheit: \[ e(\alpha)=\alpha^{(\gamma-1) \cdot \left( \frac{\lambda-1}2 \right)} \cdot \frac{1-\alpha^\gamma}{1-\alpha}\,. \]