Is there a pattern to the placement of maximal ideals in Z[X]?

  • Thread starter Thread starter ForMyThunder
  • Start date Start date
ForMyThunder
Messages
149
Reaction score
0
Since 2Z is a maximal ideal of Z, 2Z[X] is an ideal of Z[X] but it is not maximal since Z[X]/2Z[X]~(Z/2Z)[X] is not a field.

I'm wondering if a is a maximal ideal of A, when can you say that a[X] is a maximal ideal of A[X]?

I suppose that for any A which does not have the zero ideal as a maximal ideal, the polynomial X would not be a unit in (A/a)[X]. So... a[X] is a maximal ideal of A[X] if and only if a=0 is maximal in A?
 
Physics news on Phys.org
ForMyThunder said:
Since 2Z is a maximal ideal of Z, 2Z[X] is an ideal of Z[X] but it is not maximal since Z[X]/2Z[X]~(Z/2Z)[X] is not a field.

I'm wondering if a is a maximal ideal of A, when can you say that a[X] is a maximal ideal of A[X]?

Almost never, considering that if I is an ideal of A, then I+XA[X] is an ideal that contains I. So For example, 2Z[X] isn't maximal since 2Z+XZ[X] is an ideal that contains it (and that is maximal.

Here is a picture of all the prime ideals of Z[X]:

GrothMumford.jpg


The regular dots represent the maximal ideals. The ugly things like [(2)] or [(0)] are just prime ideals. See http://www.neverendingbooks.org/index.php/grothendiecks-functor-of-points.html for more information.
 
Last edited by a moderator:
Back
Top