剰余類群のR-加群構造 のバックアップ(No.2)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• 剰余類群のR-加群構造 へ行く。
  • 1 (2019-01-27 (日) 12:08:49)
  • 2 (2019-05-28 (火) 16:38:57)

仮定

• \( R \) は環
• \( M \) はR-加群
• \( N \) は \( M \) の部分R-加群

定義

剰余類群 \( M/N \) に定数倍写像を次のように定義すると、 \( M/N \) はR-加群となる:
任意の \( r ~(\in R) \) と \( m+N ~(\in M/N) \) に対して

証明

(well-definedness) 後々加筆する。