Formal power series


by 5kold
Tags: formal, power, series
5kold
5kold is offline
#1
Feb16-10, 09:13 AM
P: 13
1. The problem statement, all variables and given/known data

Let F be a field. Consider the ring R=F[[t]] of the formal power series
in t. It is clear that R is a commutative ring with unity.

the things in R are things of the form infiniteSUM{ a_n } = a_0 + a_1 t + a_2 t +...

b is a unit iff the constant term a_0 =/= 0

Prove that R is a Euclidean domain with respect to the norm N(b)=n if a_n is the first term of b that is =/= 0.

In the polynomial ring R[x], prove that x^n-t is irreducible.



3. The attempt at a solution
I showed that it is a ED.

How do I show Irreducibility of this thing?
1. The problem statement, all variables and given/known data



2. Relevant equations



3. The attempt at a solution
Phys.Org News Partner Science news on Phys.org
Internet co-creator Cerf debunks 'myth' that US runs it
Astronomical forensics uncover planetary disks in Hubble archive
Solar-powered two-seat Sunseeker airplane has progress report

Register to reply

Related Discussions
power series vs. taylor series Calculus & Beyond Homework 1
Complex power series to calculate Fourier series Calculus & Beyond Homework 1
Power Series/Taylor Series Calculus & Beyond Homework 6
Power series & Taylor series Calculus & Beyond Homework 4
Formal series solutions to systems of linear or non-linear DEs (Cauchy problem) General Physics 0