Inscription / Connexion Nouveau Sujet
Niveau autre
Partager :

éléments primitifs

Posté par
fusionfroide
16-06-08 à 15:12

Salut

On se place dans un anneau A principal et f(X)=a_0+a_1X+...+a_nX^n dans A[X]

On définit C(f)=pgcd(a_0,a_1,...,a_n)

On veut montrer que C(fg)=C(f)C(g)

Donc on commence par poser f=C(f)f_1 et g=C(g)g_1f_1 et g_1 sont primitifs.

Alors fg=C(f)C(g)f_1g_1 donne C(fg)=C(f)C(g)C(f_1g_1)

On prend alors p irréductible tel que p|C(f_1g_1)

Alors \bar{f_1g_1}=\bar{0} dans \frac{A}{(p)}[X]

Or \frac{A}{(p)} est un corps donc intègre, donc \frac{A}{(p)}[X] aussi et \bar{f_1}\bar{g_1}=\bar{0}

Or, \bar{f_1}=\bar{0} implique que p|C(f_1) et donc que f_1 n'est pas primitif.

C'est ce dernier passage que je ne comprends pas "et donc que f_1 n'est pas primitif."

Merci !

Posté par
Camélia Correcteur
re : éléments primitifs 16-06-08 à 15:21

Bonjour

Dire que p|C(f1) c'est bien dire que C(f1) n'est pas égal à 1, donc que f1 n'est pas primitif.

Posté par
fusionfroide
re : éléments primitifs 16-06-08 à 15:26

Citation :
Dire que p|C(f1) c'est bien dire que C(f1) n'est pas égal à 1


C'est justement cela que je ne vois pas !

Pour la définition d'élément irréductible j'ai : p est irréductible si p=ab implique que a dans A* ou b dans A*

Posté par
fusionfroide
re : éléments primitifs 16-06-08 à 15:26

Oups, BONJOUR Camélia !

Posté par
Camélia Correcteur
re : éléments primitifs 16-06-08 à 15:29

Tu ne l'as pas mis dans l'énoncé, mais
f primitif équivaut à C(f)=1 ce qui signifie que les coeff de f sont premiers entre eux.

Posté par
fusionfroide
re : éléments primitifs 16-06-08 à 15:29

ah oui quel idiot

Merci !

Posté par
fusionfroide
re : éléments primitifs 16-06-08 à 15:40

ok une dernière question

\bar{f_1}=\bar{0} implique que f_1 \in (p) donc que p|f_1

Quel est l'argument pour en déduire que p|C(f_1) ?

Merci

Posté par
Camélia Correcteur
re : éléments primitifs 16-06-08 à 15:47

p|f signifie f=pg avec g polynôme, donc tous les coefficients de f sont divisibles par p.



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 !