Inscription / Connexion Nouveau Sujet
Niveau autre
Partager :

idéal maximal

Posté par
fusionfroide
12-06-08 à 18:24

Salut

Je voudrais montrer que (X²-7) est maximal dans Q[X]

Donc déjà on a (X²-7) strictement inclus dans Q[X]

Ensuite, je prends J un idéal de Q[X] tel que : (X²-7) \subset J \subset Q[X]

J idéal de Q[X] donc J=(P_1)

Ma première question car je ne maîtrise pas encore bien ces notions ...

Comme on a (X²-7) \subset (P_1)=P_1Q[X], peut-on avoir P_1=constante ?

Merci

Posté par
fusionfroide
re : idéal maximal 12-06-08 à 18:25

Si P_1=constante alors (P_1)=Q[X]

Posté par
Rodrigo
re : idéal maximal 12-06-08 à 18:49

Bonjour,
Ca dépende de ce que tu supposes connu...
Disons que dans le meilleur des cas tu sais que Q[X] est principal... Il y a donc equivalence entre primalité, maximalité et irreductibilté??? Or X²-7 est bien irreductible sur Q (car sinon il aurait une racine, ou par eisenstein :p)

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

Salut Rodrigo

En effet c'est bien plus rapide

Merci



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 !