## The composition of polynomials

Definition Let be a commutative field. The polynomials form a commutative unital algebra over containing an element such that the following universal property holds: For any unital algebra (commutative or otherwise) and any element , there exists exactly one unital algebra morphism such that . If and are elements of , let be the unique…