Powers of Elliptic Scator Numbers

: Elliptic scator algebra is possible in 1 + n dimensions, n ∈ N . It is isomorphic to complex algebra in 1 + 1 dimensions, when the real part and any one hypercomplex component are considered. It is endowed with two representations: an additive one, where the scator components are represented as a sum; and a polar representation, where the scator components are represented as products of exponentials. Within the scator framework, De Moivre’s formula is generalized to 1 + n dimensions in the so called Victoria equation. This novel formula is then used to obtain compact expressions for the integer powers of scator elements. A scator in S 1 + n can be factored into a product of n scators that are geometrically represented as its projections onto n two dimensional planes. A geometric interpretation of scator multiplication in terms of rotations with respect to the scalar axis is expounded. The powers of scators, when the ratio of their director components is a rational number, lie on closed curves. For 1 + 2 dimensional scators, twisted curves in a three dimensional space are obtained. Collecting previous results, it is possible to evaluate the exponential of a scator element in 1 + 2 dimensions.


Introduction
De Moivre's formula establishes a relationship between complex algebra and trigonometry through the evaluation of powers of numbers in modulus and angle variables. This type of relationship has been extended to higher dimensional algebras, notably quaternions [1], split quaternions [2], dual complex numbers [3], real and complex 2 × 2 matrices [4] and other Clifford algebras [5]. De Moivre's relationship is closely related to Euler's formula and hence to the exponential function. Advances in De Moivre type expressions have also produced novel results in the exponential mapping, for example in split quaternionic matrices [6]. The exponential function is unique, between other things, because for the real and complex algebras, it maps the additive group onto the multiplicative group, the basic operations of the real and complex fields.
Elliptic scator algebra extends complex numbers to a higher number of dimensions, retaining one real part, labeled scalar part in scator parlance and any number of hypercomplex components [7]. The underlying philosophy of this algebra is to some extent, related to geometric algebras [8,9]. Videlicet, giving a geometric meaning to the algebraic operations from the outset. This, in turn, lends naturally to describe time, space and other properties in the physical world [10]. The set of elliptic scators is akin to split-quaternions in the sense that it contains zero divisors and nilpotent elements. However, the scator product is not bilinear, thus, it cannot be represented as a matrix-matrix product. The scator product provides an interesting route for a unified mathematical description of quantum dynamics, encompassing the quantum system time evolution and its reduction to observed states [11]. Scator algebra has also been successfully applied to other problems, such as a time-space description in deformed Lorentz metrics [12][13][14] and three dimensional fractal structures [15,16].
This algebraic structure has two representations, an additive and a multiplicative representation that corresponds to the rectangular and polar versions of complex numbers. The relationship between the two scator representations is established by a generalized Euler's type equation. The component's exponential function is a scator function of a scator argument that extends the notion of the complex exponential to higher dimensions [17]. This function, labeled 'cexp', is scator holomorphic and its derivative is the function itself, thus it satisfies the differential equation f o ζ = f o ζ , where the prime denotes differentiation with respect to o ζ. The set of holomorphic functions according to the differential quotient criterion [18] is somewhat larger than their counterpart in the quaternion set [19]. The additive and multiplicative (rectangular/polar) scator representations allow for a generalization of De Moivre's formula to 1 + n dimensions in scator algebra.
In this paper, the essentials of elliptic scator algebra are presented in Section 2. Emphasis is laid on the transformations between representations. Just as in real and complex algebra, the components exponential function, reviewed in this section, maps scator addition onto scator multiplication. This result is used to prove the commutative group properties in the multiplicative representation and its relationship with non-associativity in the additive representation. The relation between a scator raised to an integer power and angle multiplication is established in Section 3. A geometric representation of these results is presented in Section 4. The exponential of a 1 + 2 dimensional scator and its relationship with the components exponential function, is obtained in Section 5.

