０・３分解に関する基本
０でない元ｘ（属する）Ａが既約であるとは、それ自身が可逆でなく
x=yz(y,z（属する）Ａ）と書けるとき、yまたはzが可逆である時を
言う。とあるが・・・。
可換環を整数環Ｚとする時
-4（属する）Ｚ・・だけど-4=(-1)・4だから-1が可逆だけど
じゃあ、−４って既約元って事？
私の理解が何かおかしいだろうか？