子群與群同態子群在繼承運算下自身成群;群同態保持乘法,kernel與image由完整映射表導出。atlas-subgroup-homomorphism · canonical_mko子群與群同態前置節點有限群子集合函數映射