四元数代数

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

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

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。