MHB Prime Ideals in K[X] - Commutative Algebra Exercise 3.22 (ii)

  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Prime
Click For Summary
The discussion centers on identifying all prime ideals in the ring K[X], where K is a field and X is an indeterminate. It is noted that K[X] is a Principal Ideal Domain (PID), meaning every ideal is generated by a single element. For an ideal P = (f(X)) to be prime, the polynomial f(X) must be irreducible over the field K. The conversation seeks clarification on the implications of f(X) being prime and how to approach the exercise effectively. Understanding these properties is essential for solving the problem.
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading R.Y.Sharp's book: "Steps in Commutative Algebra.

In Chapter 3: Prime Ideals and Maximal Ideals, Exercise 3.22 (ii) reads as follows:

-------------------------------------------------------------------------

Determine all the prime ideals of the ring K[X],

where K is a field and X is an indeterminate.

------------------------------------------------------------------------

Can someone please help me get started on this problem.

Peter
 
Physics news on Phys.org
$K[X]$ is a PID. So any ideal is principal.

If $P = (f(X))$ is prime, what can you say about $f(X)$?
 

Thread 'Confusion about the Moyal-Weyl twist'

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...
View full post »

Similar threads

Undergrad Commutative algebra and differential geometry
  • · Replies 3 ·
Replies
3
Views
2K
MHB Maximal Ideals of K[X] in Commutative Algebra: A Helpful Guide
  • · Replies 8 ·
Replies
8
Views
5K
Undergrad Meaning of ##\coprod_{x\in\mathrm{Spec}R}R/\mathfrak{p}_x##
  • · Replies 11 ·
Replies
11
Views
1K
MHB Maximal Ideals K[X]: Solving Exercise 3.6 w/ R.Y. Sharpe
  • · Replies 8 ·
Replies
8
Views
2K
MHB Maximal Ideals - Exercise 5.1 (ii) Rotman AMA
  • · Replies 6 ·
Replies
6
Views
2K
Undergrad Meaning of "passage to the quotient"?
  • · Replies 3 ·
Replies
3
Views
870
Undergrad Definition of minimal ideal using symbolic logic notation
  • · Replies 3 ·
Replies
3
Views
1K
MHB Maximal Ideals - Exercise 5.1 (iii) Rotman AMA
  • · Replies 3 ·
Replies
3
Views
2K
MHB Quasi-local commutative ring with maximal ideal M
  • · Replies 16 ·
Replies
16
Views
4K
Undergrad Meaning of "identify" & variations in different math context
  • · Replies 5 ·
Replies
5
Views
934