０・１私たちの行き先
素元分解（元aを可逆元ｂと素元piの積a=bΠpiであらわす）とある
例えば-2=-1・2,1+2i=i(2-i)

０・２いくつかの定義
x（属する）Ａ、Ａは環、x^n=0となる時べき零と呼ぶ。
ｘがべき零である時(1-x)がAで可逆である事を示す。
(1-x)^(-1)=1+x+x^2+x^3+x^4+・・・・（テーラー展開）
だから(1-x)(1-x)^(-1)=(limn->∞)1-x^n=1
だから、可逆。