On factoring an operator using elements of its kernel

Abstract

ABSTRACTA well-known theorem factors a scalar coefficient differential operator given a linearly independent set of functions in its kernel. The goal of this paper is to generalize this useful result to other types of operators. In place of the derivation ∂ acting on some ring of functions, this paper considers the more general situation of an endomorphism 𝔇 acting on a unital associative algebra. The operators considered, analogous to differential operators, are those which can be written as a finite sum of powers of 𝔇 followed by left multiplication by elements of the algebra. Assume that the set of such operators is closed under multiplication and that a Wronski-like matrix produced from some finite list of elements of the algebra is invertible (analogous to the linear independence condition). Then, it is shown that the set of operators whose kernels contain all of those elements is the left ideal generated by an explicitly given operator. In other words, an operator has those elements in its kernel if and only if it has that generator as a right factor. Three examples demonstrate the application of this result in different contexts, including one in which 𝔇 is an automorphism of finite order.