- #1
A-ManESL
- 8
- 0
Hello PF members
This is my first post. It is rather complicated to understand but I request you to bear with me.
The Problem: I have a theorem in my book, the proof of which I do not understand fully. The theorem may be viewed http://books.google.co.in/books?id=...9jZDA&sa=X&oi=book_result&ct=result&resnum=1" (The book is: Finite commutative rings and their applications By Gilberto Bini, Flaminio Flamini The theorem is on Page 24).
My specific problem is as follows:
We are given a monic polynomial [tex]h_m(x)\in \mathbb{Z}_{p^m}[x][/tex] irreducible over [tex]\mathbb{Z}_{p^m}[/tex] such that [tex]h_m(x)|x^k-1[/tex] in [tex]\mathbb{Z}_{p^m}[x][/tex]. The theorem calls for constructing a unique, irreducible monic polynomial [tex]h_{m+1}(x)\in \mathbb{Z}_{p^{m+1}}[x][/tex] which divides [tex]x^k-1[/tex] in [tex]\mathbb{Z}_{p^{m+1}}[x][/tex].
The proof in the book runs as follows:
I have no problems uptil this point in the proof
My major problem is with the next two lines (Underlined portion specially):
I don't understand what the monic polynomial referred to is? If it is the polynomial with roots all of the type [tex]\beta^p[/tex] how come [tex]\beta^p\equiv \alpha(mod p^m)[/tex]. This equivalence of roots of the monic polynomial and of [tex]h_m(x)[/tex] is very crucial as the next line also seems to be related to it
For the life of me I can't understand why this polynomial is irreducible.
The proof then goes on to establish the uniqueness of such an [tex]h_{m+1}(x)[/tex].
I'll be very extremely grateful if someone points me in the right direction. Thank you for your time (all those who have read the whole post).
This is my first post. It is rather complicated to understand but I request you to bear with me.
The Problem: I have a theorem in my book, the proof of which I do not understand fully. The theorem may be viewed http://books.google.co.in/books?id=...9jZDA&sa=X&oi=book_result&ct=result&resnum=1" (The book is: Finite commutative rings and their applications By Gilberto Bini, Flaminio Flamini The theorem is on Page 24).
My specific problem is as follows:
We are given a monic polynomial [tex]h_m(x)\in \mathbb{Z}_{p^m}[x][/tex] irreducible over [tex]\mathbb{Z}_{p^m}[/tex] such that [tex]h_m(x)|x^k-1[/tex] in [tex]\mathbb{Z}_{p^m}[x][/tex]. The theorem calls for constructing a unique, irreducible monic polynomial [tex]h_{m+1}(x)\in \mathbb{Z}_{p^{m+1}}[x][/tex] which divides [tex]x^k-1[/tex] in [tex]\mathbb{Z}_{p^{m+1}}[x][/tex].
The proof in the book runs as follows:
By Hensel's Lemma, (something already proved) the proof starts off with taking a polynomial [tex]h(x)\in \mathbb{Z}_{p^{m+1}}[x][/tex] of the form [tex]h(x)=h_m(x)+p^mg(x)[/tex]. It then let's [tex]\alpha[/tex] be a root of [tex]h_m(x)[/tex] and [tex]\beta[/tex] a corresponding root of [tex]h(x)[/tex] of the form [tex]\beta=\alpha+p^m\delta[/tex]. Then it states that [tex]\alpha^k=1+p^m\epsilon[/tex], since [tex]h_m(x)[/tex] divides [tex]x^k-1[/tex] in [tex]\mathbb{Z}_{p^m}[x][/tex].
I have no problems uptil this point in the proof
Moreover [tex]\beta^p=(\alpha+p^m\delta)^p=\alpha^p[/tex] and [tex]\beta^{kp}=(\alpha+p^m\delta)^{kp}=(1+p^m\epsilon)^p=1[/tex]. (Here the book doesn't say so but I assume that the equalitites hold modulo [tex]p^{m+1}[/tex])
My major problem is with the next two lines (Underlined portion specially):
Hence the monic polynomial, whose roots are the p-th powers of the roots of [tex]h(x)[/tex], divides [tex]x^k-1[/tex] and these roots coincide modulo [tex]p^m[/tex] with those of [tex]h_m(x)[/tex].
I don't understand what the monic polynomial referred to is? If it is the polynomial with roots all of the type [tex]\beta^p[/tex] how come [tex]\beta^p\equiv \alpha(mod p^m)[/tex]. This equivalence of roots of the monic polynomial and of [tex]h_m(x)[/tex] is very crucial as the next line also seems to be related to it
This polynomial is the required polynomial [tex]h_{m+1}(x)\in \mathbb{Z}_{p^{m+1}}[x][/tex]; in fact it is irreducible, by construction.
For the life of me I can't understand why this polynomial is irreducible.
The proof then goes on to establish the uniqueness of such an [tex]h_{m+1}(x)[/tex].
I'll be very extremely grateful if someone points me in the right direction. Thank you for your time (all those who have read the whole post).
Last edited by a moderator: