Hasse-Schmidt derivations and the Hopf algebra of non-commutative symmetric functions (Q398521)

Summary: Let NSymm be the Hopf algebra of non-commutative symmetric functions (in an infinity of indeterminates): \(\mathrm{NSymm}=Z\langle Z_1,Z_2,\dots\rangle\). It is shown that an associative algebra \(A\) with a Hasse-Schmidt derivation \(d=(\mathrm{id},d_1,d_2,\dots)\) on it is exactly the same as an NSymm module algebra. The primitives of NSymm act as ordinary derivations. There are many formulas for the generators \(Z_i\) in terms of the primitives (and vice-versa). This leads to formulas for the higher derivations in a Hasse-Schmidt derivation in terms of ordinary derivations, such as the known formulas of Heerema and Mirzavaziri (and also formulas for ordinary derivations in terms of the elements of a Hasse-Schmidt derivation). These formulas are over the rationals; no such formulas are possible over the integers. Many more formulas are derivable.