特征2的除环上Hermitian矩阵几何.pdfVIP

中国科学 数学 年 第 卷 第 期 ∼ 特征 的除环上 矩阵几何 黄礼平 长沙理工大学数学与计算科学学院 长沙 收稿日期 接受日期 湖南省教育厅资助 批准号 科研项目 摘要 设D 是带对合的除环 当D ̸ 时 D 上 矩阵几何的基本定理最近已经证明 作者进一步证明了特征 的带对合的除环上 矩阵几何的基本定理 从而得到任意带对合的 除环上 矩阵几何的基本定理 关键词 带对合的除环 矩阵几何 矩阵 主题分类 引言 矩阵几何研究由华罗庚开创− 并且华的工作由很多学者继续− 矩阵几何的基本问题是刻 画关于矩阵加法群的粘切性保持双射 关于 矩阵几何的研究 华罗庚 在 年讨论了复 数域上的 矩阵几何 万哲先 − 在 年证明了满足一定条件的除环上 矩阵几何的基本定理 最近 我们 − 证明了特征不等于 的除环上 矩阵几何的基本定 理 论文 还刻画了关于复数域上 矩阵空间的粘切性保持映射 对于特征 的带对合的除环体 其 矩阵几何的基本定理仍是一个公开问题 本文解 决了这个问题 因此得到任意带对合的除环上 矩阵几何的基本定理 − 在本文中 设D D, − 是一个带对合 阶为 的反自同构 的除环 Z 为D 的中心域 D 为D 的特征 用 ( ) 表示特征不等于 的域Z 上的四元数可除 结合 代数 其中a, b ∈ Z∗ 设 F D, − {a ∈ D a a}, K D, − {a ∈ D a −a}, 分别简记F D, − 和K D, − 为F 和K 设子集X ⊆ D 用 |X | 表示X 的势 X ∗ 表示X 中的可逆 元集合 设 是仅有两个元素的有限域 设 D × 是D 上 m × n 矩阵的集合 D D× 用 GL D 表示 D 上 n × n 可逆矩阵的集 × ′ 合 设 A a ∈ D 记 A a 为 A 的转置矩阵 若 σ D → D 是一个映射 我们定义 × − A a 设A ∈ D 若 A A 则称A 为关于对合 的 矩阵 用 H D, − 简记 − − H D 表示 D 上关于对合 的所有n × n 矩阵的集合 若D F 则D 是一个域 是 恒等映射 当D F 时 通常用 S F 表示 H D 称其为域 F 上 n × n 对称矩阵的集合 显然 H D 是域Z ∩ F 上的线性空间 它的元素称为点 所有以下形式的双射 X −→ P XP H , ∀ X ∈ H D, 英文引用格式 黄礼平 特征 的除环上 矩阵几何 其中P ∈ GL D 和H ∈ H D 构成H D 的一个变换群 设 A, B ∈ H D 定义 A, B A − B 为 A 与 B 之间的算术距离 当A, B ′ ′