Method for Constructing a Commutative Algebra of Hypercomplex Numbers

: Until now, it was believed that, unlike real and complex numbers, the construction of a commutative algebra of quaternions or octonions with division over the ﬁ eld of real numbers is impossible in principle. No one questioned the existing theoretical assertion that quaternions, octo-nions, and other hypercomplex numbers cannot have the commutativity property. This article demonstrates the following for the ﬁ rst time: (1) the possibility of constructing a normed commutative algebra of quaternions and octonions with division over the ﬁ eld of real numbers; (2) the possibility of constructing a normed commutative algebra of six-dimensional and ten-dimensional hy-percomplex numbers with division over the ﬁ eld of real numbers; (3) a method for constructing a normed commutative algebra of N-dimensional hypercomplex numbers with division over the ﬁ eld of real numbers for even values of N; and (4) the possibility of constructing a normed commutative algebra of other N-dimensional hypercomplex numbers with division over the ﬁ eld of real numbers. The article also shows that when using speci ﬁ c forms of representation of unit vectors, the product of vectors has the property of commutativity. Normed commutative algebras of N-dimensional hy-percomplex numbers can be widely used to solve many topical scienti ﬁ c problems in the ﬁ eld of theoretical physics for modeling force ﬁ elds with various types of symmetry, in cryptography for developing a number of new cryptographic programs using hypercomplex number algebras with di ﬀ erent values of dimension, and in many other areas of fundamental and applied sciences.


Introduction
After successfully applying the algebra of complex numbers and functions of complex variables to solve a number of complex theoretical problems, many of the famous mathematicians in the world spent a lot of effort on solving the problem of constructing, first of all, an algebra of three-dimensional variables, in order to later construct algebras of multidimensional variables. Therefore, the quaternions proposed by W.R. Hamilton in 1843 gave rise to the rapid development of vector algebra and a number of other important sections of modern mathematics, which are an effective basis for building the fundamental foundations of theories and research methods in many areas of science and technology [1][2][3][4][5][6][7][8][9]. For example, vector algebra is the main mathematical tool for solving fundamental problems in the fields of mechanics [2,3,6,7], the theory of force fields [4,5], and the theoretical foundations for the formation of charged particle flows [8,9] in analytical instrumentation. Algebras of quaternions, octonions, and other hypercomplex numbers enable effective mathematical modeling of various physical processes and distributions of different types of force fields in spaces with different types of symmetry. Therefore, they are widely used to solve various fundamental and applied scientific problems; for example, they are used to solve a number of complex specific problems in the fields of theoretical and applied physics, robotics, cryptography, and digital processing of multidimensional signals [10][11][12][13][14][15][16][17][18][19][20][21][22]. For example, works [10][11][12][13][14][15][16] can be used in applied physics and robotics in the study of complex motions in space; in works [17][18][19][20][21][22], methods for using hypercomplex numbers in solving problems of relativistic physics and encoding multidimensional signals are given.
An analysis of the content of scientific papers and books devoted to theoretical problems of the algebra of hypercomplex numbers demonstrates that the construction of a commutative algebra of quaternions with division over the field of real numbers is considered impossible. There is practically no doubt about the existing theoretical statement that, unlike real and complex numbers, quaternions and other hypercomplex numbers cannot have the commutativity property. Doubts about this problem are also eliminated by the fact that the well-known theorems of Frobenius and Hurwitz also imply the impossibility of constructing a commutative algebra of quaternions, octonions, and other hypercomplex numbers [23].
The possibility of constructing a commutative division algebra of quaternions and other hypercomplex numbers over the field of real numbers was first considered in a recently published paper [24]. This article analyzes the product of quaternions and provides a proof of the theorem that the commutativity of the quaternion algebra can be ensured by setting a set of sign coefficients of the angles between the radius vectors in the coordinate planes of the vector part of the quaternion space coordinate system.
In this paper, we continue the discussion of the problem considered in [24] and study in more detail the condition for ensuring the commutativity of the algebra of hypercomplex numbers. Let us start with general questions, then move on to the formulations and proofs of theorems on the method of constructing a commutative algebra of hypercomplex numbers.