Elliptic Scator Algebra
The two scator representations and the fundamental scator addition and scator product operations are reviewed in this section. In the additive representation, scator elements are represented by a sum of components: where f 0 , f j ∈ R, j from 1 to n ∈ N andě j / ∈ R. The scator coefficients in this representation, named the additive variables, are tagged with lowercase Latin letters. The multiplicative or polar representation of a scator is: where ϕ 0 ∈ R + , ϕ j ∈ R, andě j / ∈ R; R + represents the interval [ 0, ∞) . The scator variables in the multiplicative representation ϕ 0 , ϕ j , named multiplicative variables, are with Greek letters. The zero subindex component is the scalar component in either representation. The director components are labeled with subindices 1 to n. For all elements in the S 1+n scator set, the additive scalar component must be different from zero if two or more director components are not zero, In the early papers E 1+n was used instead of S 1+n .

Transformation between Representations
The transformation from the multiplicative to additive representation originates from Euler type relationships for eachě j director component, e ϕ jěj = cos ϕ j + sin ϕ jěj , where the scator product of a unit director with itself is minus one,ě jěj = −1. The scator o ϕ given by (2), is then : The product of terms involving only orthogonal director components in the factors is requested to distribute over addition. In general, scator multiplication does not distribute over addition [7]. Two unit scators are orthogonal in scator algebra, if their scator product is zeroě jěk = 0. The n director units are requested to be orthogonal between them, that is, e jěk = 0 for all j = k, for j, k from 1 to n. The product of the scator components is then: The mapping of the multiplicative to additive representations is given by the function The arguments of the trigonometric functions are, of course, modulus 2π due to their fundamental period. The inverse mapping is given by the function f amur : S 1+n → (R + ; R n ) defined, for scators with f 0 = 0, by for scators with zero additive scalar component and non-zeroě j director component by: and for the null scator To recap, there are two representations of scator numbers, additive and multiplicative, each of them with their corresponding additive (1) or multiplicative (2) variables. A scator number can also be expressed in the additive representation with multiplicative variables (5) or in the multiplicative representation with additive variables (6a) and (6b). These four possibilities are a higher dimensional analogue of complex numbers that can be written in Cartesian form with real and imaginary parts z = a + ib, or polar form z = re iϕ with modulus and angle variables; z = r(cos ϕ + i sin ϕ) or z = being the other two possible ways to write them. The relationships between variables are: and There is no scator additive to multiplicative representation in the R 1+n \ S 1+n set.In 1 + 1 dimensions, there are j subsets S 1+1 j ⊆ S 1+n where allě l coefficients vanish, except for the j th component. These j scator sets are isomorphic to C. Equation (5) reduces to Euler's formula for any one of these sets, f mar : ϕ 0 e ϕ lěl −→ ϕ 0 cos(ϕ l ) + ϕ 0 sin(ϕ l )ě l , whereě l / ∈ R represents a hyper-imaginary unit,ě lěl = −1.

Scator Algebra-Fundamental Operations
Scator algebra is endowed with two fundamental operations. The sum for scators o α = a 0 + ∑ n j=1 a jěj ∈ R 1+n and Scator addition satisfies Abelian group properties.

Product in the Additive Representation
S 1+n is the subset of R 1+n where multiplication is defined in the additive representation.
If a 0 = 0 and b 0 = 0, o α = a lěl has a single non-vanishing director component, where δ lj is a Kroneker delta. The (9b) and (9c) product definitions can be obtained from the appropriate limits of (9a). Evaluation of the director components limits should always be performed prior to the scalar component limit, in order to remain within the S 1+n set [11]. Conjugation of Multiplication is commutative and, if zero is avoided, all elements have inverse in S 1+n . A previous communication has been devoted to the conditions when the product is or is not associative in the additive representation [11]. The two main results are: Theorem 1 (Fernandez-Guasti, 2018). "The scator product in S 1+n is associative in the additive representation if all possible product pairs have a non vanishing additive scalar component, The set S 1+n =0 ⊆ S 1+n is the subset of S 1+n with a non zero additive scalar component. In the associative case, for n > 1, all products invoke (9a), whereas in the non-associative case, a product rule other than (9a) is invoked in at least one of the products. Theorem (1) establishes a sufficient condition for the scator product to be associative in the additive representation, whereas Theorem (2) establishes a necessary condition for non-associativity.

