Sur le groupe des classes des extensions abéliennes réelles
Nous donnons une démonstration du fait que le groupe des classes d’un schéma irréductible de type fini sur est de type fini. Cette preuve ne repose pas sur le théorème de Mordell-Weil-Néron, mais plutôt sur le théorème de Mordell-Weil classique, le théorème de Néron-Severi et les théorèmes de Hironaka et de Jong sur la résolution des singularités. Nous en déduisons quelques corollaires, parmi lesquels le théorème de Mordell-Weil-Néron lui-même.
Nous déterminons sous certaines hypothèses, un système fondamental d’unités du corps non pur et de son sous-corps quadratique, où est solution du polynômeavec , , , , , non nuls.