-準同型写像 -準同型写像 とする．このとき次が成立する． (設計) と置く．より (仕組) (ア) について 左-加群から左-加群への 左-準同型写像 に対してと定めるとと書けることは以前示した． (イ) について の誘導写像に関して () による． (ウ) について 合…