Product in the Multiplicative Representation
In the multiplicative representation, the product of two scators is evaluated by performing the multiplicative scalars product and the addition of the multiplicative director coefficients with the same director unit, The multiplicative scator components having the same directorě j , satisfy the addition theorem for exponents. The conjugate of the scator o ϕ = ϕ 0 ∏ n j=1 e ϕ jěj , is obtained by the negative of the director components, leaving the multiplicative scalar component The o cexp function is scator holomorphic in the entire R 1+n domain according to the differential quotient criterion [17]. In the additive representation, the o cexp function is: cexp : R 1+n → S 1+n function maps scator addition onto scator multiplication.

Proof. For scators
Since the exponential addition theorem is satisfied component-wise, this expression can be rearranged to obtain: The multiplicative scator representation in terms of the o cexp function is: as can be seen from (2) and (12a).

Corollary 1.
The scator product satisfies commutative group properties in the multiplicative representation.
Proof. The commutative group properties of addition for the director components are mapped onto the commutative group properties of the director components in the multiplicative representation. The product of the multiplicative scalar components is a product of two real numbers; provided that the scator with zero magnitude is excluded, commutative group properties are satisfied.
In particular, product associativity is satisfied in the multiplicative representation,

Remark 1.
The product of non zero factors is never zero in the multiplicative representation, for example, let α j + β j = π 2 for all j from 1 to n, The magnitude of this scator is In the multiplicative representation, the product of the magnitudes is always equal to the magnitude of the products.
The group properties of the scator product in 1+2 and 1+3 dimensions, have been discussed in an embedding of scator algebra in a higher dimensional space [20].

Definition 2.
The product of exponentials with differentě j components is irreducible in the multiplicative representation, that is, it is not possible to express such a scator with fewer factors. The product φ 0 ∏ n j=1 exp ϕ jěj can no longer be simplified, regardless of the values of the ϕ j coefficients. Inasmuch as the sum, f 0 + ∑ n j=1 f jěj , is irreducible in the additive representation, for it cannot be written with fewer addends.

Product in the Additive Representation with Multiplicative Variables
The product can be written with multiplicative variables in the additive representation from (5) and (11), The conditions for a product to give a zero scalar component or a null scator in terms of the additive variables have been discussed before ( [11], Sec. 3.1). Consider these conditions using multiplicative variables. Zero This is condition a 0 b 0 = a l b l in additive variables, since 1 = a l b l a 0 b 0 = tan α l tan β l and cos α l cos β l = sin α l sin β l can be rewritten as the cosine of the sum of angles, cos(α l + β l ) = 0. A particular value of the previous case is α l = π 2 , then β l = 0, that corresponds, in additive variables, to Zero products: If two or more director arguments are equal to π 2 mod π, a scator is zero in the additive representation. Let theě l andě q arguments be π 2 , from (15), the scalar component and all director components with j = l, q involve a cos 2 π 2 factor, theě l anď e q coefficients involve a cos π 2 factor, The multiplicative (11) and additive (9a)-(9c) definitions of the product are equivalent. In the early papers, this equivalence led us to a wrong statement regarding the product associativity in the additive representation, that has now been corrected [11]. The lack of associativity in the additive representation arises because the single multiplication rule in the polar representation is mapped into three different rules in the additive representation. When different rules in the additive representation have to be used, product associativity becomes an issue. Some examples will be given in the next sections.

Victoria Equation
The main theorems, stated in this section, establish the relationship between a scator raised to an integer power and angle multiplication by the integer number. Examples are worked out to become familiar with the theorems in the multiplicative and additive representations. The post-evaluation criterion is introduced to exhibit the equivalence between representations when the product is not associative in the additive representation. The conditions for a nilpotent element and a scator raised to a given power with zero scalar component are considered in Section 3.1. The exponential addition theorem is satisfied component wise in the multiplicative representation of scator algebra, thus the following proposition.
Theorem 3. In the multiplicative representation, for a scator o ϕ ∈ S 1+n raised to the power m ∈ Z, the exponent m distributes over the scator factors: by induction, for m ∈ N, the m th power of a scator in the multiplicative representation is The multiplicative inverse is: Therefore, (18)  The multiplicative to additive transformation together with Theorem 3, allow for the following generalization of De Moivre formula in scator algebra.

