Ｖを右Ａ-加群,Ｗも右Ａ-加群とし,Hom_A（Ｖ,Ｗ）をＶからＷへのＡ-準同型
全体の集合とするとき,これは右Ａ-加群になるようですが,Ａの元の
作用は,ｆ∈Hom_A（Ｖ,Ｗ）に対して,ｆａをｆａ（ｘ）＝ｆ(ｘ)・ａ　（∀ｘ∈Ｖ）
と定めればいいのでしょうか？
でも、これだとｆａ（ｘ＋ｙ）＝ｆ（ｘ＋ｙ）・ａ＝（ｆ（ｘ）＋ｆ（ｙ））・ａ
　　　　　　　　　　　　　　　　　　　　　　　＝ｆ（ｘ）・ａ＋ｆ（ｙ）ａ
　　　　　　　　　　　　　　　　　　　　　　　＝ｆａ（ｘ）＋ｆａ（ｙ）
となって,加法は保たれるのですが,
ｆａ（ｘｂ）＝ｆ（ｘｂ）・ａ＝（ｆ（ｘ）・ｂ）・ａ＝ｆ（ｘ）・（ｂａ）
となってｆａ（ｘ）・ｂ＝（ｆ（ｘ）・ａ）・ｂ＝ｆ（ｘ）・（ａｂ）　（∀ｂ∈Ａ）
と一致しません。
もちろん,環Ａが可換ならば一致するのですが,基本的にＡ-加群を考えるときの
環Ａは可換性も仮定しているのでしょうか？