近世代数--除环与域--四元数体
博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。
我整理成一个系列:近世代数,方便检索。
四元数体是爱尔兰数学家哈密顿(W.R.Hamilton)于1843年发现的,是数学史上一件划时代的事件,把代数学从传统算术中解放出来,开启现代代数学的发展。
先验知识:
- 域 field:可交换的除环
- 体 skew field:非交换的除环
- 四元数 quaternion:四个元素1,i,j,k及实数所生成的,a1+bi+cj+dk,简记为a+bi+cj+dk
四元数体 quaternion field: H H H是所有形如 ( α β − β ˉ α ˉ ) , α , β ∈ C \left( \begin{matrix} \alpha& \beta\\ -\bar{\beta} & \bar{\alpha} \end{matrix} \right),\alpha,\beta\in C (α−βˉβαˉ),α,β∈C
的复矩阵所组成的集合。 证明: H H H关于矩阵的加法和乘法构成一个体。
证明:
-
环:证明是 M 2 ( C ) M_2(C) M2(C)的子环( M 2 ( C ) M_2(C) M2(C)是所有复数的二阶矩阵(2x2)所组成的集合,是个环),即证明减法封闭,乘法封闭
A = A= A= ( α β − β ˉ α ˉ ) \left( \begin{matrix} \alpha& \beta\\ -\bar{\beta} & \bar{\alpha} \end{matrix} \right) (α−βˉβαˉ) , B = , B= ,B= ( γ δ − δ ˉ γ ˉ ) \left( \begin{matrix} \gamma& \delta\\ -\bar{\delta} & \bar{\gamma} \end{matrix} \right) (γ−δˉδγˉ) ∈ H , A − B = \in H, \\A-B= ∈H,A−B= ( α − γ β − δ − β − δ ‾ α − γ ‾ ) \left( \begin{matrix} \alpha-\gamma & \beta-\delta\\ -\overline{\beta-\delta} & \overline{\alpha-\gamma} \end{matrix} \right) (