Corps engendré par les points de 13-torsion des courbes elliptiques
On caractérise les puissances -ièmes dans un corps quadratique réel et dans à l’aide des polynômes de Dickson. Ces mêmes polynômes sont utilisés pour obtenir des renseignements sur l’indice du groupe des unités d’un ordre non-maximal dans le groupe de toutes les unités d’un corps quadratique réel. Le texte est détaillé et élémentaire.
Nous décrivons quatre tables de corps sextiques primitifs (une par signature). Les tables fournissent pour chaque corps, le discriminant, le groupe de Galois de la clôture galoisienne et un polynôme définissant le corps.
We explicit the link between the computer arithmetic problem of providing correctly rounded algebraic functions and some diophantine approximation issues. This allows to get bounds on the accuracy with which intermediate calculations must be performed to correctly round these functions.
We fill a gap in the proof of a theorem of our paper cited in the title.