>>128
>落合理 PDF P7"3. 群の作用と軌道分解"

>任意の群 G は G 自身への自然だが本質的に異なる二種類の作用
>g • x = gx (∀x ∈ G)
>g • x = gxg−1 (∀x ∈ G)

前者の形は剰余類分類、後者形はは共役類分類に使われる