環上的線性代數/模與線性函式
外觀
< 環上的線性代數
定義 (模):
設 是一個環。左 -模 是一個阿貝爾群 以及一個函式 ,用並置表示,滿足以下公理,對於所有 和
定義 (齊次):
設 , 是環 上的左模。一個函式 稱為齊次當且僅當對於所有 和 ,恆等式
成立。
定義 (線性):
令 , 是環 上的左模。函式 稱為線性 當且僅當它既是齊次的又是從 到 的阿貝爾群同態。
定理(第一同構定理):
令 和 是環 上的左模。令 是線性函式。那麼
- .
證明:
練習
[edit | edit source]- 證明對於左 -模之間的函式 ,以下等價
- 是線性的
- 對於所有 和 ,我們有 和
- 對於所有 和 ,我們有
- 對於所有 和 ,我們有