[FOM] Ring Theory/Question

[Thomas Kucera]

The question really only makes complete sense when R is a (commutative) field; more things need to be specified in any more general settings.

In this case, all polynomials with non-zero constant term in R[\lambda] are invertible in R[[lambda]] (just use the ordinary algorithm for long division). So the usual ring-theoretic localization of R[\lambda] at the ideal generated by \lambda embeds in both R[[lambda]] and K; and in fact is the intersection of these two rings. If P is a Laurent series, then \lambda^n P is in R[[\lambda]] for some n, and so R((\lambda)) is generated as a ring by R[[\lambda]] and \lambda^{-1}, that is, by its subrings R[[\lambda]] and K.

  ---TK

On 2013-07-29, at 07:56 , pax0 at seznam.cz wrote:

> Dear All,
> let R be a ring.
> It is obvious that the following inclusions hold
> 
> R ⊆ R[lambda] ⊆ R[[lambda]] ⊆ R((lambda)).
> 
> Here, R[lambda] is the ring of polynomials in the variable lambda,
> R[[lambda]] is the ring of formal power series over R,
> and R((lambda)) is the ring of Laurent series.
> 
> Q. ***Can I put in general the quotient field K of R[lambda] somewhere in this chain?***
> 
> Any justification is welcome.
> Jan Pax
> 
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

*** Dr. Thomas G. Kucera ** Office (204)-474-6921 ** FAX (204)-474-7606 ***
*** http://server.math.umanitoba.ca/homepages/tkucera.html/             *** 
*** Department of Mathematics, University of Manitoba  ***              ***
*** Winnipeg, Manitoba, CANADA R3T 2N2      *** office: (204)-474-8703  ***
*** mathematics_department at umanitoba.ca     ***    FAX: (204)-474-7611  ***
*** http://www.math.umanitoba.ca/                                       ***