Über den letzten Fermatschen Satz für \(n = 5\). (Q1486076)

In the first part of this article the author proves that the ring \(\mathbb Z[\zeta]\) of fifth roots of unity is Euclidean with respect to the norm. In the second part he shows that its unit group is generated by \(\zeta\) and \(\frac{1+\sqrt{5}}2\). As an application, he shows that equations of the form \(\alpha^5 + \beta^5 = \eta \gamma^5\) for units \(\eta \in \mathbb Z[\zeta]\) do not have nontrivial solutions in \(\mathbb Z[\zeta]\). The method is the well known infinite descent already employed by Kummer in the general case.