有限雙邊理想有限環子集若為加法子群且吸收父環的左右乘法,則為雙邊理想。atlas-finite-two-sided-ideal · canonical_mko有限雙邊理想前置節點有限含一環子集合有限阿貝爾群