跳轉至內容

環上的線性代數/模與線性函式

來自華夏公益教科書,開放的書籍,開放的世界

定義 (模):

是一個環。-模 是一個阿貝爾群 以及一個函式 ,用並置表示,滿足以下公理,對於所有

定義 (齊次):

是環 上的左模。一個函式 稱為齊次當且僅當對於所有 ,恆等式

成立。

定義 (線性):

是環 上的左模。函式 稱為線性 當且僅當它既是齊次的又是從 的阿貝爾群同態。

定理(第一同構定理):

是環 上的左模。令 是線性函式。那麼

.

證明:  

練習

[edit | edit source]
  1. 證明對於左 -模之間的函式 ,以下等價
    1. 是線性的
    2. 對於所有 ,我們有
    3. 對於所有 ,我們有
    4. 對於所有 ,我們有
華夏公益教科書