置換群とかは線形代数で学ぶけど剰余群は整数論やってないと初見になるんだよな。