>>609
間違えた
> >>608
> y=0
> ffx=2x+ff(f0-x)
> x=f0/2
> ff(f0/2)=f0+ff(f0/2)
> f0=0
> ffx=2x+ff(-x)
これは不要
x=0
fy=fffy
y=-fx
f(fx-fx)=0=2x+ff(f(-fx)-x)
f epi
x=fy
x=ffx
f iso
f(fx+y)=2x+fy-x=x+fy
f(z+y)= fz+fy
f Q-homo & ff=Id
example
f1=e
fe=1
fx=x for other generators
f(p+qe+Σr_sx_s)=pe+q+Σr_sx_s