有限含一環有限含一環在同一完整有限載體上具加法阿貝爾群、乘法結合律、左右分配律及與零不同的乘法單位元。atlas-finite-unital-ring · canonical_mko有限含一環前置節點有限阿貝爾群四則運算函數映射