Über die Fermatsche Vermutung. IV, V. (Q1829621)

Im reellen Unterkörper \(k_0\) des \(l\)-ten Kreisteilungskörpers \(k\) ist \[ x^l+y^l+z^{l^n}=0 \] mit \((x, y) =1\), \(l|z\) für \(n \geqq 3 t + 2\) unlösbar, wenn die Klassenzahl von \(k_0\) nicht durch \(l\) und die von \(k\) gerade durch \(l^t\) teilbar ist. \[ x^l+y^l+\varepsilon z^{l^n} = 0 \] (\(\varepsilon\) Einheit und \((x, y, z, l) = 1\)) ist allgemein in \(k_0\) unlösbar, wenn \(n\geqq \dfrac{l-3}{2}+t\) und für \((x y z, l) = 1\) sogar in \(k\), wenn \(n\geqq \max \biggl(\dfrac{l-3}{2}, t\biggr)\) ist.