素元であれば既約な元である事は明らかであるが、逆は一般に
成り立たない。とあるが・・・例が思いつかない。
って言うか、昔、授業で聞いたような気がするが出てこない。