大学数学

可換環が整域という状況で、「 素元 ならば 既約元 」が成立します。しかし、一般に既約元が素元であるとは限りません。単項イデアル整域においては、素元であることと、既約元であることは同値になります。