リー群
For every Lie group G, the following are Lie group actions: