>>69
任意のR-加群が入射加群に埋め込まれることを示す一般的アプローチのBaer's argumentとか