Re: irredicuble polynomials



In article
<6753587.1132828228028.JavaMail.jakarta@xxxxxxxxxxxxxxxxxxxxxx>,
eugene <jane1806@xxxxxxx> wrote:

> I am stuck with the proof of the following fact:
>
> Prove that for every prime power q, one has that for all n there exists and
> irreducible polynomial of degree n.
>
> At the begginning the proof suggest the following identity
>
> \product_{k=1^\infty} (1/(1-x^k)^I(k))=\sum_{n=1}^{\infty}q^n x^n
>
> where I(k)-the number of irredicuble polynomials of degree k(we are working
> in our field F_q).
> Could you please explain me this identity.
> Thanks in advance

I hate to harp on typos, but the word you are looking for
is "irreducible."

Anyway, the right side of the identity, the coefficient of x^n
is the number of monic polynomials of degree n, right? Now, each
such polynomial has a unique expression as a product of (monic)
irreducible polynomials, right?

On the left side,

1 / (1 - x^k)^I(k) = (1 + x^k + x^(2k) + ... )^I(k)

Now all you have to do is identify each term in the expansion of
product_{k = 1 to infinity} (1 + x^k + x^(2k) + ... )^I(k)
with a factorization into irreducibles. Can you see it?

--
Gerry Myerson (gerry@xxxxxxxxxxxxxxx) (i -> u for email)
.



Relevant Pages

  • Re: Finite fields from aperiodic necklaces
    ... uses aperiodic necklaces instead of irreducible polynomials. ... The case of the so called minimal normal basis (those ...
    (sci.math)
  • Re: Sparse Irreducible Polynomials mod 2
    ... but those papers (and several others linked to them by ... because they are either about polynomials over fields of much larger ... sparse irreducible polynomials for certain nice degrees, ... any n for which all irreducible polynomials over GFof degree n have ...
    (sci.math.research)
  • Re: Finite fields from aperiodic necklaces
    ... explicit mapping between the sets irreducible polynomials ... shifting the coefficients, the elements of the subfield GF, ... those necklaces that have m/n as a period. ... For polynomials we have this sort of formula ...
    (sci.math)
  • Re: Text on LFSR
    ... >>various cycles when the polynomial is not primitive. ... I begin with a known multiple of the period ... modulo each of the irreducible polynomials which product ...
    (sci.crypt)
  • Re: multiple.....
    ... ad is multiple of u. ... So any u in Z that divides rsmust divide rs. ... and if f,g are monic polynomials in Ksuch that fg is in Dthen ... Contents of polynomials and invertibility, ...
    (sci.math)