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

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• 部分R-加群 へ行く。
  • 1 (2019-01-27 (日) 09:16:11)
  • 2 (2019-01-27 (日) 12:01:22)

仮定

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

定義

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

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

例

• \( R \) のイデアル \( I \) は部分R-加群である。
• \( I \) を \( R \) のイデアル、 \( M \) をR-加群とするとき、

  mathjax

  \[ IM := \left\{\left(\sum_{1\leqq k\leqq m} a_jm_j\right) \in M \mathrel{}\middle|\mathrel{} a_j \in I, m_j \in M \right\} \]
  は部分R-加群である。
• \( M \) をR-加群とする。その任意の部分集合 \( S \) について、

  mathjax

  \[ \langle S\rangle := \left\{\left(\sum_{1\leqq j\leqq m} a_js_j\right) \in M \mathrel{}\middle|\mathrel{} m \in \mathbb{N}, a_j \in R, s_j \in S \right\} \]
  とするとき、 \( \langle S\rangle \) を \( S \) で生成される部分R-加群であるという。