定義 527
A を可換環とする。
B と C を A-線型環(part1の97)とする。
>>559の u：B → B※C と v：C → B※C をそれぞれ標準的な準同型と言う。