记为
整系数矩阵环,
为子环
我们通过 在
上自然的左作用将
看成一个左
-模。
中的一个
-格是指一个左
-子模
使得
作为
模是有限生成的,并且满足
。两个
-格是等价的,如果它们作为左
-模是同构的。找出
中
-格等价类的个数(有限或无限),并证明你的答案。
解:
一、关键概念回顾
1.矩阵环: 所有
整系数矩阵的集合。
2.子环:
的子集,其中矩阵满足
且
。
3.左-模
:
-
,通过
在
上的自然左作用,
被看作一个左
-模。
4.-格的定义:
-
中的一个
-格是一个左
-子模
,它作为
-模是有限生成的,并且满足
。
5.-格的等价类:
- 如果它们作为左
-模是同构的,那么两个
-格是等价的。
二、分析-格等价类的个数
1.选择基向量:
- 选择基向量
和
。
2.证明线性无关性:
-
设
,其中
。
-
这意味着
且
,所以这两个向量是
线性无关的。
3.生成任意-格:
-
设
,由于
,所以存在
使得
。
-
设
和
,其中
,且
。
-
那么
,说明
可以由这两个向量的
线性组合表示。
-
又因为
是
-格,所以
,这表明
中的任意元素都可以由
和
的
线性组合生成。
4.等价类的个数:
- 由于
线性组合的数量是有限的,所以
-格的等价类个数也是有限的。
综上, 中
-格等价类的个数是有限的。
网友评论