ポアソン括弧
ハミルトンシンプレクティック同相は、この部分群を形成し、リー群はハミルトンベクトル場からなる。後者は定数を除外して、ポアソン括弧に関して多様体上の滑らかな函数のリー代数に同型である。