Paper detail

Équation de Fermat et nombres premiers inertes

Let $K$ be a number field and $p$ a prime number $\geq 5$. Let us denote by $μ_p$ the group of the $p$th roots of unity. We define $p$ to be $K$-regular if $p$ does not divide the class number of the field $K(μ_p)$. Under the assumption that $p$ is $K$-regular and inert in $K$, we establish the second case of Fermat's Last Theorem over $K$ for the exponent $p$. We use in the proof classical arguments, as well as Faltings' theorem stating that a curve of genus at least two over $K$ has a finite number of $K$-rational points. Moreover, if $K$ is an imaginary quadratic field, other than ${\bf Q}(\sqrt{-3})$, we deduce a statement which allows often in practice to prove Fermat's Last Theorem over $K$ for the $K$-regular exponents.