跳转到内容

長度 (模論)

维基百科,自由的百科全书

數學中,設 ,一個 -長度是一個整數(包括無窮大),它推廣了向量空間維度。有限長度的模與有限維向量空間有許多共通性。

動機

單模是除了零和本身外沒有子模的,這種模有時也稱為不可約模。例如不可約的向量空間(視為除環上的模)是一條直線。對於單模,我們只可能造出一種嚴格遞增的子模鏈:

單模是容易處理的對象。對於一個 上的 -模 ,如果我們能找到一條嚴格遞增的子模鏈:

使得每個子商 都是單模,那麼此鏈將是極大的——我們無法插入新的子模。根據以下將闡述的定義,這時 將是有限長度的模,其長度 恰為

因此單模正好是長度為一的模。另一個例子:設 是域 上的有限維向量空間,那麼一個極大的子模鏈是一族子空間 ,使得維度在每一步都加一:

而此時 ,這種資料稱作

定義

為一個(可能非交換), 一個 -模 長度定義為嚴格遞增的子模鏈長度的上確界:此即最大可能的整數 (可能是無窮大),使得 中存在嚴格遞增的子模鏈 。模 的長度記為 ,不致混淆時也逕寫作

例子

  • 單模的充要條件是長度為一。
  • 對於向量空間,長度等於維度。
  • 整數環 視為 -模,則其長度為無窮大,因為存在任意長的子模鏈
  • 設正整數 的素因數分解為 ,則有

性質

有限長的模具有許多類似有限維向量空間的性質。例如:若 為有限長模,則其子模皆有限長,設 為兩個子模,,則

我們有 Grassman 公式:

對於有限長模 ,一個極大的子模鏈 稱為一個合成列,其長度 是固定的,且合成因子 在至多差一個置換與同構的意義下唯一。

此外,一個模是有限長模若且唯若它同時是阿廷模諾特模

文獻

  • Serge Lang, Algebra (2002), Graduate Texts in Mathematics 211, Springer. ISBN 0-387-95385-X