>>506
零元と単位元が異なるっていうのは、環の定義にはないですよねぇ？
証明できるのかな？（いや、証明できるんだろうけど・・・）
あ、ちなみにただの興味ですので・・・