>>318
イデアルはなぜイデアルなんだろう
idealがイデアルでいいならgroupだってグループでいいじゃないか