nombre fini d'idéaux premiers

Bonjour,

Pourquoi un anneau de Dedekind ayant un nombre fini d'idéaux premiers est-t-il principal ?

Merci

Lebesgue

Réponses

  • Avec la vieillesse même les grands matématiciens ne sont plus ce qu'ils étaient ... ^^
  • Theoreme d'approximation forte.

    Joaopa
  • En fait, ce que j'aimerais savoir, c'est pourquoi il existe $x$ tel que
    $v_p(x) = 1$ et $v_q(x) = 0$, pour $q \neq p$.

    Merci
  • Pour Joaopa : Tu ne peux pas être un peu plus explicite, parce que je n'ai trouvé nul part un "théorème d'approximation forte" ?
  • Theoreme d'approximation forte:

    Soient $D$ un anneau de Dedekind, $$\mathfrak P_1,\cdots,\mathfrak P_n$ un nombre fini d'ideaux maximaux de $D$, $m_1,\cdots,m_n\in\mathbb N$ et $a_1,\cdots,a_n\in D$. Alors il existe $x\in D$ tel que
    $$v_{{\mathfrak P}_i}(x-n_i)=m_i.$$

    Joaopa
  • Theoreme d'approximation forte:\\
    \\
    Soient $D$ un anneau de Dedekind, $\mathfrak P_1,\cdots,\mathfrak P_n$ un nombre fini d'ideaux maximaux de $D$, $m_1,\cdots,m_n\in\mathbb N$ et $a_1,\cdots,a_n\in D$. Alors il existe $x\in D$ tel que\\
    $$v_{{\mathfrak P}_i}(x-n_i)=m_i.$$\\
    \\
    Joaopa
  • Merci, c'est bien ce que je pensais, qu'un tel théorème existait. Mon problème est que dans Serre, il ne démontre que l'existence de $x$ vérifiant la condition que tu as marquée, sauf avec un $\geq$ au lieu de $=$. Comment avoir l'égalité ?

    Merci

    Lebesgue
  • t'as raison c'est bien $\ge$ comme signe.

    Voici un lien qui donne la suite (page 28)
    \lien{http://www.institut.math.jussieu.fr/dea/aa/dea00-01/CLKraus.pdf}

    Joaopa
Connectez-vous ou Inscrivez-vous pour répondre.