Results 1 to 1 of 1

Thread: Specific example of Eisenstein's Theorem using R = Z

  1. #1
    Super Member Bernhard's Avatar
    Jan 2010
    Hobart, Tasmania, Australia

    Specific example of Eisenstein's Theorem using R = Z

    Eisenstein's Criterion is stated in Dummit and Foote as follows: (see attachment)


    Proposition 13 (Eisenstein's Criterion) Let P be a prime ideal of the integral domain R and let

     f(x) = x^n + a_{n-1}x^{n-1} + ... ... + a_1x + a_0

    be a polynomial in R[x] (here  n \ge 1 )

    Suppose  a_{n-1}, ... ... a_1, a_0 are all elements of P and suppose  a_0 is not an element of  P^2 .

    Then f(x) is irreducible in R[x]


    The beginning of the proof reads as follows:

    Proof: Suppose f(x) were reducible, say f(x) = a(x)b(x) in R[x] where a(x) and b(x) are nonconstant polynomials.

    Reducing the equation modulo P and using the assumptions on the coefficients of f(x) we obtain the equation  x^n =    \overline{a(x)b(x)} in (R/P)[x] where the bar denotes polynomials with coefficients reduced modulo P... .,.. etc. etc.


    I will now take a specific example with R= Z as the integral domain concerned and P = (3) as the prime ideal in Z.

    Also take (for example)  f(x) = x^3 + 9x^2 + 21x + 9  = (x+3) (x^2 +6x + 3)
    Now as the proof requires, reduce f(x) mod P

    Now using D&F Proposition 2 (see attached) - namely  R[x]/(I) \cong R/I)[x] we have

     Z[x]/(3) \cong (Z/(3))[x]

    and so we to obtain  \overline{f(x)} we simply reduce the coefficients of f(x) by mod 3

    Since  9, 21 \in \overline{0}

    we have  \overline{f(x)} = \overline{x^3}

    The coset TEX] \overline{f(x)} [/TEX] would include elements such as  x^3 + 3, x^3 + 6x^2 + 24x - 3, ... ... and so on.

    Can someone please confirm my working in this particular case of the Eisenstein proof is correct?

    Last edited by Bernhard; May 24th 2013 at 11:51 PM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Finding a specific homomorphism as an example of a theorem
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: May 14th 2011, 02:11 AM
  2. eisenstein integers
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: Mar 12th 2010, 12:35 PM
  3. 2nd fund. theorem question on specific part
    Posted in the Calculus Forum
    Replies: 2
    Last Post: Sep 30th 2009, 07:16 AM
  4. Eisenstein integers
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: Jun 5th 2008, 01:55 PM
  5. Using eisenstein
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: May 1st 2007, 11:29 AM

Search Tags

/mathhelpforum @mathhelpforum