Materials and Methods
The field of complex numbers, as it is known, forms a commutative division algebra over the field of real numbers. A well-known extension of the complex numbers that form a non-commutative division algebra is the quaternions, which have the form By doubling the quaternions, eight-dimensional numbers were obtained, which, according to the number of variables, were called octonions (octaves). Complex numbers, quaternions and octonions, and other hypercomplex numbers, as noted above, are currently very widely used in various branches of fundamental and applied mathematics.
Until now, it is considered impossible to construct hypercomplex numbers with division over the field of real numbers by other methods, except for doubling complex numbers, quaternions, and so on. Moreover, only algebras of numbers with dimensions 1, 2, 4, and 8 are recognized as exceptional division algebras. In addition, it is believed that only real and complex numbers have the property of commutativity of a product. In the traditional theory of hypercomplex numbers, it is considered proven that algebras of numbers with dimensions 4, 8, and so on cannot be commutative.
In the general case, in the canonical form, an N -dimensional hypercomplex number ( ) N h x can be written as where 0 x is a scalar component, variables n x ( 1, 2,..., 1 n N = − ) make up the vector part of a hypercomplex number, and n i are imaginary units that satisfy the condition We start by considering the theorem on the commutativity of the product of quaternions. Taking into account (1), we write the quaternion ( ) where , , , s x y z are real numbers and , , x y z i i i are imaginary units that satisfy the con- Quaternions, when performing mathematical operations, will be further presented in a specific form where the index m indicates that the quantities belong to a specific value of the quaternion. Note that when performing addition and subtraction operations for , m a b = and in the general case Theorem 1. The commutativity of the product of quaternions a a a a a x a y a z a q s i x i y i z = + + + can be ensured under the following conditions Proof. First, let us take a closer look at the result of the multiplication a b q q .
Now, let us swap the factors and also consider the result in detail b a q q .
Comparison of the obtained results (4) and (5) confirms that the product of quaternions has the commutativity property (6) Equation (6) implies that, under the considered method of ensuring the commutativity of the product, the quaternion algebra retains the property of a normed division algebra over the field of real numbers.

Results
Let us now consider, applying the method outlined above, the possibility of constructing a commutative algebra for other types of hypercomplex numbers. First, we formulate and prove a theorem on the commutativity of the product of octonions. Proof. For octonions, the rules for multiplication of unit imaginary vectors indicated in i satisfy the conditions given in Table 1.
Swapping the multipliers and performing the multiplication again, we can see that the product of octonions has the property of commutativity, that is The conjugate number of the octonion ( ) Equation (8) shows that when performing the multiplication operation using Table 1, the octonion algebra has the property of a normed division algebra over the field of real numbers. Theorem 2 is proved. □ table instead of Table 1, in which the conditions of Theorem 2 are satisfied. As an example, consider the possibility of constructing a commutative algebra using Table 2.

Remark 2. Commutative algebras of eight-dimensional hypercomplex numbers can also be constructed by using another multiplication
Let us now perform the multiplication of eight-dimensional hypercomplex numbers built on the basis of Table 2.
From Equation (9) and the conditions of Theorem 2, it is easy to see that the eightdimensional hypercomplex numbers constructed on the basis of Table 2 have the product commutativity property. The algebra of these hypercomplex numbers is also a normed algebra. Table 2, the traditional rules for doubling quaternions were not used to construct eight-dimensional numbers. Therefore, we can conclude that the dimension of hypercomplex numbers with commutative algebra may not satisfy the condition 2 n , where n = 1, 2,

3,…, N.
To confirm this conclusion, consider the possibility of constructing six-dimensional hypercomplex numbers based on Table 3. Table 3. Multiplication table of imaginary units for six-dimensional hypercomplex numbers Multiplying the six-dimensional hypercomplex numbers ( ) From (10), it is easy to establish that the product of the six-dimensional numbers under consideration satisfies the commutativity properties of the product of factors.
According to Equation (1) above, an arbitrary six-dimensional number can be represented as ( ) Then, for the six-dimensional number (11), the conjugate number has the form ( ) From (10) to (12) it follows ( ) ( ) 2 2 2 2 2 2 Equation (13) indicates the possibility of constructing a normed division algebra for six-dimensional hypercomplex numbers over the field of real numbers.
The proof of the above theorems and the examples considered allow us to formulate the following lemma on the commutativity of the product of hypercomplex numbers with dimension N .  Theorem 3 is a special case of the above lemma, so the proof of this theorem is the same as the proof of the lemma. Note that by changing the conditions for determining the sign coefficient k σ , it is possible to generate hypercomplex numbers for modeling systems with different types of symmetry.
Let us give examples of the construction of hypercomplex numbers according to the rules given in this theorem. The first example is the eight-dimensional hypercomplex number discussed above with the multiplication rules shown in Table 2.
Let us take another example. For commutative ten-dimensional hypercomplex numbers, the multiplication table has the following form (Table 4): Table 4. Multiplication table of imaginary units for ten-dimensional hypercomplex numbers It is easy to see from this equation that the product of the considered ten-dimensional hypercomplex numbers satisfies the commutativity properties of the product of factors.
For a given ten-dimensional hypercomplex number ( ) It follows from this formula that when performing the multiplication operation using Table 4, the algebra of ten-dimensional hypercomplex numbers has the property of a normed division algebra over the field of real numbers.
On the basis of studies of the properties of normed algebras by Hurwitz and division algebras over the field of real numbers by Frobenius in the theory of hypercomplex numbers, a conclusion was made about identities for normed division algebras over the field of real numbers. These identities generally have the form . Algebras for which this identity holds were considered exceptional normed division algebras over the field of real numbers. Note that the theorems of Hurwitz and Frobenius were mainly concerned with the definition of properties of associative and alternative algebras of hypercomplex numbers. The method proposed in this paper for constructing commutative algebras of normed hypercomplex numbers significantly expands the list of algebras that satisfy the above identity. For example, the identity for the six-dimensional algebra considered above has the form  .
A similar identity can be given for ten-dimensional hypercomplex numbers ( )     .
As noted above, vector algebra developed rapidly after Hamilton's proposal of the quaternion algebra. The space of vectors, as is known, can be considered as a part of the space of quaternions. Therefore, the method of ensuring the commutativity of the product of quaternions must also lead to the commutativity of the vector (orthogonal) product of vectors. In canonical form, a three-dimensional vector r  has the form x y z r xe ye ze where , , x y z are the coordinates of the axes in the coordinate system of three-dimensional space, and , , e e y z z y e e z x x z x y y x e y z z y e z x x z e r r Theorem 4 is proved. □ The method of constructing a commutative algebra of hypercomplex numbers considered in the article and the theorem on the commutativity of the vector (orthogonal) product of vectors can be used to solve a wide range of fundamental and applied scientific problems.

