有限交換環有限含一環若乘法對全部元素對交換,則為有限交換環;零因子仍可能存在。atlas-finite-commutative-ring · canonical_mko有限交換環前置節點有限含一環量詞與明示論域