formula_28とformula_29の間には随伴の関係がある:任意の加群と加群に対して,アーベル群として