Soit un idéal premier et soit . Soit .
|
1- Montrer que les Q tels que q=(0) sont en bijection avec les idéaux premiers de
|
2- Conclure que si , alors où f est irréductible (donc de degré >0)
|
3-Soit la partie primitive de f. Montrer que et que . Conclure que
|
est irréductible dans
. En effet, si
non nuls et non inversibles tels que
, alors
,
s'écrit comme produit de deux élèments non inversibles, ce qui contredit le fait que f est irréductible.
est factoriel, donc
est premier, et
est un idéal premier de
. Comme
est primitif, on en déduit que
est premier. Donc, par la question 1,
.
, j'ai écrit que
et
est une unité donc
donc
.
. Mais je comprend pas comment expliquer que
?
-