環上の加群 を自明ではない単位元を持つ可換環とします。アーベル群 とスカラー乗法 が以下の条件を満たすとき を 上の加群と呼びます( を と書きます)。 が体のとき 上のベクトル空間と呼びます。 が 上の加群であるとき、 の元 に対して を と定義すること…