Démontrer que si est un idéal premier de l’anneau , alors où est premier, est un polynôme irréductible de degré positif et est un polynôme, tel que sa réduction modulo est irréductible sur . Le dernier cas, , nous donne la forme générale d’un idéal maximal dans . Le plan de la démonstration est le suivant.
Soit un sous-anneau de l’anneau , un idéal premier de . Montrer que est soit un idéal premier de , soit l’anneau lui-même.
Soit un id’eal premier de . Montrer que ou où est premier.
Supposons que . Montrer que si , alors est engendré par un polynôme primitif de de degré minimal.
Supposons que . Soit la réduction modulo . Montrer que l’idéal est premier et que .
Montrer que est maximal ssi où est premier et est irréductible dans .