>>799
>>795で書いた環準同型の核が>>797で君の書いたp^mZ