>>360
(前半)
あなたはR加群をどう定義してるの?
ふつうの流儀でふつうに作用を入れると同型になると思うけど。

(後半)
Yes