Lie derivative
リー微分は "M" 上のフロー（微分同相写像）の無限小生成子としてベクトル場によって表現される。逆にみると、"M" の微分同相の群はリー群論の直接の類似の方法でリー微分の付随するリー環の構造を持つ。