Inscription / Connexion Nouveau Sujet
Niveau autre
Partager :

idéal maximal

Posté par
fusionfroide
12-06-08 à 11:05

Salut

On me donne R=\{a+b\sqrt{2}|a,b\in \mathbb{Z}\} et M=\{a+b\sqrt{2}/5|a \tex{et} 5|b\}

M est un idéal de R

Je n'arrive pas à prouver qu'il est maximal.

J'ai déjà montré que M \subset R strictement.

Si je prends J un idéal de R tel que M\subset J \subset R

Je dois montrer que J=M ou J=R

Je n'arrive à rien.

Merci !

Posté par
Camélia Correcteur
re : idéal maximal 12-06-08 à 14:19

Bonjour FF

C'est gentil de m'attendre avec de belles maths!

Ici, la bonne méthode (pas évidente) est de remarquer que M=5R de montrer que R/5R est un corps à 25 éléments; peécisément construire un isomorphisme R/5RF5/(X2-2)

Posté par
fusionfroide
re : idéal maximal 12-06-08 à 15:28

Salut Camélia !

C'est justement la question suivante !

Posté par
fusionfroide
re : idéal maximal 12-06-08 à 15:38

J'ai une petite question au fait : est-ce que tu peux me donner un isomorphisme de Q(\sqrt{5}) dans \frac{Q[X]}{(X^2-5)} ?

Merci

Posté par
Camélia Correcteur
re : idéal maximal 12-06-08 à 15:42

Mauvaise nouvelle! Ils s'attendent à montrer que c'est maximal sans passer par le quotient.

Alors soit J contenant strictement M. Alors J contient un z=a+b2 ou a ou b n'est pas divisible par 5. Alors \overline{z}\times z =a^2+2b^2\in J Je te laisse le plaisir de montrer que si 5 divise a2+2b2 alors 5 divise a et b. Donc ici a2+2b2 est non divisible par 5. Mais alors, 5 et a2+2b2 sont dans J, un petit coup de Bézout et voilà 1 dans J, donc J=R.

Posté par
Camélia Correcteur
re : idéal maximal 12-06-08 à 15:45

Marche arrière!

Tu définis f:\mathbb{Q}[X]\to \mathbb{Q}[\sqrt 5] par f(P)=P(5). Tu montres que c'est bien défini, morphisme, surjectif, et ker(f)=(X2-5).

Posté par
Camélia Correcteur
re : idéal maximal 13-06-08 à 14:54

Comme hier j'ai traité en m^me temps cet anneau et celui de Gauss, j'ai fini par m'embrouiller... Dans le post de 15:42 il faut lire \overline{z}\times z=a^2\red -2b^2
La suite est correcte (en remplaçant partout + par -).

Posté par
fusionfroide
re : idéal maximal 13-06-08 à 15:43

Merci Camélia !



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1675 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !