四元数代数

It is sometimes easier to use quaternions with complex elements, leading to a form that is not a division algebra.

有时候采用带有复数元素之四元数会比较容易，导得结果不为除法代数之形式。

The research of matrixes is continuously an important aspect of the quaternion division algebra. The purpose of this paper is to discuss the property of skew self-conjugate matrix. The definition of skew self-conjugate matrix on real quaternion division algebra is given.

四元数体上矩阵的研究是四元数代数理论中的一个重要方面，本文研究实四元数体上斜自共轭矩阵的性质，给出实四元数体上斜自共轭矩阵的定义。

In this note, we show that for any two matrices A and B over a generalized quaternion algebra defined on an arbitrary field F of characteristic not equal to two, if A and B are similar and the main diagonal elements of A and B are in F, then their traces are equal.

本文对于特征不是2的任意域F上定义的广义四元数代数上的两个矩阵A和B，给出如果A和B相似并且它们的主对角线上的元素在F中，那么它们的迹相等。

In this note, we show that for any two matrices $A$ and $B$ over a generalized quaternion algebra defined on an arbitrary field ${\bf F}$ of characteristic not equal to two, if $A$ and $B$ are similar and the main diagonal elements of $A$ and $B$ are in $\bf F$, then their traces are equal.

本文对于特征不是2的任意域${\bf F}$上定义的广义四元数代数上的两个矩阵$A$和$B$，给出如果$A$和$B$相似并且它们的主对角线上的元素在${\bf F}$中，那么它们的迹相等。

Computer; mathematical problems; Mizar project; quaternion numbers; algebra structure

计算机；数学问题； Mizar系统；四元数；代数结构

In this paper, we describe the history of Mizar system and the method to use theMizar system. Then we give the definition of quaternion numbers, module, algebrastructre etc, and then we prove its properties.

本文首先介绍了Miza(来源：ABC论文61网www.abclunwen.com)r系统的计算机操作原理和使用方法，给出了在Mizar语言系统下四元数、四元数的运算、共轭、内积、模等代数结构理论的证明，所做结论都通过了Mizar系统的验证，发表在波兰的《Formalized Mathematics》杂志上，并被收录到MML数据库中。

This paper adopts new algebra structure of quaternion matrix,to study how to apply a variety of iterative algorithm to quaternion linear systems.

本文通过引入四元数矩阵的新代数结构表示运算，研究如何将多种迭代算法应用于四元数线性系统上。

The algebra of quaternions, the first noncommutative algebra was thus sudd ly born.

四元数的代数，第一非交换的代数，就这样在一夜之间诞生了。

The algebra of quaternions, the first noncommutative algebra was thus suddenly born.

四元数的代数，第一非交换的代数，就这样在一夜之间诞生了。

The algebra of quaternions, the first noncommutative algebra was thus suddenly born

四元数的代数，第一非交换的代数，就这样突然诞生了。

According to the clear water experiment, aeration performance of the new equipment is good with high total oxygen transfer coefficient and oxygen utilization ratio.

曝气设备的动力效率在叶轮转速为120rpm～150rpm时取得最大值，此时氧利用率和充氧能力也具有较高值。

The environmental stability of that world - including its crushing pressures and icy darkness - means that some of its most famous inhabitants have survived for eons as evolutionary throwbacks, their bodies undergoing little change.

稳定的海底环境─包括能把人压扁的压力和冰冷的黑暗─意谓海底某些最知名的栖居生物已以演化返祖的样态活了万世，形体几无变化。