Let be a derivative and . A differential operator
of order may be written uniquely as the product of completely reducible factors of maximal order over in the form
with . The factors are unique. Any factor , may be written as
with ; for , denotes an irreducible operator of order over . (en)
