Si $F$ est un corps de nombres, on note ${𝔒}_F$ son anneau d’entiers ; si $E/F$ est une extension galoisienne finie de corps de nombres de groupe de Galois $G$, on appelle base normale de ${𝔒}_E$ sur ${𝔒}_F$ toute base de ${𝔒}_E$ en tant que ${𝔒}_F$-module de la forme ${\left\{a^g\right\}}_{g\in G}$ avec $a\in {𝔒}_E$. On démontre dans ce travail un critère d’existence de base normale d’entiers pour les extensions de Kummer de degré premier, qui permet une construction explicite en cas d’existence ; les principaux outils pour la démonstration sont une formule de Fröhlich pour...

Let K = Q(ζp) and let hp be its class number. Kummer showed that p divides hp if and only if p divides the numerator of some Bernoulli number. In this expository note we discuss the generalizations of this type of criterion to totally real fields and quadratic imaginary fields.

In a recent paper we proved that there are at most finitely many complex numbers $t\ne 0,1$ such that the points $(2,\sqrt{2(2-t)})$ and $(3,\sqrt{6(3-t)})$ are both torsion on the Legendre elliptic curve defined by $y^2=x(x-1)(x-t)$. In a sequel we gave a generalization to any two points with coordinates algebraic over the field $\mathbf{Q}\left(t\right)$ and even over $\mathbf{C}\left(t\right)$. Here we reconsider the special case $(u,\sqrt{u(u-1)(u-t)})$ and $(v,\sqrt{v(v-1)(v-t)})$ with complex numbers $u$ and $v$.