有限阿貝爾群有限群若完整Cayley表對所有元素對都滿足交換律,則為有限阿貝爾群。atlas-finite-abelian-group · canonical_mko有限阿貝爾群前置節點有限群量詞與明示論域