イデアルって
左イデアルが群でいうとこの左剰余群
右イデアルが群でいうとこの右剰余群だよな