On local solvability of a class of abstract underdetermined systems

In this work we present a necessary and sufficient condition for a class of abstract underdetermined systems to be solvable. We develop J. F. Trèves' ideas, presenting the so called condition (ψ) and its connection with the study of the solvability in consideration. We also prove the existence of finite order regularity solutions.