9
$\begingroup$

How do I go about proving that the composition of formal power series is associative?

I've tried proving the result directly, but the resulting expressions are quite unwieldy. Currently, I'm trying to make use of the topology on $\mathbb{C}[[x]]$, but I can't quite get it to work.

More precisely, I want to prove that if $g(0)=0$ and $h(0)=0$, then $f\circ(g\circ h)=(f\circ g)\circ h$, where $$f\circ g(x) :=\sum_{n=0}^\infty f_n (g(x))^n.$$

  • 1
    @Rod: http://en.wikipedia.org/wiki/Formal_power_series2012-09-11
  • 0
    Do you have any evidenct to suggest that this algebraic property would need a topological justification?2012-09-11
  • 1
    @rschwieb I don't know about "need," but the idea may be to use associativity for finite polynomials and then take limits, which would use the topology.2012-09-11
  • 0
    @anon I suppose so :)2012-09-11
  • 0
    $g(0)\ne0$ and $h(0)\ne0$ prevent the composition from being defined at all. What is $g\circ h$ supposed to be if $g(x)=\sum_{k=0}^\infty x^k$ and $h(0)=1$?2012-09-11
  • 0
    @HagenvonEitzen: I edited the question to replace $\neq0$ with $=0$2012-09-11

1 Answers 1

6

A formal power series $g(x)$ such that $g(0)=0$ gives you a continuous ring homomorphism $g^*:K[[x]]\to K[[x]]$ uniquely defined by $x\mapsto g(x)$. In fact, $g^*(f)=f\circ g$ (it is clear if $f$ is a polynomial and extends by continuity to power series). As $h^*(g^*(x))=h^*(g(x))=g(h(x))=(g\circ h)^*(x)$, we have $h^*\circ g^*=(g\circ h)^*$. Evaluating both sides on $f$ we get $(f\circ g)\circ h=f\circ (g\circ h)$.

  • 3
    Right. This is the way to do it, just as the most efficient way to show associativity of matrix multiplication is to use the associativity of the maps that the matrices induce on the vector spaces involved.2012-09-11
  • 0
    The result is true for arbitrary coefficient rings, so continuity should not be needed.2012-09-11
  • 2
    @HansEngler: I do use continuity (neighbourhood's of $0$ are $x^n K[[x]]$); there is no topology on $K$ itself (i.e. it is discrete)2012-09-11
  • 0
    Also see http://planetmath.org/encyclopedia/IAdicTopology.html or http://en.wikipedia.org/wiki/Completion_(ring_theory)#Krull_topology for the topology $K[[x]]$ comes equipped with (any topology that $K$ may have is irrelevant to this topology; it is present for arbitrary coefficient rings).2012-09-11