More Lie derivative, and Lie algebra