.3 cm    quaternions are one of the simplest examples of a non - commutative associative algebra .
when pure imaginary qua - ternions are used to represent 3d vectors , the adjoint action of the group of unit quaternions upon them provides a representation of all 3d rotations . because of this , quaternions have important applications in 3d euclidean computing @xcite
.    in symbolic geometric computing , when geometric entities and their transformations are represented by coordinate - free symbols , algebraic manipulations among the symbols often lead to rather simple and geometrically interpretable results @xcite .
for example , using @xmath0 instead of @xmath1 as a vector variable , provides a typical coordinate - free representation of a 3d direction ( or point ) by a pure imaginary quaternion . under the quaternionic product ,
these variables generate a ring of non - commutative polynomials .
it is natural to ask for symbolic algebraic algorithms to manipulate such _
quaternionic polynomials_.    when the coefficients of the quaternionic polynomials are taken in the field of rational numbers @xmath2 , the quaternionic product , being associative and multilinear , must be a quotient of the @xmath2-tensor product modulo an ideal @xmath3 whose generators are some tensors .
finding such generators and proving that they are sufficient to define the quaternionic product is the first task to finish .
the first theorem in this paper provides very simple generators of @xmath3 , called the _ syzygy ideal _ of quaternionic polynomials .
the next task is naturally on computing the grbner bases of @xmath3 and then the normal forms of quaternionic polynomials .
this can always be done using the classical theory and algorithm on non - commutative grbner bases @xcite . for a fixed number @xmath4 of quaternionic variables
, one can compute a grbner base of the syzygy ideal @xmath5 in the @xmath4 variables , and for every degree @xmath6 , the number of degree-@xmath6 polynomials in the computed grbner base is finite . after investigating the elements in the grbner bases for small values of @xmath4 and @xmath6
, we come up with some observations on the general form of the grbner base for arbitrary @xmath4 and @xmath6 , and of the normal forms of quaternionic polynomials with respect to the grbner base .
the main part of this paper is the establishment of two theorems that provide explicitly ( 1 ) a reduced grbner base of the syzygy ideal @xmath5 of quaternionic polynomials in @xmath4 pure imaginary quaternionic variables , ( 2 ) the structure of the normal forms relative to the grbner base .
the results are extremely simple .
for example , each polynomial in the grbner base has either 2 or 4 terms ; the sequence of variables in a monomial of normal form always forms two intertwining non - descending subsequences in terms of the ordering of the variables ( figure [ normal ] and figure [ normal:2 ] of this paper ) .
the proofs of the theorems are very long and are divided into many cases .
we provide detailed proofs for several cases for illustration , but skip the rest by limitation of the size of this paper .
the results in this paper are not only foundations for symbolic manipulations of quaternionic polynomials , but also helpful in exploring general results on the clifford product among vectors of arbitrary dimension @xcite , now that the dimension - three case is solved here as a by - product .
let @xmath7 be a set of symbols representing quaternionic variables , and let @xmath8 be the corresponding quaternionic conjugates .
a _ vector _
@xmath0 refers to a pure imaginary quaternion , _
i.e. _ , @xmath9 , and a _ scalar _
@xmath10 refers to a real quaternion , _
i.e. _ , @xmath11 .    a _ monic quaternionic monomial _ in variables @xmath7 refers to the quaternionic product of a permutation of the elements in a multiset of the @xmath12 symbols @xmath13 .
a _ quaternionic polynomial _ with rational coefficients is a linear combination of monic quaternionic monomials with coefficients in the rational numbers field @xmath2 .
we always use juxtaposition of elements to represent their quaternionic product . for a monomial @xmath14 ,
its _ reversion _ is ^:=_i_k_i_2_i_1 .
the quaternionic product is the quotient of the @xmath2-tensor product modulo some _
syzygy ideal_. since in symbolic manipulation , a scalar is characterized by its commutativity with everything , we first consider characterizing vectors and their quaternionic products by the syzygy ideal , then extend the results to general quaternionic variables .
let @xmath15 be vector variables .
they belong to a 3d real inner - product space with metric diag@xmath16 .
as the standard basis @xmath17 can not be constructed from the given vector variables without using square - root and division operations , they are not allowed in manipulating the quaternionic polynomials of the @xmath18 .
let @xmath19 .
for a monic quaternionic monomial @xmath20 , the _ leading variable _ refers to @xmath21 , and the _ trailing variable _ refers to @xmath22 .
the monomial is said to be _ non - descending _ if @xmath23 , and is said to be _ ascending _ if @xmath24 .
the _ degree _ , or _ length _ , of the monomial is @xmath25 .
the _ degree _ of a quaternionic polynomial is the biggest degree of its monomials disregarding the @xmath2-coefficients .
the _ lexicographic ordering _ among monomials
is always assumed .
the _ leading term _ of a quaternionic polynomial is the term of highest order .
the _ inner product _ of two vectors ( not necessarily vector variables ) @xmath26 is defined by : = ( _ i_j+_j_i)/2 .
[ inner ] the result is a scalar , so it commutes with a third vector @xmath27 : @xmath28\v_k=\v_k[\v_i\v_j]$ ] .
the _ vector product _ of two vectors @xmath26 is defined by _
i_j:=(_i_j-_j_i)/2 . the result is a vector , so its inner product with a third vector @xmath27 is a scalar .
define : = ( _ i_j_k-_k_j_i)/2 .
then @xmath29=[(\v_i\times \v_j)\v_k]$ ] is a scalar , so for a fourth vector @xmath30 , @xmath29\v_l=\v_l[\v_i\v_j\v_k]$ ] .
define : = ( _ i_j_k_l+_l_k_j_i)/2 .
[ thm:1 ] let @xmath15 be @xmath4 different symbols , where @xmath31 . define the product among them , denoted by juxtaposition of elements , as the @xmath2-tensor product modulo the two - sided ideal generated by the following tensors : -.15 cm : & .1 cm _
j_i_i ; + v3 : & .1 cm ( _ i_j+_j_i)_k-_k(_i_j+_j_i ) ; + v4 : & .1 cm ( _ i_j_k-_k_j_i)_l + & .8 cm -_l(_i_j_k-_k_j_i ) , [ eq0 ] for any @xmath32 in @xmath33 .
denote by @xmath34 the @xmath2-algebra defined by the above product and generated by the @xmath18 .
denote : = q(\{_i_l+_l_i , _
i_j_k-_k_j_i|ijk } ) .
[ q : field ] then ( 1 ) the @xmath18 and @xmath35 span a 3d @xmath36-vector space @xmath37 ; + ( 2 ) if all the elements in ( [ q : field ] ) extending @xmath2 are real numbers , and the inner product of real vector space @xmath37 induced from ( [ inner ] ) is definite , then the product among the @xmath18 is the quaternionic product , _
i.e. _ , @xmath34 is the quaternionic polynomial ring generated by the @xmath18 as vector variables .    the proof is composed of the following steps :    _ step 1_. for all @xmath38 , _
i_i_j & = & _ j_i_i ; + ( _ i_j+_j_i)_k & = & _ k(_i_j+_j_i ) ; + ( _ i_j_k-_k_j_i)_l & = & _ l(_i_j_k-_k_j_i ) .
[ eq1 ] the proof is easily established by verifying that v3 for @xmath39 , and v4 for @xmath40 or @xmath41 are in the ideal generated by elements in ( [ eq0 ] ) . so the center of the ring @xmath34 is the subring generated by the @xmath42 $ ] , @xmath28 $ ] , @xmath29 $ ] for all @xmath43 .
obviously , the latter two equalities in ( [ eq1 ] ) can be written as the following _ shift invariance _ of @xmath29 $ ] and @xmath44 $ ] : = [ _ k_i_j ] , .5 cm [ _ i_j_k_l ] = [ _ l_i_j_k ] .
[ eq2 ]    _ step 2_. since @xmath45 , @xmath46 and @xmath47 for all @xmath43 are not in the ideal generated by elements v2 , v3 , v4 , @xmath42 $ ] , @xmath28 $ ] , @xmath29 $ ] for all @xmath43 are nonzero .
consider the following _
cramer s rule _ : for all @xmath48 , _ l-[_i_j_l]_k+[_i_k_l]_j-_i[_j_k_l]=0 .
[ cramer:1 ] by the first equality in ( [ eq2 ] ) , the left side of ( [ cramer:1 ] ) can be simplified to @xmath29\v_l-\v_l[\v_i\v_j\v_k]$ ] , which equals zero by the last equality in ( [ eq1 ] ) .
so if @xmath49 , the @xmath18 span a 3d @xmath36-vector space .
_ step 3_. the following relations can be verified using ( [ eq1 ] ) : ( _ i_j)_k & = & [ _ j_k]_i-[_i_k]_j ; + [ ( _ i_j)(_k_l ) ] & = & [ _ i_l][_j_k]-[_i_k][_j_l ] ; + ( _ i_j)(_k_l ) & = & [ _ j_k_l]_i-[_i_k_l]_j .
[ eq3 ] notice that in the corresponding formulas for the vector algebra over @xmath50 , the signs on the right side of ( [ eq3 ] ) are opposite .
in fact , the expressions in the three lines of ( [ eq3 ] ) are respectively equal to @xmath51 ; \hskip .2 cm \frac{\v_i\v_j\v_k\v_l-\v_k\v_l\v_i\v_j}{2}.\ ] ]    if @xmath52 , it is easy to see that @xmath53 , and @xmath54 are not in the defining ideal of @xmath34 , so @xmath55 , and -.1 cm ( _ 1_2)_1_2 ] & -.2cm=&-.2 cm ( _ 1_2)(_1_2 ) + & -.2 cm = & -.2 cm ( _ 1_2_1_2+_2_1_2_1 - 2_1_1_2_2)/4 + & -.2cm&-.2 cm 0 .
[ n2 ] then @xmath56 are linearly independent over @xmath36 .    by ( [ eq1 ] ) and ( [ eq3 ] ) , the following _
cramer s rule _ can be verified : for all @xmath57 , -.2 cm [ ( _ i_j)_k_l]_m-[(_i_j)_k_m]_l + .1 cm + [ ( _ i_j)_l_m]_k -[_k_l_m](_i_j ) & -.2cm=&-.2 cm 0 .
[ cramer:2 ] hence the @xmath18 and @xmath58 span a 3d @xmath36-vector space .
_ step 4_. the inner product defined by ( [ inner ] ) can be extended bilinearly to all elements in @xmath37 .
then @xmath59 is orthogonal to both @xmath60 and @xmath61 .
furthermore , the inner products of the three elements with themselves separately are all nonzero .
when the @xmath42 $ ] , @xmath28 $ ] , @xmath29 $ ] are all real numbers , let @xmath62| } , \hskip .24 cm \e_2=\v_1\times \v_2/\sqrt{|[(\v_1\times \v_2)(\v_1\times \v_2)]|},\ ] ] and let @xmath63 .
then @xmath64 form an orthogonal basis of @xmath37 , and @xmath65=\pm 1 $ ] . furthermore , @xmath66=-\e_1
^ 2\e_2 ^ 2 $ ] .
so the metric of @xmath37 is either diag@xmath16 or diag@xmath67 .
_ step 5_. it is easy to prove @xmath68 and @xmath69 .
moreover , @xmath70 .
so if @xmath71 for @xmath72 , then the product in @xmath37 is the quaternionic product .    as a consequence ,
all polynomial identities among the @xmath18 in the ring @xmath34 are generated by relations of the form @xmath28\v_k=\v_k[\v_i\v_j]$ ] and @xmath29\v_l=\v_l[\v_i\v_j\v_k]$ ] , or equivalently , by relations of the form @xmath29=[\v_k\v_i\v_j]$ ] and @xmath44=[\v_l\v_i\v_j\v_k]$ ] .
neither the assumption that the @xmath42 $ ] , @xmath28 $ ] and @xmath29 $ ] are real numbers , nor the assumption that the metric of @xmath37 is definite , can be represented by polynomial equalities of the @xmath18 .
henceforth we refer to the ring @xmath34 defined in theorem [ thm:1 ] as the _ quaternionic polynomial ring _ generated by vector variables @xmath18 , and call the defining ideal of @xmath34 the _ syzygy ideal _ , and denote it by @xmath73 $ ] .
let @xmath74 .
define : = ( _ k+(-1)^k _ k)/2,.4 cm a(_k):=(_k-(-1)^k _ k)/2 .
[ prop:1 ] @xmath75-[\v_k]\v_i$ ] is in @xmath73 $ ] .
the commutation relation @xmath75=[\v_k]\v_i$ ] can also be written as the following shift - invariance : = [ _ k_i ] .
the @xmath76 are in the 3d @xmath36-vector space spanned by the @xmath18 and @xmath58 .
the following identities can be established by induction , although not very easy : for all @xmath77 , -.2 cm _
j_1_j_2_j_2l ] & -.2cm= & -.2cm_i=2 ^ 2l ( -1)^i [ _ j_1_j_i][_j_2_j_3_j_i_j_2l ] ; + a(_2l-1 ) & -.2cm= & -.2 cm _
( 2l-2,1)_2l-1 [ _ 2l+1_(1 ) ] _
2l-1_(2 ) ; + a(_2l ) & -.2cm= & -.2 cm _
( 2l-2,2)_2l [ _ 2l_(1)]a(_2l_(2 ) ) ; + [ _ 2l+1 ] & -.2cm= & -.2 cm _ ( 2l-2,3)_2l+1 [ _ 2l+1_(1)][_2l+1_(2 ) ] , [ eq4 ] where ( i ) @xmath78 denotes that @xmath79 does not occur in the sequence , ( ii ) @xmath80 is a bipartition of the @xmath81 elements in the sequence @xmath82 into two subsequences @xmath83 and @xmath84 of length @xmath85 and @xmath86 respectively , ( iii ) in @xmath87 $ ] , the product of the @xmath85 elements in the subsequence is denoted by the same symbol @xmath83 , ( iv ) the summation @xmath88 is over all such bipartitions of @xmath82 , and the sign of permutation of the new sequence @xmath89 is assumed to be carried by the first factor @xmath87 $ ] of the addend .
all the conclusions of the proposition follow ( [ eq4 ] ) and ( [ eq1 ] ) .
alternatively , we can use existing results on clifford algebras to deduce ( [ eq4 ] ) directly . in the proof of theorem [ thm:1 ] ,
we have shown that the @xmath18 and @xmath58 span a 3d @xmath36-vector space . to show the difference between the quaternionic product and the clifford product among the vectors @xmath18 we need to reduce the field @xmath36 .
[ lemma1 ] let @xmath34 be the @xmath2-algebra defined by ( [ eq0 ] ) .
then for vectors @xmath90 , = -|_i_1_i_4 ] & [ _ i_1_i_5 ] & [ _ i_1_i_6 ] + [ _ i_2_i_4 ] & [ _ i_2_i_5 ] & [ _ i_2_i_6 ] + [ _ i_3_i_4 ] & [ _ i_3_i_5 ] & [ _ i_3_i_6 ] | .
[ lem1:eqn ]    using the second equality of ( [ eq3 ] ) in the reverse direction , we can write the right side of ( [ lem1:eqn ] ) after expanding the determinant as @xmath91[(\v_{i_2}\times\v_{i_3})(\v_{i_5}\times\v_{i_6})]\\ & + [ \v_{i_2}\v_{i_4}][(\v_{i_1}\times\v_{i_3})(\v_{i_5}\times\v_{i_6})]\\ & -[\v_{i_3}\v_{i_4}][(\v_{i_1}\times\v_{i_2})(\v_{i_5}\times\v_{i_6})]\\    = & -[\{[\v_{i_2}\v_{i_3}(\v_{i_5}\times\v_{i_6})]\v_{i_1 } -[\v_{i_1}\v_{i_3}(\v_{i_5}\times\v_{i_6})]\v_{i_2}\\ & \hfill + [ \v_{i_1}\v_{i_2}(\v_{i_5}\times\v_{i_6})]\v_{i_3}\}\v_{i_4 } ] . \ea\ ] ] by ( [ cramer:2 ] ) , the above expression can be simplified to @xmath92 @xmath93[(\v_{i_5}\times \v_{i_6})\v_{i_4}]$ ] , which equals the left side of ( [ lem1:eqn ] ) .
let : = q(\{_i_l+_l_i , |1i , ln } ) .
[ q : field2 ] then when @xmath52 , by ( [ n2 ] ) , @xmath56 span a 3d inner - product space over @xmath94 .
when @xmath49 , let : = [ _ 1_2_3 ] .
then @xmath95 , and @xmath29=\iota\{(\iota[\v_i\v_j\v_k])/(\iota\iota)\}\in \hat{\mathbb q}\iota$ ] . the center of @xmath34 as a @xmath94-algebra is @xmath96 .
by multiplying ( [ cramer:1 ] ) with @xmath97 , we get that the @xmath18 span a 3d @xmath94-vector space @xmath98 . furthermore , from ( [ cramer:2 ] ) we get that the @xmath99 are in @xmath98 .
the inner product between the @xmath18 can be extended bilinearly to an inner product in @xmath98 .
in the @xmath94-clifford algebra @xmath100 over @xmath98 , by theorem 5.64 , theorem 5.65 and proposition 6.22 in @xcite , the two sides of the four equalities in ( [ eq4 ] ) are different expressions of the grade-0,1,2,3 part of @xmath101 , @xmath102 , @xmath101 , @xmath103 respectively . in @xmath100 , @xmath97 is not a scalar , but a grade-3 element . in the case of quaternions ,
the quaternionic product is a homomorphic image of the clifford product because of v2 , v3 , so ( [ eq4 ] ) is automatically satisfied .
the right side of the third equality in ( [ eq4 ] ) when multiplied by @xmath97 , becomes a vector in @xmath98 , while the right side of the last equality when multiplied by @xmath97 , becomes an element in @xmath94 .
these discussions lead to the following conclusion :    in the @xmath2-algebra @xmath34 defined by ( [ eq0 ] ) , the @xmath18 and @xmath104 span a 3d @xmath94-vector space @xmath98 . for any @xmath105 , @xmath106 and @xmath107
are both in @xmath98 .
_ in clifford algebra , by proposition 6.23 of @xcite , the outer product ( or exterior product ) of four vectors @xmath108 , @xmath30 equals one quarter of v4 .
so when the field is extended to @xmath94 , v4 states that the dimension of the @xmath94-vector space spanned by the @xmath109 is at most three . from this aspect , v2 , v3 ,
v4 also generate the _ syzygy ideal _ of @xmath100 , if the latter is taken as a @xmath2-algebra .
let @xmath110 be quaternionic variables , and let @xmath111 be their quaternionic conjugates . to simplify notation
, we introduce @xmath112 to represent any of @xmath113 , and define @xmath114 . for a monomial @xmath115 , its _ conjugate _
is defined by : = _ i_k_i_2_i_1 .
define the _
scalar part _
$ ] and the _ vector part _ @xmath117 of @xmath118 as following : : = ( + ) /2 , .4 cm a():=(-)/2 .
then @xmath119 $ ] commutes with @xmath120 , and the quaternionic product among vectors @xmath121 is characterized by ( [ eq0 ] ) . from theorem [ thm:1 ] and proposition [ prop:1 ]
we can deduce the following :    [ thm:2 ] let @xmath7 and @xmath8 be @xmath12 different symbols , where @xmath31 .
let @xmath112 be one of @xmath113 , and let @xmath122 .
define the product among the @xmath12 symbols , denoted by juxtaposition of elements , as the @xmath2-tensor product modulo the two - sided ideal generated by the following tensors : -.15 cm : & -.15cm_i_i-_i_i ; + q1 : & -.15cm(_i+_i)_j - _ j(_i+_i ) ; + q2 : & -.15 cm _
i_i_j- _ j_i_i ; + q3 : & -.15cm(_i_j+_j_i)_k -_k(_i_j+_j_i ) ; + q4 : & -.15cm(_i_j_k+_k_j_i)_l + & .4 cm -_l(_i_j_k+_k_j_i ) , [ eq5 ] for any @xmath32 in @xmath33 . denote by @xmath123 the ring defined by the above product and generated by the @xmath112 , and denote -.24 cm : = q(\{_i+_i , _
i_j+_j_i , .8 cm + _ i_j_k+_k_j_i|ijk } ) .
[ q : field:2 ] then ( 1 ) the @xmath124 and @xmath125 span a 3d @xmath126-vector space @xmath127 ; + ( 2 ) if all the elements in ( [ q : field:2 ] ) extending @xmath2 are real numbers , and the inner product of real vector space @xmath127 induced from ( [ inner ] ) for the @xmath128 is definite , then the product among the @xmath112 is the quaternionic product , with @xmath129 as the quaternionic conjugate of @xmath130 , _
i.e. _ , @xmath123 is the quaternionic polynomial ring generated by the quaternionic variables @xmath130 .
similarly , we refer to the ring @xmath123 defined in theorem [ thm:2 ] as the _ quaternionic polynomial ring _ generated by quaternionic variables @xmath130 , and call the defining ideal of @xmath123 the _ syzygy ideal _ , and denote it by @xmath131 $ ] .
[ prop:2 ] for all @xmath132 , let @xmath133 .
then @xmath134-[\q]\p_j$ ] is in the syzygy ideal @xmath131 $ ] .
@xmath135-[\q\p_j]$ ] is also in the syzygy ideal , and @xmath117 is in the 3d @xmath126-vector space @xmath127 .
let @xmath136 be vector variables . for two quaternionic monomials @xmath137 in the variables
, @xmath138 is said to be _ reduced _ with respect to @xmath139 , if @xmath138 is not a _ multiplier _ of @xmath139 , or @xmath139 is not a _ factor _ of @xmath138 , _
i.e. _ , there do not exist monomials @xmath140 , including rational numbers , such that @xmath141 .
for two quaternionic polynomials @xmath142 and @xmath143 , @xmath142 is said to be _ reduced _ with respect to @xmath143 , if the leading term of @xmath142 is reduced with respect to that of @xmath143 . the term  _ non - reduced _ " means the opposite .
let @xmath144 be a set of quaternionic polynomials .
a set of quaternionic polynomials @xmath145 is said to be a _
reduced grbner base _ of the ideal @xmath146 generated by the @xmath147 in the quaternionic polynomial ring , if ( 1 ) @xmath148 , ( 2 ) the leading term of any element in @xmath3 is a multiplier of the leading term of some @xmath149 , ( 3 ) the @xmath149 are pairwise reduced with respect to each other .
the _ reduction _ of a polynomial @xmath142 with respect to a reduced grbner base @xmath150 is the repetitive procedure of dividing the first non - reduced term @xmath151 of @xmath142 by some @xmath149 whose leading term is a factor of @xmath151 , then updating @xmath142 by replacing @xmath151 with its remainder , until all terms of @xmath142 are reduced .
the result is called the _ normal form _ of @xmath142 with respect to the grbner base .    by the classical theory of non - commutative grbner base @xcite
, a reduced grbner base always exists for the syzygy ideal of quaternionic polynomials .
however , the grbner base can be computed by computers only for small values of @xmath4 ( number of variables ) and @xmath6 ( degree of polynomials in the grbner base ) .
our goal is to find the general form of the grbner base for arbitrary @xmath4 which can even be a symbol .
we first consider the multilinear case .    in a _ multilinear monomial _ , every variable occurs at most once .
multilinear polynomial _ is the sum of multilinear monomials with rational coefficients , where for every variable , its degree is the same in different monomials . the _ multilinear product _
is defined for two multilinear polynomials only when they do not have any common variable .
multilinear addition _ is defined only for multilinear polynomials having the same set of variables .
all multilinear polynomials together with the multilinear product and multilinear addition form an algebraic system , called the _
multilinear ring_. all monic multilinear monomials together with the multilinear product form another algebraic system , called the _
multilinear monoid_.    an _ ideal _ of a multilinear ring or multilinear monoid is defined just as in the usual tensor - product case .
the concepts of _ reduced grbner base _ ,
_ reduction _ and _ normal form _ have similar definitions , the theory and algorithm of non - commutative grbner base in @xcite are still valid .    for example , for @xmath152 vector variables @xmath153 , the _ multilinear quaternionic polynomial ring _ @xmath154 $ ] is composed of all multilinear quaternionic polynomials whose variables are among the @xmath22 , including polynomials of degree 0 . the syzygy ideal @xmath155 @xmath156 $ ] of the ring is generated by elements of the form @xmath157\v_{i_c}-\v_{i_c}[\v_{i_a}\v_{i_b}]$ ] or @xmath158\v_{i_d}-\v_{i_d}[\v_{i_a}\v_{i_b}\v_{i_c}]$ ] for all @xmath159 .
the grbner base of the syzygy ideal is denoted by @xmath160 $ ] .
when the variables @xmath153 are replaced by another sequence @xmath161 , the syzygy ideal of @xmath162 $ ] , and the grbner base of the syzygy ideal are obtained from those of @xmath154 $ ] simply by a replacement of variables . from this aspect ,
what is important is the number @xmath81 of variables , not the specific sequence of variables .
we introduce @xmath163 , @xmath164 , and @xmath165 to denote the multilinear quaternionic ring , its syzygy ideal , and the grbner base of the syzygy ideal , in @xmath81 _ unspecified vector variables_.    notice that if @xmath165 is reduced , then it is a subset of a reduce grbner base of @xmath166 , as any polynomial of degree @xmath167 in @xmath166 is also in @xmath164 .
[ main:1 ] let @xmath168 $ ] be the syzygy ideal of the multilinear ring @xmath169 $ ] of multilinear quaternionic polynomials in @xmath4 vector variables @xmath170 .
\(1 ) [ grbner base ] the following are a reduced grbner base of @xmath168 $ ] : for all @xmath171 ,    @xmath172-[\v_{i_1}\v_{i_3}\v_{i_2}]$ ] , and @xmath173-[\v_{i_2}\v_{i_3}\v_{i_1}]$ ] ;    @xmath174 -{[}\v_{i_2}\v\v_{i_1}\v_{i_3}]$ ] , where @xmath175 , and @xmath176 .    -.63
cm    \(2 ) [ normal form , see figure [ normal ] ] in a normal form , every term is up to coefficient of the form @xmath177 or @xmath178 , where + ( i ) @xmath179 , + ( ii ) @xmath180 is ascending , + ( iii ) every @xmath181 is an ascending monomial of length @xmath182 , + ( iv ) @xmath183 ( or @xmath184 if @xmath185 occurs ) is ascending , + ( v ) for every @xmath186 , if @xmath187 is the trailing variable of monomial @xmath181 , then @xmath188 .    _
remark_.  in a normal form , as shown in figure [ normal ] , although @xmath189 is lower than the trailing variable @xmath187 of @xmath181 , it is allowed that the order of @xmath189 be at anywhere from above @xmath190 up to below @xmath187 , and both @xmath191 and @xmath192 are possible for any variable @xmath193 in @xmath194 where @xmath195 .    before proving the theorem , we introduce the following convenient term : let @xmath196 be the leading terms of polynomials @xmath197 respectively , if @xmath198 equals @xmath199 up to coefficient , then @xmath197 are said to have _ leading like terms_.    .2 cm observe that in the sequence g3 , g@xmath81 for @xmath200 , the leading terms are pairwise reduced with respect to each other .
the proof of the theorem is by induction , and is composed of many steps :    _ step 1_. g3 , g@xmath81 for @xmath201 generate the ideal @xmath166 .
the proof is the following . by proposition [ prop:1 ] , g3 ,
g@xmath81 are in the ideal .
it is easy to show that for all @xmath32 , @xmath29-[\v_k\v_i\v_j]$ ] is reduced to zero by g3 , and @xmath44-[\v_l\v_i\v_j\v_k]$ ] is reduced to g4 up to sign by g3 .
so all the generators of @xmath166 are in the ideal generated by g3 , g4 .
_ step 2_. the theorem obviously holds for @xmath202 . for @xmath203 , in step 1 it is shown that for any @xmath204 , f= _ _ _ + _ _   _ + , [ form:1 ] where g3 stands for a polynomial of type g3 , and the @xmath205 s are rational numbers .
notice that the leading variable of g3 is always @xmath206 or @xmath207 .
assume that the leading term of @xmath142 is reduced with respect to g3 , g4 .
further assume that before cancelling like terms on the right side of ( [ form:1 ] ) , the leading term is @xmath208 up to coefficient .
then @xmath209 is not reduced with respect to g3 , g4 , so it must be cancelled by other leading terms of the addends on the right side of ( [ form:1 ] ) .
the following observations on ( [ form:1 ] ) are obvious :    \(i ) if @xmath209 comes from @xmath210 , _
i.e. _ , equals @xmath211 , then it is not the leading like term of either @xmath212 or @xmath213 .
so @xmath209 can not come from @xmath210 .
\(ii ) if @xmath209 comes from some @xmath214 , then it is not the leading like term of any other @xmath215 , so it has to be the leading like term of a unique @xmath216 .
conversely , if @xmath209 comes from some @xmath216 , then it has to be the leading like term of a unique @xmath214 .
based on the above two observations , we get that in @xmath208 , @xmath217 and @xmath218 .
so either @xmath219 or @xmath220 .
_ step 3_. for @xmath203 , we have the following conclusion : _ 4 3= _
i=1 ^ 3 _ i _ i + _
j=1 ^ 4 _ j   _ j. [ prove:1 ] to prove this we consider only @xmath221 .
if ( [ prove:1 ] ) holds for @xmath222 , then by interchanging subscripts 1,2 , the right side of ( [ prove:1 ] ) keeps the same form .
@xmath223 the underlines give hint on the category of grbner base elements to be used in reduction .
_ step 4_. by ( [ prove:1 ] ) , ( [ form:1 ] ) can be rewritten as f=_i<4 _ i _ i + _ j _ j   _ j+.[step4:f ] by the analysis in step 2 , the leading term on the right side of ( [ step4:f ] ) before cancelling like terms remains the leading term after cancelling like terms , violating the assumption that the leading term of @xmath142 is reduced with respect to g3 , g4 .
this proves that g3 , g4 form a grbner base of @xmath224 .
_ step 5_. let @xmath225 be a term in the normal form of a degree-4 polynomial .
by reduction with g3 , if @xmath226 then @xmath227 is mandatory .
so the sequence of subscripts must be one of @xmath228 , @xmath229 , @xmath230 , and @xmath231 , where @xmath232 is a single subscript , each @xmath233 is an ascending sequence of subscripts , all the @xmath233 form a big ascending sequence of subscripts , and @xmath232 is smaller than the trailing subscript of @xmath233 .
if @xmath234 , then it must be that @xmath235 , which is not reduced with respect to g4 .
so @xmath236 .
this proves the theorem for @xmath203 .
_ step 6_. assume that the theorem holds for all @xmath237 , where @xmath238 .
when @xmath239 , let @xmath240 and assume that its leading term is reduced with respect to g3 , g@xmath81 for @xmath81 up to @xmath241 .
by induction hypothesis , the degree of @xmath142 must be @xmath241 .
we need to prove that @xmath142 does not exist .    since the generators of @xmath242 all have degree @xmath243 , it must be that f=___f_+ _ _ f _ _ , [ form:2 ] where the @xmath205 s are coefficients , and @xmath244 are of degree @xmath245 .
we do reduction to @xmath246 with respect to the grbner base g3 , g@xmath81 for @xmath81 up to @xmath245 in the following special way : to every term @xmath247 of @xmath246 , let @xmath248 where @xmath249 is a monomial of degree @xmath250 and @xmath251 is the coefficient , do reduction to monomial @xmath249 by grbner base g3 , g@xmath81 for @xmath81 up to @xmath252 . after the reduction to every @xmath249 , @xmath253 , where @xmath254 , and @xmath255 .
every term of @xmath256 after removing its trailing variable is in normal form .
now do reduction to @xmath256 by g3 , g@xmath81 for @xmath81 up to @xmath245 .
then @xmath257 , where @xmath258 are monomials of degree @xmath182 . the leading term of @xmath256
must be the leading term of a unique @xmath259 , because it can only be non - reduced with respect to such a polynomial .
now substitute the above expressions of @xmath256 , @xmath246 into ( [ form:2 ] ) , and regroup the terms .
we finally get f = s+t , s=_m < q__m _ _ m _ _ m m ,   t=__h _ _ , [ form:3 ] and where @xmath260 is a monomial of length @xmath261 , @xmath262 , with the following properties :    \(a ) if the leading term @xmath263 of an addend @xmath264 is of the highest order among all leading terms in the addends of @xmath265 , then @xmath263 must be the leading term of @xmath265 , and has no leading like term in any other addend of @xmath265 .
\(b ) furthermore , when @xmath266 and the leading term of @xmath267 is @xmath268 , then the degree-@xmath269 factor @xmath270 of @xmath263 is in normal form .
_ step 7_. in ( [ form:3 ] ) , the leading term @xmath263 of @xmath265 comes from a unique @xmath264 of @xmath265
. we will establish the following conclusion : if @xmath263 has any leading like term in @xmath271 , then _ _
m m=_jq _ * _ _ j _ _ j j + _ _ w _ _ , [ establish ] where the @xmath272-summation is over all @xmath273 whose leading term has lower order than that of @xmath274 . once ( [ establish ] ) is established , then we can rewrite @xmath142 as @xmath275 , where = _ j < q__j _ _ j _ _ j j ,  = _ _ _ _ , [ form:4 ] such that either @xmath276 , or the leading term of @xmath277 does not have leading like term in @xmath278 .
the two observations in step 2 are also valid in the current situation
. the leading term of @xmath277 can only be cancelled by a term of @xmath278 , and conversely , the leading term of @xmath278 can only be cancelled by a term of @xmath277 .
furthermore , the leading terms of @xmath277 and @xmath278 are both non - reduced with respect to g3 , g@xmath41 for @xmath41 up to @xmath245 .
since the leading term of @xmath142 is reduced with respect to g3 , g@xmath41 for @xmath41 up to @xmath245 , it must have higher order than any term of @xmath277 and @xmath278 ; then it must be the leading term of g@xmath241 , violating the assumption that it is reduced with respect to g@xmath241 .
this proves that g3 , g@xmath41 for @xmath41 up to @xmath241 is a grbner base once ( [ establish ] ) is true .
_ step 8_. once it is proved that g3 , g@xmath41 for @xmath41 up to @xmath241 is a grbner base , then for a polynomial @xmath142 of degree @xmath241 , by reduction with respect to g3 , g@xmath41 for @xmath41 up to @xmath245 , we get that for any term @xmath279 in the result of reduction , where @xmath280 is a monomial of degree @xmath252 , the subscripts of @xmath281 and @xmath282 must be both in one of the following normal forms : @xmath228 , @xmath229 , @xmath230 , @xmath231 , @xmath283 . if the subscripts of @xmath284 are not in one of the normal forms , it is easy to show that ( 1 ) the subscripts of @xmath281 must be of the form @xmath229 , and @xmath285 ; ( 2 ) if @xmath286 , where @xmath287 is of length @xmath288 , then @xmath289 ; ( 3 ) @xmath290 .
the only possibility is @xmath291 , the leading term of g@xmath241 .
consider polynomial g@xmath241 . by reduction with respect to g3 ,
g@xmath41 for @xmath41 up to @xmath245 , we get g@xmath292 , where each term of @xmath143 has leading variable @xmath60 or @xmath61 . the second term @xmath293 and the terms of @xmath143
are each in a normal form described by the current theorem .
hence , after reduction with respect to the g@xmath241 in the above form , each term of @xmath142 becomes normal .
_ step 9_. we start to prove ( [ establish ] ) , which is the main part of the whole proof .
let @xmath294 , and let the leading term of @xmath267 be @xmath295 , then up to scale @xmath296 is the leading term of @xmath265 , and monomial @xmath297 is in normal form , _
i.e. _ , its subscripts are in one of the forms @xmath298 and @xmath299 .
let @xmath300 be the leading subscript and trailing subscript of @xmath233 respectively .
then @xmath301 . let the middle part of @xmath233 after removing @xmath300 be @xmath302 .
the tail part of the subscripts @xmath303 or @xmath304 @xmath305 must be either the subscripts @xmath306 from the leading term of g3 for @xmath307 , where @xmath308 and @xmath309 , or the subscripts @xmath310 from the leading term of g@xmath41 for @xmath311 , where @xmath312 is ascending .
so subscripts @xmath313 @xmath314 where @xmath315 , belong to the leading term of @xmath316 , while subscripts @xmath317 @xmath318 where @xmath319 , belong to the leading term of @xmath320 @xmath321 , where @xmath41 is the length of @xmath322 plus 3 .
we get _ _ m=_w_y_1_z_1_y_k-1_z_k-1_l_k_c_k .    if @xmath260 is not in normal form , then by reduction with g3 , g@xmath41 for @xmath41 up to @xmath261 , the order of @xmath260 is decreased , and ( [ establish ] ) is trivially satisfied .
below we assume that @xmath260 is normal .
since @xmath263 has leading like term in @xmath271 , @xmath323 for @xmath315 , and @xmath324 for @xmath319 , must be non - reduced with respect to g3 , g@xmath41 for @xmath41 up to @xmath245 .
it is easy to deduce @xmath325 , and when any of the two monomials is non - reduced with respect to g3 , the length of @xmath228 is less than 3 .
so up to scale , t_s=_w_y_1_z_1_z  _ w_y_1_z_1_y_2_z .
only the head part and tail part of @xmath263 are non - reduced with respect to some g@xmath326 , g@xmath41 respectively , where @xmath327 are between 3 and @xmath245 .
there are the following cases :    \(i ) @xmath328 .
the subscripts of @xmath263 are either @xmath329 or @xmath330 , where @xmath331 and @xmath332 .
the first case is considered in step 3 and is conclusion ( [ prove:1 ] ) .
the second case includes six different subscripts of @xmath263 : 51423 , 51432 , 52413 , 52431 , 53412 , 53421 .
\(ii ) @xmath333 , @xmath334 .
the subscripts of @xmath263 are either @xmath335 or @xmath336 , where @xmath331 and @xmath337 .
( ii.1 ) in the former case , the subscripts of @xmath263 are @xmath338 , where @xmath339 , and @xmath340 is an ascending sequence of length @xmath341 .
( ii.2 ) in the latter case , @xmath342 , and @xmath343 is a permutation of 1,2,3 .
so @xmath263 has the following possible subscripts : @xmath344 , @xmath345 , and @xmath346 , where @xmath347 , and @xmath348 is an ascending sequence of length @xmath349 .
\(iii ) @xmath350 , @xmath351 . the subscripts of @xmath263 are @xmath352 , where @xmath353 is an ascending sequence of length @xmath349 , @xmath354 but @xmath355 , and @xmath332 .
obviously @xmath356 , but @xmath357 can take any value from 1 to @xmath245 .
so @xmath263 has the following possible subscripts : @xmath358 , @xmath359 , @xmath360 , @xmath361 , and @xmath362 for @xmath363 .
there are the following subcases , considering both the symmetries of the subscripts and the difference of the categories of grbner base elements to be used in reduction :    ( iii.1 ) the subscripts of @xmath263 are @xmath364 , @xmath365 , or @xmath366 .
( iii.2 ) the subscripts of @xmath263 are @xmath367 , @xmath368 , or @xmath369 , where @xmath287 is an ascending sequence of length @xmath370 , and @xmath371 .
( iii.3 ) the subscripts of @xmath263 are @xmath372 .
( iii.4 ) the subscripts of @xmath263 are @xmath373 , where @xmath287 is an ascending sequence of length @xmath374 , and @xmath375 .
( iii.5 ) the subscripts of @xmath263 are @xmath376 , where @xmath287 is an ascending sequence of length @xmath370 , and @xmath371 .
( iii.6 ) the subscripts of @xmath263 are @xmath377 , where @xmath378 , @xmath287 is an ascending sequence of length @xmath379 , @xmath380 is an ascending sequence of length @xmath381 , and @xmath382 is an ascending sequence .
\(iv ) @xmath350 , @xmath334 .
the subscripts of @xmath263 are @xmath383 , where @xmath384 are two ascending sequences of length @xmath385 , @xmath386 but @xmath355 .
so @xmath387 , and the subscripts of @xmath263 are @xmath388 , where @xmath287 is an ascending sequence of length @xmath389 , @xmath380 is an ascending sequence of length @xmath390 , and @xmath391 is an ascending sequence .    there is no space to present the analyses of all the cases and subcases .
we select to present the details for the following representative cases : ( i ) , ( ii.1 ) , ( iii.2 ) to ( iii.4 ) .
_ step 10_. the polynomials on the left side of the following equalities are in @xmath392 : for monomials @xmath393 of degree @xmath394 respectively , \ { ( _ k+(-1)^k_k^)_j -_j(_k+(-1)^k_k^ ) & = & 0 , + _ j_k-_k_j
-(-1)^j+k(_j^_k^-_k^_j^ ) & = & 0 . .
[ reduction ] as long as @xmath395 , and by applying the above equalities to the leading term of a polynomial @xmath142 , the order of @xmath142 is decreased , this transformation of @xmath142 can always be replaced by reduction with respect to g3 , g@xmath326 for @xmath326 up to @xmath396 .
let both @xmath397 and @xmath398 , where @xmath399 is a sequence of subscripts of length @xmath400 .
the following order - reducing transformation is also induced by g3 , g@xmath326 for @xmath326 up to @xmath401 : _ i_3_a_i_1_i_2 & = & _ i_2(_a_i_1_i_3+(-1)^a _ i_3_i_1_a^ ) + & & -(-1)^a _ i_1_a^_i_3_i_2 .
[ reduction:2 ] the proof of ( [ reduction:2 ] ) is simple : @xmath402 in later steps , ( [ reduction ] ) and ( [ reduction:2 ] ) are used directly in reduction .    _
step 11_. consider case ( i ) of step 9 .
let @xmath403 @xmath404 .
then @xmath405 when the subscripts 1,2,3 undergo a permutation , the polynomial equalities used in the reduction remain in the same category : @xmath406 for @xmath407 ; @xmath408 for @xmath409 ; @xmath410 .
so the above reduction is valid for all the six subcases of case ( i ) .    _
step 12_. case ( ii.1 ) of step 9 .
let @xmath411 , where @xmath339 , and @xmath340 is an ascending sequence of length @xmath341 . then @xmath412    _ step 13_. case ( iii.2 ) of step 9 .
let @xmath413 @xmath414 , where @xmath287 is an ascending sequence of length @xmath370 , and @xmath371 .
then @xmath415    in the reduction rules , @xmath416g4 stands for @xmath417g4 , and so for the rest .
the reductions for the other two subcases of case ( iii.2 ) are similar
.    _ step 14_. case ( iii.3 ) of step 9 .
let @xmath418 . then @xmath419    _ step 15_. case ( iii.4 ) of step 9 .
let @xmath420 @xmath421 , where @xmath287 is an ascending sequence of length @xmath374 , and @xmath375
. then @xmath422
[ main:2 ] let @xmath423 $ ] be the syzygy ideal of the quaternionic polynomial ring @xmath424 $ ] in @xmath4 vector variables @xmath170 .
@xmath426-[\v_{i_1}\v_{i_3}\v_{i_2 } ] , & { [ } \v_{i_3}\v_{i_1}\v_{i_2}]-[\v_{i_2}\v_{i_3}\v_{i_1}],\\ \v_{i_2}\v_{i_2}\v_{i_1}-\v_{i_1}\v_{i_2}\v_{i_2 } , & \v_{i_2}\v_{i_1}\v_{i_1}-\v_{i_1}\v_{i_1}\v_{i_2 } ; \\ \ea\ ] ]        \(2 ) [ normal form , see figure [ normal:2 ] ] in a normal form , every term is up to coefficient of the form @xmath427 @xmath428 or @xmath429 , where + ( i ) @xmath179 , + ( ii ) @xmath180 is non - descending , + ( iii ) @xmath430 is non - descending , + ( iv ) every @xmath181 is a non - descending monomial of length @xmath431 , + ( v ) @xmath432 ( or @xmath433 if @xmath185 occurs ) is non - descending , + ( vi ) for every @xmath186 , @xmath434 , + ( vii ) for every @xmath186 , if the length of @xmath181 is nonzero , let @xmath187 be the trailing variable of @xmath181 , then @xmath435 .    * _ sketch of the proof._*since the generators v2 , v3 , v4 of @xmath423 $ ] are homogeneous polynomials , if @xmath436 , @xmath437 $ ] , then by writing @xmath438 , where each @xmath439 is a homogeneous polynomial , and different @xmath143 s have different multisets of variables , we get that each @xmath440 $ ] .
so we simply consider homogeneous polynomials of degree @xmath441 in @xmath442 vector variables , where @xmath443 .
let the multiset of the variables in such polynomials be @xmath444 , whose number of elements is @xmath6 .
the elements of @xmath444 are specifications of @xmath6 different vector variables @xmath445 .
the definitions of multilinear product and multilinear addition of the multilinear ring for @xmath445 are valid for @xmath446 after minor revisions .
let @xmath447 $ ] be the syzygy ideal of the multilinear ring @xmath448 $ ] of multilinear polynomials whose variables by counting multiplicity are in multiset @xmath446 .
we only need to prove the theorem for @xmath447 $ ] .
most steps of the proof of theorem [ main:1 ] are still valid , in particular , ( [ establish ] ) is valid , whose proof follows a similar classification as in step 9 .
although there are more subtle cases to consider , the reductions for the new situations are much the same as for the cases of step 9 .