exo7 2299

Démontrer que si JJ est un idéal premier de l’anneau Z[x]\Zz[x], alors J=(0),(p),(f)   ou   (p,g),J=(0), \quad (p), \quad (f)\ \ \text{\ ou\ } \ \ (p,g), où pp est premier, f∈Z[x]f\in \Zz[x] est un polynôme irréductible de degré positif et gg est un polynôme, tel que sa réduction modulo pp est irréductible sur Zp\Zz_p. Le dernier cas, J=(p,g)J=(p,g) , nous donne la forme générale d’un idéal maximal dans Z[x]\Zz[x]. Le plan de la démonstration est le suivant.

1

Soit BB un sous-anneau de l’anneau AA, II un idéal premier de AA. Montrer que B∩IB\cap I est soit un idéal premier de BB, soit l’anneau BB lui-même.

2

Soit JJ un id’eal premier de Z[x]\Zz[x]. Montrer que Z∩J=(0)\Zz\cap J=(0) ou (p)(p) où pp est premier.

3

Supposons que Z∩J=(0)\Zz\cap J=(0). Montrer que si J≠(0)J\ne (0), alors JJ est engendré par un polynôme primitif de JJ de degré minimal.

4

Supposons que Z∩J=(p)\Zz\cap J=(p). Soit rp : Z[x]→Zp[x]r_p\,:\,\Zz[x]\to \Zz_p[x] la réduction modulo pp. Montrer que l’idéal rp(J)r_p(J) est premier et que J=(p,g)J=(p,g).

5

Montrer que JJ est maximal ssi J=(p,g)J=(p,g) où pp est premier et rp(g)r_p(g) est irréductible dans Zp[x]\Zz_p[x].

Exercice Qpma

Signaler une erreur

  1. Problème
  2. Précisions
  3. Envoi
Quel est le problème ?