有限群作用有限群在有限集合上的作用是滿足單位與乘法相容律的total action table。atlas-finite-group-action · canonical_mko有限群作用前置節點有限群函數映射集合