Theorem 4.
Provided that the product of the factors and its components are associative, a scator o ϕ ∈ S 1+n raised to the power m ∈ Z, can be written in the additive representation as: Proof. From the multiplicative to additive transformation (5) applied to both sides of Equation (17), Equation (19) is obtained. While (17) is valid for any arguments, the possible lack of associativity in the additive representation could mar (19), because the left side of the equation is product associativity dependent while the right side is not. Theorem 1 establishes the associativity sufficient condition in the additive representation, namely, that none of the possible product associations give a scator with zero scalar additive component for n > 1. The multiplicative to additive transformation (5), involves the product of the scator components (4a). Equation (19) in terms of the director components factors is: This equation and thus Equation (19) is satisfied if none of the m × n products on the left of (20), produce a scator with zero additive scalar component for n > 1. If there is only a single one non-zero director component, the scator product becomes a bilinear operation in the additive representation (9a)-(9c), associativity of the product is then insured even if the additive scalar component is zero.

Definition 3.
If the Victoria equation (19), is evaluated symbolically, that is, without entering any specific values for the arguments, the (9a) product rule should always be used. If thereafter, particular scator component values are inserted, the procedure is known as the postevaluation algorithm.
The Victoria equation is satisfied if the post-evaluation algorithm is adopted, even if associativity of the factors is not fulfilled. In this case, associativity in the additive representation should not have any precedence parenthesis if the product is evaluated symbolically prior to entering specific values.
cos (2), and   Proof. The multiplicative coefficients ϕ j of a scator raised to the power m ∈ Z are mϕ j . Since the product mϕ j is also algebraic but π is transcendental, mϕ j cannot be equal to π 2 . At least one component mϕ j = π 2 is necessary for a scator product to have a null scalar component. This, in turn, is a necessary condition for non-associativity. Proof. This result follows from the Victoria equation (19), the zero additive scalar component condition in Section 2.5 and Theorem 1.

Nilpotent and Nil-Scalar-Potent Elements
Elements whose three components have equal absolute value in the additive representation, are the only non trivial square nilpotent elements in 1 + 2 dimensional imaginary scator algebra ( [15], Lemma 1). The present formalism permits a more encompassing proposition.

Lemma 2.
A scator o ϕ = ϕ 0 ∏ n k=1 cos(ϕ k ) + ∑ n j=1 ϕ 0 ∏ n k =j cos(ϕ k ) sin ϕ j ě j , is power m nilpotent in the additive representation, if ϕ l = ϕ q = ± π 2m mod π, for any two different director components, l = q and none of the ϕ j 's different from ϕ l , ϕ q are of the form π 2p with p < m.

Proof. The scator
evaluated to the m th power from (19) is, However, all terms involve at least a cos π 2 = 0 factor, thus o ϕ m = 0. The condition on the ϕ j =l,q director coefficients insures that the scator is not nilpotent for any smaller m.  Proof. The proof is analogous to Lemma 2, but only one director component is requested to satisfy ϕ l = ± π 2m mod π, It is not straight forward to state whether a scator number in the additive representation with additive variables, that is, o ϕ = f 0 + ∑ n j=1 f jěj , is nil-scalar-potent for some exponent m. A possible route to giving an answer without a direct calculation is to evaluate the multiplicative director coefficients via (7a), ϕ j = arctan f j f 0 . An m nil-scalar-potent scator requires that ϕ j = ± π 2m for any j from 1 to n. Thus, for each component, evaluate if m is an integer, the scator will be power m nil-scalar-potent. It is of course possible that different director components have different ms that satisfy (24), then for each m j ∈ Z the scator will be power m j nil-scalar-potent. If two or more components satisfy the condition (24), the scator is power m nilpotent.

Example 3. Consider the scator,
where f 0 = ∏ n k=1 cos(ϕ k ). In the additive representation, identify the different director components with equal (absolute value) coefficients. For each pair, evaluate π 2 arctan Thus the scator (25) is power 6 nilpotent.