Discussion
It follows from the foregoing that the main condition for constructing a commutative algebra of hypercomplex numbers is the need to indicate that the imaginary units belong to one or another factor when performing the multiplication operation. Unfortunately, from the moment Hamilton proposed the foundations of quaternion algebra and vector algebra until now, no one paid attention to this condition.
To justify the need to denote the belonging of imaginary units or unit vectors to one or another factor when performing the operation of multiplying hypercomplex numbers or vectors, consider the following two-dimensional vector where x e  and y e  are the unit direction vectors, x and y denote the coordinate values of the point in the Cartesian coordinate system.
The same vector, with modulus R and eigendirection e  , can also be represented From formulas (1) and (2) Here, the coordinate ϕ describes, in addition to the linear directions x and y , the rotational direction.
The rotation of a coordinate system x′ , y′ or individual vectors about an axis x by an angle ϕ can be described using a unit rotation vector cos sin x xy y xy e e e ϕ ϕ ϕ To denote the direction of the angular coordinate in Equation (18) Let us assume that when the coordinate system x′ , y′ is rotated, the unit vector (18) describes the angular direction of displacement of the abscissa of the rotating rectan- The modules of all the above unit vectors are equal to one. From (18) and (19) Equations (20) and (21) Equation (24) In (29), it is taken into account that the angles are also measured from the unit vector, which is indicated by the first factor.
For orthogonal products of unit vectors, we take ( ) In Equation (30), as in traditional vector algebra, a new unit vector z e  is introduced for the linear display of angular directions. As shown above, the application of Equations (31) and (32) when multiplying noncollinear factors makes it possible to ensure the commutativity of the product of vectors and the commutativity of the algebra of hypercomplex numbers.

Conclusions
Until now, in all textbooks and scientific works on algebra, it has been argued that, unlike real and complex numbers, the construction of a commutative division algebra of quaternions over the field of real numbers is impossible in principle. Almost no one questioned the existing theoretical statement that quaternions, octonions, and other hypercomplex numbers cannot have the commutativity property.
This article demonstrates for the first time: (1) The possibility of constructing a normed commutative quaternion algebra with division over the field of real numbers; (2) The possibility of constructing a normed commutative octonion algebra with division over the field of real numbers; (3) The possibility of constructing a normed commutative algebra of six-dimensional and ten-dimensional hypercomplex numbers with division over the field of real numbers; (4) The possibility of constructing a normed commutative algebra of N-dimensional hypercomplex numbers with division over the field of real numbers; (5) A method for constructing a normed commutative algebra of N-dimensional hypercomplex numbers with division over the field of real numbers for even values of N; (6) The possibility of a significant expansion of the list of algebras that satisfy the sum of squares identity for normed division algebras over the field of real numbers; (7) The product of vectors has the property of commutativity; when multiplying, it is necessary to use specific forms of representation of factors.
The normed commutative algebras of N-dimensional hypercomplex numbers can be widely used to solve many topical scientific problems in various areas of fundamental and applied sciences. For example, in the field of theoretical physics, one can successfully model force fields; in cryptography, one can propose a whole range of new cryptographic programs using hypercomplex number algebras with different dimension values. There are many other possibilities for applying the results of this work.