>>431
どうでも良いことだが、
「群環」という特殊な環があるので、
そういう書き方は良くない。