部分R-加群 のバックアップ(No.1)


仮定

  • \( R \) は環
  • \( M \) は R-加群
  • \( N ~(\subset M) \)\( M \) の部分アーベル群

定義

\( N \)部分R-加群であるとは、演算が "閉じている" ことを言う。つまり

\[ RN \subset N \]

なお \( RN \)\( \left\{r\cdot n \mathrel{}\middle|\mathrel{} r \in R, n \in N \right\} \) である。