Corps quadratique
dans Arithmétique
Bonsoir,
Je bloque sur l'énoncé d'un exo, que voici :
{\it Soit $K$ un corps de nombres quadratique. On note $p_{1},p_{2},....,p_{k}$ les nombres premiers de $\Z$ qui se ramifient dans $K$, et pour chacun d'eux, on note $\mathfrak{p}_{i}$ l'unique idéal premier de $\mathcal{O}_{K}$ qui divise $p_{i}$, de sorte que $p_{i}\mathcal{O}_{K}=\mathfrak{p}_{i}^{2}$.
On note $x\mapsto \overline{x}$ la conjugaison de $K$.
Montrer que si $\mathfrak{a}$ est un idéal entier de $K$, stable par conjugaison (c'est-à-dire : $\overline{\mathfrak{a}}=\mathfrak{a}$), alors il existe une partie $K$ de $\{1,2,...,k\}$ et un entier naturel $m$ tel que :
$$\mathfrak{a}=m\prod_{i\in H}\mathfrak{p}_{i}$$}
Je ne demande pas de solution à cet exo. En fait, mon problème est le suivant : si je considère un nombre premier $p$ inerte, il existe donc un unique idéal premier $\mathfrak{p}$ au-dessus de $p$, et on a : $$p\mathcal{O}_{K}=\mathfrak{p}$$
En passant aux conjugués, on en déduit que :
$$\overline{\mathfrak{p}}=\mathfrak{p}$$
autrement dit $\mathfrak{p}$ est stable par conjugaison. Pourtant, il ne s'écrit pas sous la forme annoncée (par uncité de la décomposition en idéaux premiers).
Je suppose que, la fatigue aidant, quelque chose de vraiment gros m'échappe... mais quoi ?
Merci de votre aide.
Amicalement.
Olivier.
Je bloque sur l'énoncé d'un exo, que voici :
{\it Soit $K$ un corps de nombres quadratique. On note $p_{1},p_{2},....,p_{k}$ les nombres premiers de $\Z$ qui se ramifient dans $K$, et pour chacun d'eux, on note $\mathfrak{p}_{i}$ l'unique idéal premier de $\mathcal{O}_{K}$ qui divise $p_{i}$, de sorte que $p_{i}\mathcal{O}_{K}=\mathfrak{p}_{i}^{2}$.
On note $x\mapsto \overline{x}$ la conjugaison de $K$.
Montrer que si $\mathfrak{a}$ est un idéal entier de $K$, stable par conjugaison (c'est-à-dire : $\overline{\mathfrak{a}}=\mathfrak{a}$), alors il existe une partie $K$ de $\{1,2,...,k\}$ et un entier naturel $m$ tel que :
$$\mathfrak{a}=m\prod_{i\in H}\mathfrak{p}_{i}$$}
Je ne demande pas de solution à cet exo. En fait, mon problème est le suivant : si je considère un nombre premier $p$ inerte, il existe donc un unique idéal premier $\mathfrak{p}$ au-dessus de $p$, et on a : $$p\mathcal{O}_{K}=\mathfrak{p}$$
En passant aux conjugués, on en déduit que :
$$\overline{\mathfrak{p}}=\mathfrak{p}$$
autrement dit $\mathfrak{p}$ est stable par conjugaison. Pourtant, il ne s'écrit pas sous la forme annoncée (par uncité de la décomposition en idéaux premiers).
Je suppose que, la fatigue aidant, quelque chose de vraiment gros m'échappe... mais quoi ?
Merci de votre aide.
Amicalement.
Olivier.
Réponses
-
Ouh la, désolé pour le triple exemplaire ! Merci aux modérateurs de supprimer les deux messages en trop.
Amicalement.
Olivier. -
Bonjour,
Mais si il s'écrit comme indiqué, avec $H = \emptyset$ et $m=p$.
Glop -
Oui, bien sûr, tu as raison Glop. Merci beaucoup !
Amicalement.
Olivier.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres