>>15
加群になるのは分かってるのね?
ならZ上の加群なので
Z→Map(P,P)
のカーネルが2Zでしょ
だから
F2→Map(P,P)
ができてしまい