>>828
はい、その剰余群のことをいってる可能性が高いです