再度115です。 ただの環でring eimorphimsやring monomorphismやring isomorphimも定義できるでしょうか?