Рассмотрим кольцо полиномов от нескольких переменных
![$\Bbb Z[X]$ $\Bbb Z[X]$](https://dxdy-02.korotkov.co.uk/f/1/5/7/1575585d00787721c38ae19c88498bf782.png)
. Каким образом можно описать простые идеалы этого кольца?
Рассуждаю так: можно посмотреть на его пересечение с

. Пересечение - либо нулевой идеал, либо идеал, порожденный неприводимым элементом. А что делать дальше?
Спасибо. Жду вашего ответа.
На свете много неприводимых многочленов над

, тем более от нескольких переменных. Нарисуйте для начала картинку — расслоение
![$\mathrm{Spec}(\Bbb Z[X])$ $\mathrm{Spec}(\Bbb Z[X])$](https://dxdy-04.korotkov.co.uk/f/3/1/e/31efda953d05b6bfcf83372d4337277a82.png)
над

, для одной переменной. То, что Вы предложили — это как раз слои этого морфизма.