Connection is module structure over connection algebra
Further information: Connection
Further information: Connection algebra
We start with a connection on and show how naturally equips with the structure of a module over .
First, observe that a connection gives a rule for the Lie algebra of first-order differential operators to act on , hence the tensor algebra generated by it as a vector space, acts on . We need to check that under this action acts trivially on .