群の表現
Gを群、Mを集合として、GがMに作用している、群作用:GXM->Mが存在する