Remark
Tag 08HR, permanent. Cite it as [Bourbaki, Tag 08HR].
Functions of a Real Variable, chapter VI, § 1. GENERALIZED TAYLOR EXPANSIONS
Since K is an infinite field the operator U on K[X] is a composition operator if and only if for every polynomial and every element one has, putting , that . (Alg., IV. 16, cor.).
It is clear that every linear combination of composition operators, with coefficients in K, is a composition operator; the same is true for the composition of two composition operators. In other words, the composition operators form a subalgebra of the algebra of endomorphisms of the vector space K[X].
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.