Results 1 to 2 of 2

Math Help - Polynomial Rings - Gauss's Lemma - Point re Proof

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

    Polynomial Rings - Gauss's Lemma - Point re Proof

    Gauss' Lemma is stated and proved on pages 303-304 of Dummit and Foote (see attachment)

    ================================================== =========================================
    Gauss Lemma

    Let R be a UFD with field of fractions F and let  p(x) \in R[x] . If p(x) is reducible in F[x] then p(x) is reducible in R[x].

    More precisely, if p(x) = A(x)B(x) for some nonconstant polynomials  A(x), B(x) \in F[x] , then there are nonzero elements  r, s \in F such that rA(x) = a(x) and sB(x) = b(x) both lie in R[x] and p(x) = a(x)b(x) is a factorization in R[x].

    ================================================== =========================================

    In the proof of Gauss' Lemma on page 304 (see attachment) we find:

    "Assume d is not a unit and write d as a product of irreducibles in R, say  d = p_1p_2 ...p_n . Since  p_1 is irreducible in R, the ideal  (p_1) is prime (cf Proposition 12, section 8.3 - see attachment), so by Proposition 2 above (see attachment) the ideal  p_1R[x]  is prime in R[x] and  (R/p_1R)[x] is an integral domain.

    Reducing the equation dp(x) = a'(x)b'(x) modulo  p_1 we obtain the equation  0 = \overline{a'(x)} \overline{b'(x)} , hence one of the two factors, say  \overline{a'(x)} must be zero. ... ... (see attachment) .. "

    ================================================== ===========================================


    Problem!

    In the proof we read:

    "Since  p_1 is irreducible in R, the ideal  (p_1) is prime (cf Proposition 12, section 8.3 - see attachment), so by Proposition 2 above (see attachment) the ideal  p_1R[x]  is prime in R[x] and  (R/p_1R)[x] is an integral domain. ..."

    I can see that this is the case, BUT why is this needed and how does the rest of the proof connect to this???

    The next part of the proof is

    "Reducing the equation dp(x) = a'(x)b'(x) modulo  p_1 we obtain the equation  0 = \overline{a'(x)} \overline{b'(x)} , hence one of the two factors, say  \overline{a'(x)} must be zero. ... ... (see attachment) .. "

    But to do this we only need to divide by  p_1 and take the remainder as defining the coset. Is the section above confirming in some way that we can divide successfully???

    Can someone please clarify?

    Peter
    Last edited by Bernhard; April 25th 2013 at 09:17 PM.
    Follow Math Help Forum on Facebook and Google+

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

    Re: Polynomial Rings - Gauss's Lemma - Point re Proof

    I have been thinking about my own question above.

    A possible answer is as follows:

    When we reduce the equation dp(x) = a'(x)b'(x) modulo  p_1 we are then dealing with elements in the ring  (R/p_1R)[x] . That is, when we are dealing with the equation  0 = \overline{a'(x)} \  \overline{b'(x)} we are working with elements in  (R/p_1R)[x] .

    When we argue that one of the two factors in the equation  0 = \overline{a'(x)} \   \overline{b'(x)} , say  \overline{a'(x)} must be 0, we need to be sure that a'(x) and b(x) are not zero divisors and that means we need the ring  (R/p_1R)[x] to be an integral domain.

    Can someone please confirm for me that my reasoning with respect to the proof of Gauss' Lemma is correct.

    Peter
    Last edited by Bernhard; April 26th 2013 at 05:45 PM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: April 13th 2013, 10:46 PM
  2. Polynomial Rings - Gauss's Lemma
    Posted in the Advanced Algebra Forum
    Replies: 10
    Last Post: April 13th 2013, 05:09 PM
  3. Factorization of Polynomials - Gauss's Lemma
    Posted in the Advanced Algebra Forum
    Replies: 7
    Last Post: November 6th 2012, 07:23 AM
  4. primitive, Gauss Lemma
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: January 23rd 2009, 12:58 AM
  5. Gauss Lemma (Number Theory)
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: November 3rd 2008, 08:05 PM

Search Tags


/mathhelpforum @mathhelpforum