Results 1 to 1 of 1

Math Help - Irreducibility of Polynomials - Irresducibilty in R/I{x] and Irreducibility in R{x}

  1. #1
    Super Member Bernhard's Avatar
    Joined
    Jan 2010
    From
    Hobart, Tasmania, Australia
    Posts
    559
    Thanks
    2

    Irreducibility of Polynomials - Irresducibilty in R/I{x] and Irreducibility in R{x}

    I am reading Dummit and Foote on Irreducibility in Polynomial Rings. In particular I am studying Proposition 12 in Section 9.4 Irreducibility Criteria.

    Proposition 12 reads as follows: Let I be a proper ideal in the integral domain R and let p(x) be a non-constant monic polynomial in R[x]. If the image of p(x) in (R/I)[x] cannot be factored in (R/I)[x] into two polynomials of smaller degree, then p(x) is irreducible in R[x].

    The proof in D&F reads as follows:

    Proof: Suppose p(x) cannot be factored in (R/I)[x]. This means that there are monic non-constant polynomials a(x) and b(x) in R[x] such that p(x) = a(x) b(x). By Proposition 2, reducing the coefficients modulo I gives a factorization in (R/I)[x] with non-constant factors, a contradiction

    BUT! Proposition 2 shows that there is an isomorphism between R[x]/I and and (R/I)[x]. How does this guarantee a factorization of p(x) in (R/I)[x]?

    For your information Proposition 2 in D&F reads as follows: Proposition 2. Let I be an ideal of the ring R and let (I) = I[x] denote the ideal of R[x] generated by I (the set of polynomials with coefficients in I).

    Then  R[x]/(I) \cong (R/I)[x]

    In particular, if I is a prime ideal of R then (I) is a prime ideal of R[x].
    Last edited by Bernhard; May 19th 2013 at 02:38 AM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Question on the Irreducibility of Polynomials
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: May 18th 2013, 07:56 PM
  2. Irreducibility
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: March 7th 2011, 05:37 PM
  3. Irreducibility in Zp
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: January 23rd 2010, 09:08 AM
  4. Irreducibility in Z
    Posted in the Number Theory Forum
    Replies: 4
    Last Post: August 21st 2008, 11:20 AM
  5. Irreducibility of polynomials help
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: July 13th 2008, 03:40 PM

Search Tags


/mathhelpforum @mathhelpforum