长度 (模论)

✍ dations ◷ 2025-10-23 01:57:15 #交换代数,模论,长度

在数学中,设 A {\displaystyle A} 。例如不可约的向量空间(视为域或除环上的模)是一条直线。对于单模,我们只可能造出一种严格递增的子模链:

单模是容易处理的对象。对于一个环 A {\displaystyle A} 上的 A {\displaystyle A} -模 M {\displaystyle M} ,如果我们能找到一条严格递增的子模链:

使得每个子商 M k / M k 1 {\displaystyle M_{k}/M_{k-1}} 都是单模,那么此链将是极大的——我们无法插入新的子模。根据以下将阐述的定义,这时 M {\displaystyle M} 将是有限长度的模,其长度 R ( M ) {\displaystyle \ell _{R}(M)} 恰为 n {\displaystyle n}

因此单模正好是长度为一的模。另一个例子:设 E {\displaystyle E} 是域 k {\displaystyle k} 上的有限维向量空间,那么一个极大的子模链是一族子空间 ( E k ) 0 k {\displaystyle (E_{k})_{0\leq k}} ,使得维度在每一步都加一:

而此时 dim k E = k ( E ) {\displaystyle \dim _{k}E=\ell _{k}(E)} ,这种资料称作旗。

A {\displaystyle A} 为一个环(可能非交换), 一个 A {\displaystyle A} -模 M {\displaystyle M} 的长度定义为严格递增的子模链长度的上确界:此即最大可能的整数 n {\displaystyle n} (可能是无穷大),使得 M {\displaystyle M} 中存在严格递增的子模链 M 0 M 1 M n {\displaystyle M_{0}\subsetneq M_{1}\subsetneq \cdots \subsetneq M_{n}} 。模 M {\displaystyle M} 的长度记为 A ( M ) {\displaystyle \ell _{A}(M)} ,不致混淆时也迳写作 ( M ) {\displaystyle \ell (M)}

有限长的模具有许多类似有限维向量空间的性质。例如:若 M {\displaystyle M} 为有限长模,则其子模皆有限长,设 N , P {\displaystyle N,P} 为两个子模, ( N ) = ( P ) {\displaystyle \ell (N)=\ell (P)} N P {\displaystyle N\subseteq P} ,则 N = P {\displaystyle N=P}

我们有 Grassman 公式:

对于有限长模 M {\displaystyle M} ,一个极大的子模链 { 0 } = M 0 M n = M {\displaystyle \{0\}=M_{0}\subsetneq \cdots \subsetneq M_{n}=M} 称为一个合成列,其长度 n {\displaystyle n} 是固定的,且合成因子 M i / M i + 1 {\displaystyle M_{i}/M_{i+1}} 在至多差一个置换与同构的意义下唯一。

此外,一个模是有限长模当且仅当它同时是阿廷模与诺特模。

相关

  • 葡萄糖胺氨基葡萄糖(C6H13NO5)又称葡萄糖胺、葡糖胺或氨基葡糖,是葡萄糖的一个羟基被氨基取代后的化合物。氨基葡萄糖是蛋白质或脂类糖基化反应中的重要前体。氨基葡萄糖衍生物N-乙酰氨
  • 起始因子起始因子(英语:Initiation factors)是指翻译起始阶段端结合到核糖体小亚基上的一些蛋白质,翻译是蛋白质生物合成中的一部分。主要分为三种:氨酰-tRNA合成酶 · 阅读框架 · 起始
  • 杨祥发杨祥发(英语:Shang Fa Yang,1932年11月10日-2007年2月12日),台湾科学家,沃尔夫农业奖得主。杨祥发是国立台湾大学农化学士(1956年)、美国犹他州立大学生化博士(1962年)、加州大学戴维斯
  • 柯玉芝柯玉芝(Kwa Geok Choo,白话字:Kua Gio̍k-tsi,1920年12月21日-2010年10月2日),闽南人,已故新加坡前任总理、前任国务资政及内阁资政李光耀妻子、现任总理李显龙的母亲。柯玉芝祖籍福
  • 定向选择定向选择(Directional selection)是天择的一种形式。对于一种特征(性状)的不同状态而言,因为不同状态带给生物体的适应度(适存度, fitness)有差异,其中一种状态的适应度较高,具
  • 原台南山林事务所坐标:22°59′29″N 120°12′15″E / 22.991272°N 120.204125°E / 22.991272; 120.204125原台南山林事务所位于台南市中西区,民国九十二年(2003年)5月13日台南市政府公告为市
  • 塞拉比斯塞拉比斯(拉丁语:Serapis、古希腊语:Σάραπις)或译塞拉皮斯(波西杰克森译塞瑞比斯)是希腊化时代的埃及神祇,是一个希腊-埃及复合神。公元前3世纪,托勒密王朝的法老托勒密一世
  • 历史 (希罗多德)由希罗多德编撰的《历史》(希腊语:),又称《希腊波斯战争史》,古希腊史书,成书年代约在公元前5世纪下半叶,原书用伊奥尼亚方言书写,内容包括古希腊城邦、波斯帝国阿契美尼德王朝、近
  • 黄毒蝇鹅膏菌 (G.F.Atk.) E.-J.Gilbert (G.F.Atk.) Murrill黄毒蝇鹅膏菌(学名:)是鹅膏菌科的一种蕈。菌盖显橙黄色,并带有黄橙色的疣点;菌环为黄橙色;有着从白至橙的菌茎。该蕈常见于北美东部
  • 大度路大度路,是台北市北投区的一条重要道路,始于磺港溪边大业路口(土地公埔),终于关渡中央北路四段路口(新北台北市界)连至民权路,是全长约3公里的直线道路,为连络新北市淡水区、三芝区