Note VI (annexe au \S\,172). Recherches sur le théorème de \textit{Fermat}, faites par \textit{Kummer} et divers auteurs, postérieurement à la démonstration de l'impossibilité en nombres entiers de l'équation \((1) x^l+y^l+z^l=0\), donnée pour les exposants \(l\) premiers réguliers. (Q1476421): Difference between revisions

Diese Noten schließen sich an die französische Übersetzung des \textit{Hilbert}schen Berichtes über die Theorie der algebraischen Zahlkörper an (vgl. F. d. M. 28, 157 (JFM 28.0157.*)-162, 1897; französisch von \textit{A. Lévy}, F. d. M. 41, 244 (JFM 41.0244.*), 1910; 43, 269, 1912). Referate über die einzelnen Noten würden ein Zurückgehen auf den \textit{Hilbert}schen Bericht notwendig machen. Wir beschränken uns daher auf die Wiedergabe der Titel und fügen für die umfangreiche letzte Note nur noch die Titel der Unterabteilungen hinzu. I. Étude du cas où \(xyz\) n'est pas divisible par \(l\). \S\,1. Étude d'un produit particulier d'idéaux conjugués. \S\,2. Le critérium de \textit{Kummer}. \S\,3. Impossibilité de l'équation (1) en nombres entiers \(x, y, z\) premiers à \(l\), quand \(l\) ne divise qu'un des \(\frac12(l-3)\) premiers nombres de \textit{Bernoulli}. \S\,4. Recherches récentes sur l'équation (1) dans le cas où \(xyz\) n'est pas divisible par \(l\). II. Étude du cas où \(xyz\) est divisible par \(l\). \S\,5-\S\,6. Définition et propriétés des logarithmes pour le module \(l^{n+1}\). \S\,7. Expression de l'indice de l'unité \(E_n(\zeta)\). \S\,8 Étude des idéaux dont la \(\text{l}^{\text{ième}}\) puissance est un idéal principal. \S\,9. Condition moyennant laquelle un nombre du corps \(c(\zeta+\zeta^{-1})\), multiplié par une unité convenable, est congru, \(\text{mod.} l\), à un entier rationnel. \S\,10. Propriétés des unités congrues, \(\text{mod.} l^n\), à un entier rationnel. \S\,11. Théorème sur l'impossibilité de l'équation (1), dans le cas de \(x, y\) ou \(z\) divisible par \(l\), lorsque \(l\) verifie les trois conditions du paragraphe 5.