Bonsoir tout le monde,un avant-dernier(jusqu'à longtemps) exo que j'aimerais vous soumettre...
Citation :
soit
un entier,
,sans facteur carré dans
(et oui H_aldnoer encore une fois!
) ,on note
la racine carrée positive de
dans
et on considere
1)
a)Montrer que
est corps de décomposition sur
du polynome
.
b)On pose
Démontrer que
et que
le polynome irréductible de
sur
.
2)Soit
premier,
la surjection canonique de
sur
soit
le prolongement canonique de
.On pose
a)pour
,vérifier que
est réductible dans
b)Démontrer que pour
,
est réductible sur
en considérant les cas suivants:
i)
ii)
ne divise pas
et
ou bien
est un carré dans
ou bien
n'est pas un carré dans
et
est un carré dans
ou
n'est pas un caré dans
.
le soucis,dés le début c'est que ni
ni
ne sont racines de f_a(X)...?!!