Bourbaki

Proposition 7

Tag 0523, permanent. Cite it as [Bourbaki, Tag 0523].

Commutative Algebra, chapter VII, § 3. Factorial domains

Let FF be a distinguished polynomial and g,hg, h two formal power series of BB such that F=ghF = gh. Then there exists an invertible element uu of BB such that ugug and u−1hu^{-1}h are distinguished polynomials and F=(ug)(u−1h)F = (ug)(u^{-1}h).

In fact, the reduced series of gg and hh are ≠0\neq 0; hence, by Proposition 6, there exist invertible elements u,vu, v of BB such that ugug and vhvh are distinguished polynomials. Then uvF=(ug)(vh)uvF = (ug)(vh) is a distinguished polynomial and uvuv is invertible. Passing to the reduced series, it is seen immediately that FF and uvFuvF have the same reduced order, that is the same degree. The uniqueness assertion in Proposition 6 therefore shows that F=uvFF = uvF, whence uv=1uv = 1.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.