>>421
ということは剰余群の単位元みたいなのしか考えられないんですね