環の単数、単数群 単数による同伴関係 既約元 （↓） 素元 （↓） 整域の範囲で考えるとして、aが既約だとは、次の条件を満たすこと。 aは0でも単元でもない（0や単元に既約とかいってもしょうがない） a = xy と因数に分解できたとき、xかyのどちらかは単数 …