Geometric Interpretation
The scalar component and two director components can be depicted in orthogonal directions in a three dimensional plot. The director coefficients in multiplicative variables ϕ x and ϕ y are geometrically represented by the angle between the scalar (real) axis and the projection onto the corresponding hyperimaginary director axis as shown in Figure 1. Notice that these angles are neither spherical coordinate angles nor direction cosines, nor Euler angles. Positive scator angles are measured taking the scalar axis as reference and measuring towards the corresponding positive director axis. In low dimensional cases, letters are sometimes used for the director coefficient subindices instead of numbers. The product of two scators with constant coefficients involves a scaling and a rotation in each scalar-hypercomplex plane. Consider the product of unit magnitude scators so that scaling is not an issue in the following discussion. The magnitude of a product is equal to the product of the magnitudes provided that the products are associative [11]. Therefore, for n > 1, the product of unit magnitude scators will remain unitary if the scalar component of the products and its scator conjugates do not vanish. In particular, the powers of associative unit scators lie on the isometric scator surface, called a cusphere [17]. The unit cusphere is an n dimensional surface embedded in a 1 + n dimensional space that satisfies the condition o ϕ = o 1. The additive representation with multiplicative variables of a unit scator is: where, on the left, the scator components are explicitly shown, the scalar component is separated by a semicolon from the director components that are separated by commas.
Recall that Greek letters with subindices represent multiplicative variables whereas Latin letters, that is, o ϕ f 0 ; f x , f y , represent additive variables. The scator (26) can be factored as o ϕ = (cos ϕ x + sin ϕ xěx ) cos ϕ y + cos ϕ x sin ϕ yěy , so that the angle ϕ x in the s,ě x projection (the scalar axis is labeled s for short) is preserved regardless of the ϕ y angle. The plane defined by the unit scators o ϕ(1; ϕ x , 0) andě y is depicted in yellow in Figure 1. Similarly, o ϕ = cos ϕ y sin ϕ xěx + cos ϕ y + sin ϕ yěy cos ϕ x , evinces that the angle in s,ě y is preserved regardless of the ϕ x angle, as shown in Figure 1. The plane defined by the scators o ϕ 1; 0, ϕ y andě x is depicted in green. The scator (26) can then be viewed as the intersection of these two planes.

