// 加群の定義を当たり前と思わないための戒めとしてメモする. 可換群$ M $が環$ R $上の左加群であるとは左作用$ R \times M \rightarrow M ; (a, x) \mapsto ax $に関して, (1) $ \forall a \in R, \forall x, y \in M $について$ a(x+y)=ax+ay $ (2) $ \f…