代数学の質問です。画像の補題3.18の(ⅰ)⇒(ⅱ)を示すのに、証明では準同型写像α:M→M'を定義していますが、このαがα○φ=id_M'を満たすことが分かりません。

画像

大学数学45閲覧

ベストアンサー

0

ありがとう御座います。仰るように、示したいことはα(φ(x))=xなことは理解していますが、どう示したら良いのか困っています。 お分かりになれば御教授よろしくお願い申し上げます。