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

  • Thread starter Thread starter ForMyThunder
  • Start date Start date
Click For Summary
In the discussion, it is established that while 2Z is a maximal ideal in Z, the ideal 2Z[X] in Z[X] is not maximal because Z[X]/2Z[X] is isomorphic to (Z/2Z)[X], which is not a field. The conditions under which a[X] is a maximal ideal of A[X] are explored, concluding that a[X] is maximal if and only if a is the zero ideal in A, provided A does not have the zero ideal as a maximal ideal. The presence of ideals like I + XA[X] demonstrates that maximality is rarely achieved in this context. The discussion also references a visual representation of the prime ideals in Z[X], highlighting the distinction between maximal and non-maximal ideals. Overall, the placement of maximal ideals in Z[X] follows specific algebraic rules that limit their occurrence.
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:
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

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