Intersection d’unités

Bonjour,
Je voudrais savoir ce qu’est $\bigcap_v\mathcal O_v^\times$
Où $\mathcal O_v^\times$ est la sphère unité de $\overline{\mathbb Q}$ pour la place $v$ en incluant les valeurs absolues archimédiennes
Merci d’avance

Réponses

  • Il s'agit simplement de $\overline{\mathbb Z}^{\times} \cap \mathbb R^{+*}$.
  • Comme il y a le module ça veut dire que c’est $\{1\}$?
    Merci d’avance
  • Quel module ?
  • Le module complexe restreint à la clôture algébrique des rationnels
  • De mémoire, si $v$ est une place complexe alors $\mathcal O_v^{\times} = \mathbb C^{\times}$ et si $v$ est une place réelle, on a $\mathcal O_v^{\times} = \mathbb R^{+*}$ par convention.
  • Pardon je voulais dire pour les places archimédiennes je prenais la sphère unité pour la valeur absolue comme $\mathcal O_v^\times$
  • C'est extrêmement restrictif, et la réponse est alors évidente.
  • C’est $\{1,-1\}$ ?
  • Oui, puisque c'est déjà le cas pour une place réelle.
  • Non, c'est l'ensemble des racines de l'unité (il n'existe pas de plongement de $\overline{\mathbb{Q}}$ dans $\mathbb{R}$).
  • Effectivement, je n'y avais pas pensé !
  • Les racines rationnelles de l’unité ?
    Merci d’avance
Connectez-vous ou Inscrivez-vous pour répondre.