本原环理论的一个应用.pdfVIP

维普资讯 鼓 学 年 刊 11A：2(Ig90)，1g7一舯1． 本 原 环 理 论 的一 个 应 用* 许 永 华 (复旦大学数学研究所) 提 要 本文给出一种方法去研究无限矩阵的相似性 并绪出几个实侧．说明通常线性代数仅仅 考虑在同～空间中对基的选取来简化矩阵形式是不够的，重要的还要选取适当的空间．这样， 我们才有可能把已给无限矩阵集合通过适当空间及适当的基相似地变成比较简单形式的矩阵 集台． 本原珏理论实质上是一种无限矩阵理论．本文利用我们所建立的本原环理论来研究 无限矩阵的 “相似性”问题．在文 [1】中我们建立了如下一个定理(即该文定理 1．3)： 设世={(，lj) )是除环 上一个矩阵环，其中每个 矩 阵 ( )r 只能有有 限多 个非零列(即(，·) 是一个几乎零列矩阵)，那末一定存在一个矩阵环 一{(9 J 蚰 ∈毋 ，它的每个 (船)，x是几乎零矩阵(即( ，的元素除有限多个非零外其余皆为 零)，使得世 与世 中的一个子环是加法群同构． 注 在上述定理的证明中，矩阵(，q)r 的(无限)阶I，l(表示足标集，的基数)小 于矩阵(蛳) 的阶l，I． 因为矩阵的阶就是所表示的向量空间的维数，因此不同的矩阵阶表示不同向量空间 维数，这就表明，上述定理之所以能使较复杂的矩阵环世 “相似于 “(或同构于)一个非常简 单的几乎零矩阵环 皿 的一个子环是因为这种 “相似性”不仅建立在同一空间里基的变换 而且更重要的是建立在对空间的适当选取．而熟知的通常线性代数的 “相似性”概念仅仅 局限在 同一空间里基 的选取，这是一个根本性区别． 现在我们对上面所述的 “选取适当空间”给出确切的定义，然后，把通常线性代数里所 述的矩阵相似性概念给以一般化． 首先，我们引进关联空间的概念 ． 定义l 设辨及 分别是 除环 及 上 (左)向量 空间，记o=End ，o一 End ． 我们说辨 与辨是关联空同当且仅当；(ij 与 是环同构，皿)在 口与 口中 分别存在非平凡的加法子群 与 而 与 是同构的，这里 所谓非平凡的是指 ≠ (0)， ≠Z一1．其中Z是整数环． 为了方便起见，我们称上述一对 (， ，)为关于关联空间辨 与 的一个线性变换予 群对 ． 本文 1987年9月 9日收到． - 文是由国家科学基金资助的项耳． 维普资讯 数 学 年 刊 l1卷 直 辑 定义 2 令 ={ ，，)及 ={ ：)，，r 分别表示除环．及 上的行有限矩阵 (即矩阵的每个行中元素最多有有限多个非零元)的加法群，其中，的基数 』，f可以不等 j 的基数}，，1．我们说G与 相似当且仅当存在关联空间 孵及F 以及关于关联空 间飒 及 JI2的一个线性变换子群对 (T T)使得 G一 ]及 G= [T]，其中 ]表示 在 妍 中适当基下 所对应 的矩阵群． 现在先举几个倒子． 例 1 令 飒= j 是除环 ．上向量空间，那束 与它 自己是关联空间．另一方面， 记 0=End飒， 是 臼的一个子群，那末在飒 的不同二个基下五分别所对应的矩 阵环 G一 “，tr×r)与 一{( )rr)在定义 2意义下相似．此时与通常意义下的相似概念一 致． 例 2 令飒 是除环 上向量空间，臼=End肼l，记 A一朋 是 0的任一极小右理 想， 一 ．那末由 [2]知，且是脒环 K= 上 向量空间 并且 臼=：End ，K 与 是 环 同构 因此 飒 与 是关联空间． 更深刻的例子是下面将要论述的，即推论1及2． 现在我们先进行一般性研究． 为 了不断