>>94
単位的部分環って、単位元を全体と共有する必要があるんだっけ?
もちろん流儀によると思うけど、メジャーどころはどうなってるの?