Lemma 3.
There is a unique decomposition of a scator in terms of its magnitude and the product of unit scators with single non-vanishing orthogonal director components.
Proof. The proof follows from Equation (4b) proceeding in the inverse direction. The multiplicative scalar ϕ 0 represents the scator magnitude. If ϕ 0 is factored, the remaining unit magnitude scator in S 1+n is: eachě j director component can be factored with a Euler type expression cos ϕ j + sin ϕ jěj , , an arbitrary scator in additive variables o ϕ = f 0 + ∑ n j=1 f jěj ∈ S 1+n , can then be factored as: The products in the above expression can be evaluated to recover the original scator, This product can then be readily written as a sum for scators since all director components are orthogonal [17,Eq.(12) where Sgn( f 0 ) = ∏ n j=1 Sgn cos ϕ j . Thus The S 1+n scator decomposition can be geometrically represented as the projection onto n planes. Each of these s,ě j ∈ S 1+1 j planes, share the scalar axis but have a single director component orthogonal to the remaining director units. = cos 2 ϕ x cos 2 ϕ y 1 + tan 2 ϕ x 1 + tan 2 ϕ y . The Pythagorean identity in S 1+2 scator space is: 1 = sin 2 ϕ x + cos 2 ϕ x sin 2 ϕ y + cos 2 ϕ y . The geometric interpretation of the product for arbitrary unit scators is rather rich and complex. The product requires the sum of scator angles in each direction measured with respect to the scalar axis. A qualitative geometrical representation is depicted in Figure 3. Notice that both angles are involved in each additive component as evinced in (11).
The product of unit scators in the scalar s,ě x plane or the s,ě y plane, represents proper rotations in these planes. This is expected, since S 1+1 j is isomorphic to complex algebra for any one j from 1 to n. The novel part comes from scators that do not lie on these planes.

Scators with Equal Hypercomplex Components
Consider, to begin with, unit magnitude scators with equal hypercomplex director components, ϕ x = ϕ y , from (26) This scator lies on the 45 degree plane with respect to theě x ,ě y directions. The square of this scator is: that again lies on the π 4 director-director plane and must be on the cusphere surface, since unit magnitude invariance holds if associativity is satisfied. The same is true for higher order powers, Thus, all integer powers of a scator with equal director components lie on the equal director's coefficients plane. For example, let ϕ x = ϕ y = π 6 , o ϕ = cos 2 π 12 The angles in theě x andě y directions increase by π 6 every time a product with  Figure 2. For a scator where the ϕ x director coefficient is a trigonometric number, that is, equal to a rational multiple of π, the powers will repeat. Since all trigonometric numbers are algebraic numbers [21], the power of scators o ϕ = f 0 + f xěx + f xěy with real algebraic additive coefficients f 0 , f x will eventually repeat. The converse is also true, if a director coefficient in the multiplicative representation is not a rational multiple of π, o ϕ m will never be equal to o ϕ for integer m. Consider the curve where all powers of unit scators with equal directors lie, be them eventually periodic or not. To this end, let t = ϕ x = ϕ y , the parametric curve is: This function is mod π periodic since all arguments involve the double angle. The projections in the s,ě 1 plane and the s,ě 2 plane are circles with radius 1 2 centerd at s = 1 2 . The curve is centered at s = 1 2 and at this s, the maximum value of the director components is obtained. The curve is shown in Figure 2. The powers of the equal director components scator are thus not revolving about the origin, but about the point 1 2 + 0ě x + 0ě y , as can be seen from the above expression. If the scator coefficients have equal magnitude but opposite sign, an analogous scheme is obtained but in the plane at −45 • with respect to thě e x ,ě y axes.
These curves no longer lie on a plane, as in the equal directors case, but a curve in three dimensional space lying on the cusphere surface. The curves are closed for rational λ. For integer λ, the function has periodicity π for λ odd; whereas there is a 2π period if λ is even. In the s,ě x plane, the curves exhibit λ loops for odd λ and 2λ loops for even λ. For example, the curve with λ = 3 is depicted in Figure 4 [17]. These examples do not pretend to be exhaustive but to give a taste of the geometric representation of powers of scators.

Exponential of a Scator
The component's exponential function mentioned in Section 2.4, is defined in terms of products of exponentials with single component scator arguments. The question arises as to whether the exponential of a scator, rather than the exponentials of its components, is possible. The affirmative answer and its form in terms of elementary functions is given by the following Lemma. A conjecture regarding a generalization of this result and limiting cases are undertaken once the proof is completed. Lemma 4. The exponential of a scator z 0 + z xěx + z yěy ∈ S 1+2 is e z 0 +z xěx +z yěy = e z 0 e z xěx e z yěy cosh z x z y z 0 − e z 0 e z yěx e z xěy − cos z x − z y sinh z x z y z 0 . (29) Proof. Commence with the exponential of a scator with only one director component, e z 0 +z lěl = e z 0 e z lěl = e z 0 (cos z l + sin z lěl ).
The above equalities are immediate from the general addition theorem and Euler's relationship for the imaginary unitě l . However, it is necessary to recreate this result through a lengthier procedure to establish two equations needed to obtain the exponential of a scator in 1+2 dimensions. The transformation from multiplicative to additive (polar to Cartesian) variables in S 1+1 l , from (5) is: The series definition of the exponential function is: From the sum of (30c) and its conjugate: ζ m 0 cos(mζ l ) m! = 1 2 e ζ 0 cos ζ l +ζ 0 sin ζ lěl + e ζ 0 cos ζ l −ζ 0 sin ζ lěl .
Let us evaluate each component in this expression. Scalar component. The product of cosine functions is rewritten as a sum of cosines, cos(mζ x ) cos mζ y = cos m ζ x + ζ y + ζ m 0 cos m ζ x − ζ y , so that the series can be evaluated from (31), ∞ ∑ m=0 ζ m 0 cos m ζ x ± ζ y m! = e ζ 0 cos(ζ x ±ζ y ) cos ζ 0 sin ζ x ± ζ y .
this expression involves products of scators. For the second and third terms in the series, from Equations (22) and (23), respectively, all three components of f 0 + f xěx + f yěy 2 diverge as f 0 → 0. Therefore, the domain of the exponential function of scator argument is S 1+2 . However, the image of the exponential function is not restricted to the S 1+2 set.
For example: x + πě y = −e f 0 cosh π 2 2 f 0 ě x + e f 0 sinh π 2 2 f 0 ě y , this scator has vanishing scalar but two non zero director components. The exponential function mapping of a scator goes from the scator set onto the real set, exp

Conflicts of Interest:
The author declares no conflict of interest.