定義
A を可換環とする。
E と F を A 上の線型環（過去スレpart1の97）とする。
E から F への A-線型環としての準同型全体の集合を
Homalg_A(E, F) または Homalg(E, F) と書く。