Geometry and Structure of Lie Pseudogroups from Infinitesimal Defining Systems

An algorithm is described which uses a finite number of differentiations and linear operations to determine the Cartan structure of a transitive Lie pseudogroup from its infinitesimal defining equations. In addition, an algorithm is presented for determining from the infinitesimal defining system whether a Lie pseudogroup has essential invariants. If such invariants exist, the pseudogroup is intransitive. These methods make feasible the calculation of the Cartan structure of infinite Lie pseudogroups of symmetries of differential equations. The structure of the symmetry pseudogroup of the KP equation is presented.