Constructing Lie algebras of first order
โ
Jan Draisma
๐
Article
๐
2003
๐
Elsevier Science
๐
English
โ 305 KB
We extend Guillemin and Sternberg's Realization Theorem for transitive Lie algebras of formal vector fields to certain Lie algebras of formal first order differential operators, and show that Blattner's proof of the Realization Theorem allows for a computer implementation that automatically reproduc