- #1
boombaby
- 130
- 0
I'm not reading a text in English, so I should clarify some notation first:
P[X], is the set of all polynomials.
P[[X]], is the set of formal power series, which may infinitely many nonzero coefficients.
I'm asked to prove that X is the only prime(?correct term?) element in P[[X]]. By saying 'only', I mean uX and X is considered to be the same, if u is the unit in P.( of course every nonzero element in P is the unit)
The prime element f in P[X] is defined to be so that there's no other polynomial g with 0<deg(g)<deg(f) such that g|f. And I know that every f with deg(f)=1 is a prime polynomial.
But deg(f) makes no sense in P[[X]]. Then what kind of element is the prime one in P[[X]]?My book does not tell me, but introduce w(f) to me, which is defined to be the index of the first nonzero coefficient. More precisely, if f=a_n*X^n+a_(n+1)*X^(n+1)+...then w(f)=n
for instance, how to show that 1+X is not prime?
P[X], is the set of all polynomials.
P[[X]], is the set of formal power series, which may infinitely many nonzero coefficients.
I'm asked to prove that X is the only prime(?correct term?) element in P[[X]]. By saying 'only', I mean uX and X is considered to be the same, if u is the unit in P.( of course every nonzero element in P is the unit)
The prime element f in P[X] is defined to be so that there's no other polynomial g with 0<deg(g)<deg(f) such that g|f. And I know that every f with deg(f)=1 is a prime polynomial.
But deg(f) makes no sense in P[[X]]. Then what kind of element is the prime one in P[[X]]?My book does not tell me, but introduce w(f) to me, which is defined to be the index of the first nonzero coefficient. More precisely, if f=a_n*X^n+a_(n+1)*X^(n+1)+...then w(f)=n
for instance, how to show that 1+X is not prime?