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

  • Context: Graduate 
  • Thread starter Thread starter ForMyThunder
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the conditions under which a polynomial ideal a[X] in A[X] is maximal, given that a is a maximal ideal in A. It is established that a[X] is not maximal if A does not have the zero ideal as a maximal ideal. Specifically, 2Z is a maximal ideal in Z, but 2Z[X] is not maximal because Z[X]/2Z[X] is isomorphic to (Z/2Z)[X], which is not a field. The conclusion drawn is that a[X] is a maximal ideal of A[X] if and only if a is the zero ideal in A.

PREREQUISITES
  • Understanding of maximal ideals in ring theory
  • Familiarity with polynomial rings, specifically A[X]
  • Knowledge of isomorphisms in algebra, particularly between rings
  • Basic concepts of prime ideals and their properties
NEXT STEPS
  • Study the properties of maximal ideals in various rings
  • Learn about the structure of polynomial rings over different fields
  • Explore the concept of prime ideals in commutative algebra
  • Investigate the implications of the zero ideal in ring theory
USEFUL FOR

Mathematicians, algebraists, and students studying ring theory and polynomial algebra will benefit from this discussion, particularly those focusing on the properties of ideals in commutative rings.

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:

Similar threads

  • · Replies 31 ·
2
Replies
31
Views
3K
Replies
21
Views
4K
  • · Replies 12 ·
Replies
12
Views
4K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 13 ·
Replies
13
Views
4K