The defining commutators reorder every word into the displayed monomials. Over a characteristic-zero field, the polynomial representation proves independence: iterated commutation with the coordinate multiplications extracts a highest derivative coefficient, multiplied by the nonzero factorial . Hence the representation is faithful and every polynomial-coefficient operator has a unique ordered expression.

Articles by others on the same topic (0)

There are currently no matching articles.