>>721
Z[θ]からFp[θ~]への自然な準同型(核はр)を考えて、準同型定理