Processing math: 78%
Research article Special Issues

Dialogic teaching practices and student performance in mathematics in Asian countries

  • Improving the mathematics performance of school children is an objective for many policy-makers around the world. Student-centered interactive pedagogies like classroom discussions and other dialogic interaction practices have been considered the best practice to engage learners effectively in the learning process. However, dialogic teaching practices are least used in most Asian countries that on average achieve the highest mathematics scores in international assessments. Based on this conundrum, this paper utilized a large-scale education dataset for five Asian countries, namely the Trends in International Mathematics and Science Study (TIMSS) dataset for learner data from Chinese Taipei, Hong Kong, Korea, Malaysia, and Singapore to examine the relationship between dialogic classroom interaction teaching practices and the mathematics performance of 8th-grade learners. Using a within-learner-between-subject estimation strategy to account for endogeneity, we established that learners who are taught more frequently through dialogic interactive teaching practices in mathematics classes achieve higher mathematics scores. Our results confirm that interactive pedagogies do provide learning benefits, even in countries that use them sparingly. Thus, our findings challenge the held assumption that the efficacy of dialogic classroom interaction practices is context and learning culture specific. Nevertheless, our study also shows that the highly endogenous nature of the teaching and learning environment and learner performance limits the ability of any study that uses observational data to establish the true impact of dialogic practices on learner mathematics performance.

    Citation: Volker Schöer, Jose G. Clavel. Dialogic teaching practices and student performance in mathematics in Asian countries[J]. AIMS Mathematics, 2024, 9(10): 28671-28697. doi: 10.3934/math.20241391

    Related Papers:

    [1] Nouf Almutiben, Ryad Ghanam, G. Thompson, Edward L. Boone . Symmetry analysis of the canonical connection on Lie groups: six-dimensional case with abelian nilradical and one-dimensional center. AIMS Mathematics, 2024, 9(6): 14504-14524. doi: 10.3934/math.2024705
    [2] Huizhang Yang, Wei Liu, Yunmei Zhao . Lie symmetry reductions and exact solutions to a generalized two-component Hunter-Saxton system. AIMS Mathematics, 2021, 6(2): 1087-1100. doi: 10.3934/math.2021065
    [3] Yuqiang Feng, Jicheng Yu . Lie symmetry analysis of fractional ordinary differential equation with neutral delay. AIMS Mathematics, 2021, 6(4): 3592-3605. doi: 10.3934/math.2021214
    [4] Yang Pan, Yanyong Hong . Varieties of a class of elementary subalgebras. AIMS Mathematics, 2022, 7(2): 2084-2101. doi: 10.3934/math.2022119
    [5] Yunpeng Xiao, Wen Teng . Representations and cohomologies of modified λ-differential Hom-Lie algebras. AIMS Mathematics, 2024, 9(2): 4309-4325. doi: 10.3934/math.2024213
    [6] A. Tomar, H. Kumar, M. Ali, H. Gandhi, D. Singh, G. Pathak . Application of symmetry analysis and conservation laws to a fractional-order nonlinear conduction-diffusion model. AIMS Mathematics, 2024, 9(7): 17154-17170. doi: 10.3934/math.2024833
    [7] Amjad Hussain, Muhammad Khubaib Zia, Kottakkaran Sooppy Nisar, Velusamy Vijayakumar, Ilyas Khan . Lie analysis, conserved vectors, nonlinear self-adjoint classification and exact solutions of generalized (N+1)-dimensional nonlinear Boussinesq equation. AIMS Mathematics, 2022, 7(7): 13139-13168. doi: 10.3934/math.2022725
    [8] Baiying He, Siyu Gao . The nonisospectral integrable hierarchies of three generalized Lie algebras. AIMS Mathematics, 2024, 9(10): 27361-27387. doi: 10.3934/math.20241329
    [9] Mobeen Munir, Muhammad Athar, Sakhi Sarwar, Wasfi Shatanawi . Lie symmetries of Generalized Equal Width wave equations. AIMS Mathematics, 2021, 6(11): 12148-12165. doi: 10.3934/math.2021705
    [10] Miao Yang, Lizhen Wang . Lie symmetry group, exact solutions and conservation laws for multi-term time fractional differential equations. AIMS Mathematics, 2023, 8(12): 30038-30058. doi: 10.3934/math.20231536
  • Improving the mathematics performance of school children is an objective for many policy-makers around the world. Student-centered interactive pedagogies like classroom discussions and other dialogic interaction practices have been considered the best practice to engage learners effectively in the learning process. However, dialogic teaching practices are least used in most Asian countries that on average achieve the highest mathematics scores in international assessments. Based on this conundrum, this paper utilized a large-scale education dataset for five Asian countries, namely the Trends in International Mathematics and Science Study (TIMSS) dataset for learner data from Chinese Taipei, Hong Kong, Korea, Malaysia, and Singapore to examine the relationship between dialogic classroom interaction teaching practices and the mathematics performance of 8th-grade learners. Using a within-learner-between-subject estimation strategy to account for endogeneity, we established that learners who are taught more frequently through dialogic interactive teaching practices in mathematics classes achieve higher mathematics scores. Our results confirm that interactive pedagogies do provide learning benefits, even in countries that use them sparingly. Thus, our findings challenge the held assumption that the efficacy of dialogic classroom interaction practices is context and learning culture specific. Nevertheless, our study also shows that the highly endogenous nature of the teaching and learning environment and learner performance limits the ability of any study that uses observational data to establish the true impact of dialogic practices on learner mathematics performance.



    Symmetry methods for differential equations were introduced by Lie towards the end of the nineteenth century. Lie was looking for transformations that would change a differential equation to a simpler version, so that it might, for example, become separable and then easy to solve. Lie noticed that the ordinary differential equations (ODE's) are invariant under certain transformations, which later came to be known as Lie groups. The use of symmetry methods has become an increasingly important part of the study of differential equations. For example, we can obtain solutions of differential equations if we know their symmetries; we can also use symmetries to reduce the order of the ODE, and determine whether or not the ODE or partial differential equations (PDE) can be linearized. We can also classify differential equations based on their symmetry Lie algebras. For more information on the history of symmetry Lie algebras and their applications, we refer the reader to [1,2,3,4]. Another very accessible reference is [5].

    In this paper, we consider special systems of second order ordinary differential equations, known as geodesic equations. The geodesic equation is a second order differential equation, where the independent variable is t, which represents time, and the equation itself represents the motion of a particle moving in a curved space. In Riemannian geometry, a geodesic curve gives the shortest path between two points in that space. In general relativity, geodesic equations describe the motion in spacetime. In the case of a differentiable manifold with a connection, geodesic curves provide a generalization of straight lines in Euclidean space. On a smooth manifold, where (xi) are a system of local coordinates, and Γijk are the connection components or Christoffel symbols, the geodesic equation is given by

    d2xdt2+Γijkdxjdtdxkdt=0. (1.1)

    A significant amount of work has been done on analyzing the symmetry Lie algebras of the geodesic equations of the canonical connection on Lie groups. See [6,7,8,9] for further details about this connection. In [8], the main geometrical properties of this connection have been listed and proofs supplied. Ghanam and Thompson have considered the problem in dimensions two, three and four [10]. They have also considered the problem for six-dimensional nilpotent Lie algebras [11]. They have followed the list of algebras classified by Patera et al. [12] for indecomposable Lie algebras in dimension up to six. In recent articles, Almusawa et al. have considered the problem of classifying the symmetry Lie algebra of the geodesic equations for indecomposable nilpotent Lie algebras in dimension five [13], and they considered the problem for indecomposable five-dimensional solvable Lie algebras [14]. Finally, they considered the problem for a general n-dimensional Lie algebra with co-dimension one, and general results have been obtained [15]. In [16], the symmetry Lie algebras of the geodesic equations of the canonical connection on Lie groups whose Lie algebras have a co-dimension two abelian nilradical in dimensions four and five, were identified.

    In this paper, we continue our investigation of the Lie symmetries of the geodesic system of the canonical connection on a Lie group. The present article extends the investigation to indecomposable Lie algebras in dimensions six, that have a co-dimension two abelian nilradical, together with an abelian complement. The six-dimensional solvable real Lie algebras were classified into isomorphism classes by Turkowski [17] and comprise forty cases, some of which contain up to four parameters. Of these forty classes, the first nineteen, denoted by A6,1A6,19, have co-dimension two abelian nilradical and abelian complement. Since most of these algebras have parameters, we need to consider sub-cases based on the values of these parameters: Symmetry may be broken in the sense that, for exceptional values of the parameters, the symmetry algebra may have a higher dimension.

    The outline of the paper is as follows: In Section 2, we give the definition of the of the canonical connection on Lie groups and we review the main properties of . We also show how the definition is used to calculate the geodesic equations of the connection. In Section 3, we review the symmetries of differential equations and the Lie invariance condition. We also show how the Lie invariance condition leads to a system of partial differential equations. The solution of that PDE system gives the Lie symmetry of the geodesic equations. In Section 4, for each algebra A6,1A6,19 in Turkowski's list, we give the geodesic equations, a basis for the symmetry algebra in terms of vector fields is given and finally we identify and describe the symmetry algebra, which in all cases is a solvable Lie algebra, in terms of its nilradical and its complement. Regarding our notation, we use for the semi-direct product and for the direct sum of algebras.

    On left invariant vector fields, X and Y the canonical symmetric connection on a Lie group G is defined by

    XY=12 [X,Y], (2.1)

    and then extended to arbitrary vector fields using linearity and the Leibnitz rule. is left-invariant. One could just as well use right-invariant vector fields to define , but one must check that is well defined, a fact that we will prove next.

    Proposition 1. In the definition of we can equally assume that X and Y are right-invariant vector fields and hence is also left-invariant and hence bi-invariant. Moreover is symmetric, that is, its torsion is zero.

    Proof. The fact that is symmetric is obvious from Eq (2.1). Now we choose a fixed basis in the tangent space at the identity TIG. We shall denote its left and right invariant extensions by {X1,X2,,Xn} and {Y1,Y2,,Yn}, respectively. Then there must exist a non-singular matrix A of functions on G such that Yi=ajiXj. We shall suppose that

    [Xi,Xj]=CkijXk. (2.2)

    Changing from the left-invariant basis to the right gives

    Ckijapk=akiamjCpkm. (2.3)

    Next, we use the fact that left and right vector fields commute to deduce that

    akjCmik+Xiamj=0, (2.4)

    where the second term in (2.4) denotes directional derivative. We note that necessarily

    [Yi,Yj]=CkijYk. (2.5)

    Now we compute

    YiYj+12CkijYk=12akiamjCpkm+aki(Xkapi)+12Ckijapk. (2.6)

    Next we use (2.4) to replace the second term on the right hand side of (2.6) so as to obtain

    YiYj+12CkijYk=12akiamjCpkmakiamjCpkm+12Ckijapk. (2.7)

    However, the right hand side of (2.7) is seen to be zero by virtue of (2.3). Thus

    XY=12[X,Y], (2.8)

    whenever X and Y are right invariant vector fields.

    An alternative proof of Proposition 1 uses the inversion map ψ defined by, for SG,

    ψ(S)=S1. (2.9)

    As such, one checks that ψI maps a left-invariant vector field evaluated at I to minus its right-invariant counterpart evaluated at I. Then ψI is an isomorphism and there is no change of sign in the structure constants, as compared with Eq (2.5). Since there are two minus signs in Eq (2.1) the same condition Eq (2.1) applies also to right-invariant vector fields.

    Proposition 2. (i) An element in the center of g engenders a bi-invariant vector field.

    (ii) A vector field in the center of g is parallel.

    (iii) A bi-invariant differential k-form θ is closed and so defines an element of the cohomology group Hk(M, R ).

    Proof. (i) Suppose that ZTIG is in the center of g and let exp(tZ) be the associated one-parameter subgroup of G so that Z corresponds to the equivalence class of curves [exp(tZ)] based at I. Let SG; then LSZ corresponds to the equivalence class of curves [Sexp(tZ)] based at S. Since Z is in the center of g then exp(tZ) will be in the center of G and hence

    [Sexp(tZ)]=[exp(tZ)S].

    It follows that any element in the center of g engenders a bi-invariant vector field.

    (ii) Obvious from Eq (2.1).

    (iii) A proof can be found in [18]. Spivak shows that

    ψ(θ)=(1)kθ,

    whereas dθ, which is also bi-invariant, changes by

    ψ(dθ)=(1)k+1dθ.

    It follows that dθ=0.

    Proposition 3. (i) The curvature tensor, which is also bi-invariant, on vector fields X,Y,Z is given by

    R(X,Y)Z=14 [[X,Y],Z]. (2.10)

    (ii) The connection is flat if and only if the Lie algebra g of G is two-step nilpotent.

    (iii) The tensor R is parallel in the sense that WR(X,Y)Z=0, where W is a fourth right invariant vector field, so that G is in a sense a symmetric space.

    (iv) The Ricci tensor Rij of is given by

    Rij=14 CljmCmil (2.11)

    and is symmetric and bi-invariant and is obtained by translating to the left or right one quarter of the Killing form. It engenders a bi-invariant pseudo-Riemannian metric if and only if the Lie algebra g is semi-simple.

    Proof. (i) Is obvious and applies to arbitrary vector fields since it is a tensorial object.

    (ii) Is obvious.

    (iii) This fact follows from a series of implications:

    4WR(X,Y)Z+4R(WX,Y)Z+4R(X,WY)Z+4R(X,Y)WZ=W[[X,Y],Z],4WR(X,Y)Z+2R([W,X],Y)Z+2R(X,[W,Y])Z+2R(X,Y)[W,Z]12[W,[[X,Y],Z]=0,4WR(X,Y)Z+12[[W,X],Y],Z]+12[X,[W,Y]],Z]+12[[X,Y],[W,Z]]12[W,[[X,Y],Z]=0,4WR(X,Y)Z+12[[W,X],Y],Z]+12[X,[W,Y]],Z]12[Z,[[X,Y],W]=0,WR(X,Y)Z=0. (2.12)

    (iv) The formula Eq (2.11) is obvious from Eqs (2.1) and (2.10). The last remark follows from Cartan's criterion.

    Proposition 4. (i) Any left or right-invariant vector field is geodesic.

    (ii) Any geodesic curve emanating from the identity is a one-parameter subgroup.

    (iii) An arbitrary geodesic curve is a translation, to the left or right, of a one-parameter subgroup.

    Proof. (i) Is obvious because of the skew-symmetry in Eq (2.1).

    (ii) By definition the curve t[Sexp(tX)] integrates a geodesic field X.

    (iii) If the geodesic curve at t=0 starts at S, translate the curve to I by multiplying on the left or right by S1 and apply (ii).

    Proposition 5. (i) A left or right-invariant vector field is a symmetry, a.k.a. affine collineation, of .

    (ii) Any left or right-invariant one-form engenders a first integral of the geodesic system of .

    Proof. (i) The following condition for vector fields X and Y says that vector field W is a symmetry or, affine collineation, of a symmetric linear connection:

    XYWXYWR(W,X)Y=0. (2.13)

    In the case at hand of the canonical connection, this condition just reduces to the Jacobi identity when W,X and Y are all left or right-invariant.

    (ii) A one-form α is a Killing one-form, if the following condition holds:

    Xα,Y+X,Yα=0. (2.14)

    In the case of the canonical connection, if X and Y are right-invariant and α is right-invariant then Eq (2.1) gives

    X,Yα=12[X,Y],α. (2.15)

    Clearly, (2.15) implies (2.14) so that every left or right-invariant one-form engenders a first integral of the geodesics: if the one-form is given in a coordinate system as αidxi on G, the first integral is αiui viewed as a function on the tangent bundle TG that is linear in the fibers.

    Proposition 6. Any left or right-invariant one-form α is closed if and only if [g,g],α=0, that is, α annihilates the derived algebra of g.

    Proof. Consider the identity

    dα(X,Y)=XY,αYX,α[X,Y],α. (2.16)

    If α is left-invariant and we take X and Y left-invariant, then the first and second terms in Eq (2.16) are zero. Now the conclusion of the proposition is obvious. The proof for right-invariant one-forms is similar.

    Proposition 7. Consider the following conditions for a one-form α on G:

    (i) α is bi-invariant.

    (ii) α is right-invariant and closed.

    (iii) α is left-invariant and closed.

    (iv) α is parallel.

    Then we have the following implications: (i)–(iii) are equivalent and any one of them implies (iv).

    Proof. The fact that (i) implies (ii) and (iii) follows from Proposition 2 part (iii). Now, suppose that (iii) holds and let X and Y be right and left-invariant vector fields, respectively. Then, consider again the identity

    dα(X,Y)=XY,αYX,α[X,Y],α. (2.17)

    Assuming that α is closed, then either because [X,Y]=0 or by using Proposition 6, we find that Eq (2.17) reduces to

    XY,α=YX,α. (2.18)

    Now, the left hand side of Eq (2.18) is zero, since Y and α are left-invariant. Hence, X,α is constant, which implies that α is right-invariant and hence bi-invariant. Thus, (iii) implies (i). The proof that (ii) implies (i) is similar. Finally, supposing that (ii) or (iii) holds we show that (iv) holds. Then as with any symmetric connection, the closure condition may be written, for arbitrary vector fields X and Y, as

    Xα,YX,Yα=0. (2.19)

    Clearly Eq (2.14) and Eq (2.19)imply that α is parallel. So a closed, invariant one-form is parallel.

    Of course, it may well be the case that there are no bi-invariant one-forms on G, for example if G is semi-simple so that [g,g]=g. However, there must be at least one such one-form if G is solvable and at least two if G is nilpotent.

    If we choose a basis of dimension dim g-dim [g,g] for the bi-invariant one-forms on G, it may be used to obtain a partial coordinate system on G, since each such form is closed. Such a partial coordinate system is significant in terms of the geodesic system, in that it gives rise to second order differential equations that resemble the system in Euclidean space.

    Proposition 8. Each of the bi-invariant one-forms on G projects to a one-form on the quotient space G/[G,G], assuming that the commutator subgroup [G,G] is closed topologically in G. Furthermore, the canonical connection on G projects to a flat connection on G/[G,G] and the induced system of one-forms on G/[G,G] comprises a "flat" coordinate system.

    Proof. The fact that a bi-invariant one-form on G projects to a one-form on G/[G,G] follows because each such form annihilates the vertical distribution of the principal right [G,G]-bundle GG/[G,G] and furthermore the equivariance, or Lie-derivative condition along the fibers, is trivially satisfied since the one-form is closed. The fact that projects to G/[G,G] follows because [G,G]G, as was noted in [19].

    In this section, we explain the algorithm of finding the Lie symmetry of the geodesic equations. Consider the system of the geodesic equations given by

    d2xdt2=fi(t,xi), i=1,2,,6, (3.1)

    where in in this case

    (x1,x2,x3,x4,x5,x6)=(p,q,x,y,z,w)

    and t is the independant variable and xi's are the dependant variables. We now consider a symmetry vector field Γ of the form:

    Γ=Tt+Pp+Qq+Xx+Yy+Zz+Ww, (3.2)

    where T,P,Q,X,Y,Z and W are unknown functions of (t,p,q,x,y,z,w). The first prolongation Γ1 and second prolongation Γ2 of Γ are give by

    Γ1=Γ+Pt˙p+Qt˙q+Xt˙x+Yt˙y+Zt˙z+Wt˙w,     (3.3)
    Γ2=Γ1+Ptt¨p+Qtt¨q+Xtt¨x+Ytt¨y+Ztt¨z+Wtt¨w, (3.4)

    where

    Pt=Dt(P)˙pDt(T),Ptt=Dt(Pt)¨pDt(T),Qt=Dt(Q)˙qDt(T),Qtt=Dt(Qt)¨qDt(T),Xt=Dt(X)˙xDt(T),Xtt=Dt(Xt)¨xDt(T),Yt=Dt(Y)˙yDt(T),Ytt=Dt(Yt)¨yDt(T),Zt=Dt(Z)˙zDt(T),Ztt=Dt(Zt)¨zDt(T),Wt=Dt(W)˙wDt(T),Wtt=Dt(Wt)¨wDt(T), (3.5)

    where Dt is given by

    Dt=t+˙pp+˙qq+˙xx+˙yy+˙zz+˙ww+¨p˙p+¨q˙q+¨x˙x+¨y˙y+¨z˙z+¨w˙w. (3.6)

    Finally, Γ is said to be a Lie symmetry of the system the geodesic equations if

    Γ2(Δ(2)i)|Δ(2)i=0=0, (3.7)

    where

    Δ(2)i=d2xdt2fi(t,xi),   i=1,2,,6. (3.8)

    Equation (3.7) is called the Lie invariance condition. We equate the coefficients of the linearly independent derivation terms to zero and this yields to an overdetermined system of PDEs.

    In this section, we consider the nineteen six-dimensional Lie algebra with co-dimension two abelian nilradical. For each Lie algebra, we will list the non-zero brackets, the system of the geodesic equations and the symmetry vector fields. Finally, we analyze the symmetry Lie algebra in terms of its nilradical and identify it.

    The non-zero brackets for the algebra Aabcd6,1 are given by

    [e1,e3]=ae3,[e1,e4]=ce4,[e1,e6]=e6,
    [e2,e3]=be3,[e2,e4]=de4,[e2,e5]=e5. (4.1)

    The geodesic equations are given by

    ¨p=˙p˙w,¨q=˙q˙z,¨x=˙x(d˙z+c˙w),¨y=˙y(b˙z+a˙w),¨z=0, ¨w=0. (4.2)

    For the general case Aa0,b0,c0,d06,1, the symmetry Lie algebra is spanned by

    e1=Dq,e2=Dt,e3=Dx,e4=Dy,e5=Dp,e6=wDt,e7=zDt,
    e8=ezDq,e9=ewDp,e10=ecw+dzDx,e11=eaw+bzDy,e12=Dw,
    e13=Dz,e14=tDt,e15=xDx,e16=qDq,e17=yDy.e18=pDp. (4.3)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e16]=e1,[e2,e14]=e2,[e3,e15]=e3,[e4,e17]=e4,[e5,e18]=e5,
    [e6,e12]=e2,[e6,e14]=e6,[e7,e13]=e2,[e7,e14]=e7,[e8,e13]=e8,
    [e8,e16]=e8,[e9,e12]=e9,[e9,e18]=e9,[e10,e15]=e10,[e11,e17]=e11,
    [e10,e13]=de10,[e11,e12]=ae11,[e11,e13]=be11,[e10,e12]=ce10. (4.4)

    In this case, based on the Lie invariance condition, we have to consider eight subcases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are: Aa=1,b06,1, Aa=c,a06,1, Ab=1,a06,1, Ab=d,b06,1, Ac=0,d06,1, Ac=16,1, Ad=0,c06,1 and Ad=16,1. In the generic and sub-cases, we find that the structure of the symmetry Lie algberas are the same. We summarize the results in the following proposition.

    Proposition 9. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of eleven-dimensional abelian nilradical spanned by e1e11 and a seven-dimensional abelian complement spanned by e12e18. Hence, it can be described as  R 11 R 7.

    The non-zero brackets for the algebra Aabc6,2 are given by

    [e1,e4]=e4,[e1,e5]=e6,[e2,e5]=e5,[e2,e6]=e6,
    [e2,e3]=be3,[e2,e4]=ce4,[e1,e3]=ae3. (4.5)

    The geodesic equations are given by

    ¨p=˙p˙z,¨q=˙p˙w+˙q˙z,¨x=˙x(c˙z+˙w),¨y=˙y(b˙z+a˙w),¨z=0,¨w=0. (4.6)

    For the general case Aa0,b0,c06,2, the symmetry Lie algebra is spanned by

    e1=ezDq,e2=Dq,e3=ezDp+wezDq,e4=Dp,e5=pDq,e6=Dt,
    e7=Dx,e8=Dy,e9=xDx,e10=xDt,e11=zDt,e12ww+czDx,
    e13=eaw+bzDy,e14=Dw,e15=Dz,e16=tDt,e17=yDy,e18=pDp=qDq. (4.7)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e15]=e1,[e2,e18]=e2,[e3,e16]=e3,[e4,e17]=e4,[e8,e10]=e9,
    [e5,e18]=e5,[e6,e13]=e1,[e6,e15]=e6,[e7,e14]=e1,[e7,e15]=e7,
    [e5,e8]=e2,[e9,e14]=e9,[e9,e18]=e9,[e12,e17]=e12,[e11,e16]=e11,
    [e10,e18]=e10,[e11,e13]=e11,[e10,e13]=e9,[e10,e14]=e10,
    [e12,e13]=ae12,[e12,e14]=be12,[e11,e14]=ce11. (4.8)

    In this case, based on the Lie invariance condition, we have to consider seven sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are: Aa=0,b06,2, Aa=16,2, Ab=0,a06,2, Ab=16,2, Aa0,b=c6,2, Ac=06,2 and Ac=16,2. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 10. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of twelve-dimensional decomposable nilradical spanned by e1e12 and a six-dimensional abelian complement spanned by e12e18. In fact, the nilradical is a direct sum of A5,1 in Winternitz list and  R 7. Hence, symmetry algebra can be can be described as (A5,1 R 7) R 6 where the non-zero brackets of A5,1 are given by

    [e3,e5]=e1,[e4,e5]=e2. (4.9)

    The non-zero brackets for the algebra Aa6,3 are given by

    [e1,e3]=e3,[e1,e4]=e4,[e1,e5]=e6,[e2,e5]=e5,
    [e2,e3]=ae3+e4,[e2,e4]=ae4,[e2,e6]=e6. (4.10)

    The geodesic equations are given by

    ¨p=˙p˙z+˙q˙w,¨q=˙q˙z,¨x=˙x(a˙z+˙w)+˙y˙z,¨y=˙y(a˙z+˙w), ¨z=0, ¨w=0. (4.11)

    {For the general case Aa06,3, the symmetry Lie algebra is spanned by

    e1=Dt,e2=Dx,e3=Dp,e4=Dy,e5=Dq,e6=wDt,e7=zDt,
    e8=yDx,e9=qDp,e10=ezDp,e11=wezDp+ezDq,e12=eweazDxa,
    e13=(az1)eaz+wDxa+eweazDy,e14=Dw,e15=Dz,
    e16=tDt,e17=xDx+yDy,e18=pDp+qDq. (4.12)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e16]=e1,[e2,e17]=e2,[e3,e18]=e3,[e13,e15]=ae12ae13,
    [e5,e9]=e3,[e5,e18]=e5,[e6,e14]=e1,[e7,e15]=e1,  
    [e7,e16]=e7,[e9,e11]=e10,[e10,e15]=e10,[e10,e18]=e10,
    [e11,e14]=e10,[e11,e15]=e11,[e11,e18]=e11,[e4,e17]=e4, 
    [e4,e8]=e2,[e6,e16]=e6,[e8,e13]=ae12,[e12,e14]=e12,
    [e12,e17]=e12,[e13,e14]=e13,[e12,e15]=ae12,[e13,e17]=e13.      (4.13)

    In this case, based on the Lie invariance condition, we have to consider two sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are Aa=06,3 and Aa=16,3. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 11. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra with thirteen-dimensional nilradical spanned by e1e13 and five-dimensional abelian complement spanned by e14e18. In fact, the nilradical is a direct sum of two copies of A5,1 and  R 3. Hence, the symmetry algebra is (A5,1A5,1 R 3) R 5, where A5,1 is given by Eq (4.9).

    The non-zero brackets for the algebra Aab6,4 are given by

    [e1,e3]=e3,[e1,e4]=e4,[e1,e5]=e6,[e2,e3]=e4,
    [e2,e4]=e3,[e2,e5]=ae5+be6,[e2,e6]=ae6. (4.14)

    The geodesic equations are given by

    ¨p=˙z(a˙p+b˙q)+˙q˙w,¨q=a˙q˙z,¨x=˙x˙w˙y˙z,¨y=˙x˙z+˙y˙w,¨z=0,¨w=0. (4.15)

    For the general case Aa0,b06,4, the symmetry Lie algebra is spanned by

    e1=Dx,e2=Dy,e3=Dp,e4=Dq,e5=Dt,e6=qDp,
    e7=wDt,e8=zDt,e9=eazDpa,e10=ewcos(z)Dx+ewsin(z)Dy,
    e11=ewsin(z)Dxewcos(z)Dy,e12=((bz+w)ab)eazDpa+eazDq,e13=Dw,
    e14=Dz,e15=tDt,e16=pDp+qDq,e17=xDx+yDy,e18=yDxxDy. (4.16)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e17]=e1,[e1,e18]=e2,[e2,e17]=e2,[e2,e18]=e1,[e3,e16]=e3,
    [e4,e6]=e3,[e4,e16]=e4,[e15,e15]=e5,[e10,e17]=e10,[e7,e13]=e5,
    [e7,e15]=e7,[e8,e14]=e5,[e8,e15]=e8,[e10,e14]=e11,[e9,e16]=e9, 
    [e11,e13]=e11,[e11,e14]=e10,[e11,e17]=e11,[e11,e18]=e10,
    [e10,e18]=e11,[e10,e13]=e10,[e6,e12]=ae9,[e9,e14]=ae9,
    [e12,e13]=ae9,[e12,e14]=abe9ae12,[e12,e16]=e12. (4.17)

    In this case, based on the Lie invariance condition, we have to consider one sub-case based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The only case we consider is Ab=06,4. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 12. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of twelve-dimensional decomposable nilradical spanned by e1e12 and a six-dimensional abelian complement spanned by e12e18. In fact, the nilradical is a direct sum of A5,1 in Winternitz list and  R 7. Hence, symmetry algebra can be can be described as (A5,1 R 7) R 6, where A5,1 is given by Eq (4.9).

    The non-zero brackets for the algebra Aab6,5 are given by

    [e1,e3]=ae3,[e1,e5]=e5+e6,[e1,e6]=e6,[e2,e3]=be3,[e2,e4]=e4. (4.18)

    The geodesic equations are given by

    ¨p=˙w(˙p+˙q),¨q=˙q˙w,¨x=˙x(b˙z+a˙w),¨y=˙y˙z,¨z=0,¨w=0. (4.19)

    For the general case Aa0,b06,5, the symmetry Lie algebra is spanned by

    e1=Dt,e2=Dp,e3=Dx,e4=Dy,e5=Dq,e6=wDt,e7=zDt,
    e8=qDp,e9=ewDp,e10=ezDy,e11=(w1)ewDp+ewDq,e12=eawebzDx,
    e13=Dz,e14=Dw,e15=tDt,e16=xDx,e17=yDy,e18=pDp+qDq. (4.20)

    The non-zero brackets of the symmetry algebra are given by

    [e3,e16]=e3,[e4,e17]=e4,[e5,e8]=e2,[e11,e14]=e11e9,
    [e5,e18]=e5,[e6,e14]=e1,[e6,e15]=e6,[e7,e13]=e1,
    [e8,e11]=e9,[e9,e14]=e9,[e9,e18]=e9,[e10,e13]=e10,
    [e10,e17]=e10,[e7,e15]=e7,[e12,e13]=be12,[e11,e18]=e11,
    [e1,e15]=e1,[e2,e18]=e2,[e12,e14]=ae12,[e12,e16]=e12. (4.21)

    In this case, based on the Lie invariance condition, we have to consider two sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are Aa=1,b06,5 and Aa0,b=16,5. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 13. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of twelve-dimensional decomposable nilradical spanned by e1e12 and a six-dimensional abelian complement spanned by e12e18. In fact, the nilradical is a direct sum of A5,1 in Winternitz list and  R 7. Hence, symmetry algebra can be can be described as (A5,1 R 7) R 6, where A5,1 is given by Eq (4.9).

    The non-zero brackets for the algebra Aab6,6 are given by

    [e1,e3]=ae3,[e1,e4]=ae4,[e2,e4]=e4,[e1,e6]=e6,
    [e1,e5]=e5+e6,[e2,e3]=e3+e4,[e2,e5]=be6. (4.22)

    The geodesic equations are given by

    ¨p=˙w(˙p+˙q)+b˙q˙z,¨q=˙q˙w,¨x=˙x(˙z+a˙w)+˙y˙z,¨y=˙y(˙z+a˙w), ¨z=0, ¨w=0. (4.23)

    For the general case Aa0,b06,6, the symmetry Lie algebra is spanned by

    e1=Dt,e2=Dx,e3=Dp,e4=Dy,e5=Dq,e6=wDt,
    e7=zDt,e8=yDx,e9=qDp,e10=ewDp,e11=ezeawDx,
    e12=(bz+w1)ewDp+ewDq,e13=(z1)eaw+zDx+ezeawDy,
    e14=Dz,e15=Dw,e16=tDt,e17=xDx+yDy,e18=pDp+qDq. (4.24)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e16]=e1,[e2,e17]=e2,[e3,e18]=e3,[e4,e8]=e2,[e4,e17]=e4,  
    [e5,e18]=e5,[e6,e15]=e1,[e6,e16]=e6,[e5,e9]=e3,[e7,e16]=e7,
    [e19,e12]=e10,[e10,e15]=e10,[e10,e18]=e10,[e11,e15]=ae11,
    [e11,e14]=e11,[e11,e17]=e11,[e8,e13]=e11,[e12,e18]=e12,
    [e12,e15]=e10e12,[e7,e14]=e1,[e12,e14]=be10,
    [e13,e14]=e11e13,[e13,e15]=ae13,[e13,e17]=e13.     (4.25)

    In this case, based on the Lie invariance condition, we have to consider three sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are Aa=0,b06,6, Aa=16,6 and Aa0,b=06,6. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 14. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra with thirteen-dimensional nilradical spanned by e1e13 and five-dimensional abelian complement spanned by e14e18. In fact, the nilradical is a direct sum of two copies of A5,1 and  R 3. Hence, the symmetry algebra is (A5,1A5,1 R 3) R 5, where A5,1 is given by Eq (4.9).

    The non-zero brackets for the algebra Aabc6,7 are given by

    [e1,e3]=ae3,[e1,e4]=ae4,[e2,e5]=be6,[e1,e6]=e6,
    [e1,e5]=e5+e6,[e2,e3]=ce3+e4,[e2,e4]=e3+ce4.  (4.26)

    The geodesic equations are given by

    ¨p=˙p(c˙z+a˙w)+˙q˙z,  ¨q=˙z(˙p+c˙q)+a˙q˙w,  ¨x=˙x˙w,  ¨y=˙x(b˙z+˙w)+˙y˙w,  ¨z=0, ¨w=0. (4.27)

    For the general case Aa0,b0,c06,7, the symmetry Lie algebra is spanned by

    e1=Dq,e2=Dp,e3=Dy,e4=Dx,e5=Dt,
    e6=xDy,e7=wDt,e8=zDt,e9=ewDy,
    e10=ewDx+(bz+w1)ewDy,e11=sin(z)eaw+czDp+eczcos(z)eawDq,
    e12=cos(z)eaw+czDp+eczsin(z)eawDq,e13=Dz,e14=Dw,e15=tDt,
    e16=xDx+yDy,e17=pDp+qDq,e18=qDp+pDq. (4.28)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e17]=e1,[e1,e18]=e2,[e2,e17]=e2,[e9,e14]=e9,[e3,e16]=e3,
    [e4,e16]=e4,[e5,e15]=e5,[e6,e10]=e9,[e7,e14]=e5,[e7,e15]=e7,
    [e8,e15]=e8,[e2,e18]=e1,[e9,e16]=e9,[e11,e17]=e11,[e10,e16]=e10,
    [e11,e14]=ae11,[e10,e13]=be9,[e12,e18]=e11,[e11,e18]=e12,
    [e11,e13]=ce11+e12,[e12,e17]=e12,[e4,e6]=e3,[e8,e13]=e5,
    [e12,e13]=ce12e11,[e12,e14]=ae12,[e10,e14]=e10e9. (4.29)

    In this case, based on the Lie invariance condition, we have to consider four sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are Aa=0,b06,7, Aa=16,7, Aa0,b=06,7 and Ac=06,7. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 15. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of twelve-dimensional decomposable nilradical spanned by e1e12 and a six-dimensional abelian complement spanned by e12e18. In fact, the nilradical is a direct sum of A5,1 in Winternitz list and  R 7. Hence, symmetry algebra can be can be described as (A5,1 R 7) R 6, where A5,1 is given by Eq (4.9).

    The non-zero brackets for the algebra A6,8 are given by

    [e1,e3]=e3,[e1,e4]=e6,[e2,e5]=e5+e6,[e2,e6]=e6,[e2,e4]=e4. (4.30)

    The geodesic equations are given by

    ¨p=˙z(˙p+˙y)+˙q˙w,¨q=˙q˙z,¨x=˙x˙w,¨y=˙y˙z,¨z=0,¨w=0. (4.31)

    The symmetry Lie algebra is spanned by

    e1=Dt,e2=Dp,e3=Dx,e4=Dq,e5=Dy,e6=wDt,
    e7=zDt,e8=qDp,e9=yDp,e10=ezDp,e11=ewDx,
    e12=wezDp+ezDq,e13=(z1)ezDp+ezDy,e14=Dz,
    e15=tDt,e16=Dw,e17=xDx,e18=pDp+qDq+yDy. (4.32)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e15]=e1,[e2,e18]=e2,[e3,e17]=e3,[e4,e8]=e2,[e4,e18]=e4,
    [e5,e9]=e2,[e5,e18]=e5,[e6,e15]=e6,[e6,e16]=e1,[e7,e15]=e7,
    [e7,e14]=e1,[e8,e12]=e10,[e9,e13]=e10,[e10,e14]=e10,
    [e10,e18]=e10,[e11,e16]=e11,[e11,e17]=e11,[e12,e14]=e12, 
    [e12,e16]=e10,[e12,e18]=e12,[e13,e14]=e10e13,[e13,e18]=e13. (4.33)

    Proposition 16. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra with thirteen-dimensional nilradical spanned by e1e13, which is a direct sum of an eight-dimensional indecomposable solvable Lie algebra B8(a=0) and a five-dimensional abelian Lie algebra. The complement of the nilradical is a another five-dimensional abelian Lie algebra spanned by e14e18. Therefore, the symmetry algebra can be identified as: (B8(a=0) R 5) R 5, where the non-zero brackets of B8a are given by Eq (4.38).

    The non-zero brackets for the algebra Aa6,9 are given by

    [e1,e3]=e3,[e1,e4]=e6,[e2,e4]=e4+e5,[e2,e5]=e5+ae6,[e2,e6]=e6. (4.34)

    The geodesic equations are given by

    ¨p=˙z(˙p+a˙y)+˙q˙w,  ¨q=˙q˙z,  ¨x=˙x˙w,  ¨y=˙z(˙q+˙y),  ¨z=0, ¨w=0. (4.35)

    For the general case Aa06,9, the symmetry Lie algebra is spanned by

    e1=Dt,e2=Dy,e3=Dp,e4=Dx,e5=Dq,e6=wDt,
    e7=zDt,e8=qDp,e9=ezDp,e10=ewDx,e11=ayDp+qDy,
    e12=(z1)aezDp+ezDy,e13=[(z22z+2)a2+w]ezDp+ezDq+(z1)ezDy,
    e14=Dw,e15=Dz,e16=tDt,e17=xDx,e18=pDp+qDq+yDy. (4.36)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e16]=e1,[e2,e18]=e2,[e3,e18]=e3,[e4,e17]=e4,
    [e5,e11]=e2,[e5,e18]=e5,[e6,e14]=e1,[e6,e16]=e6,
    [e7,e15]=e1,[e8,e13]=e9,[e9,e15]=e9,[e9,e18]=e9,
    [e10,e14]=e10,[e11,e12]=ae9,[e2,e11]=ae3,[e11,e13]=e12,
    [e12,e18]=e12,[e5,e8]=e3,[e12,e15]=ae9e12,[e7,e16]=e7,
    [e10,e17]=e10,[e13,e14]=e9,[e13,e15]=e12e13,[e13,e18]=e13. (4.37)

    In this case, based on the Lie invariance condition, we have to consider one sub-case based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The only case we consider is Aa=06,9. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 17. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra with thirteen-dimensional nilradical spanned by e1e13, which is a direct sum of an eight-dimensional indecomposable solvable Lie algebra B8 and a five-dimensional abelian Lie algebra. The complement of the nilradical is a another five-dimensional abelian Lie algebra spanned by e14e18. Therefore, the symmetry algebra can be identified as (B8 R 5) R 5, where B8 is the following solvable indecomposable eight-dimensional Lie algebra given by the non-zero brackets

    [e3,  e4]=e2,  [e3,  e6]=e1,  [e4,  e8]=e5,  [e6,  e7]=ae5,  [e6,  e8]=e7. (4.38)

    The non-zero brackets for the algebra Aab6,10 are given by

    [e1,e3]=ae3,[e1,e4]=e4+be6,[e1,e5]=e5,
    [e1,e6]=e6,[e2,e3]=e3,[e2,e4]=e5,[e2,e5]=e6. (4.39)

    The geodesic equations are given by

    ¨p=˙w(˙p+b˙x)+˙q˙z,  ¨q=˙q˙w+˙x˙z,  ¨x=˙x˙w,  ¨y=˙y(˙z+a˙w),  ¨z=0, ¨w=0. (4.40)

    For the general case Aa0,b06,10, the symmetry Lie algebra is spanned by

    e1=Dt,e2=Dq,e3=Dp,e4=Dy,e5=Dx,e6=wDt,
    e7=zDt,e8=xDp,e9=qDp+xDq,e10=ewDp,e11=zewDp+ewDq,
    e12=eawezDy,e13=[(2w2)b2+z22]ewDp+zewDq+ewDx,
    e14=Dz,e15=Dw,e16=tDt,e17=yDy,e18=pDp+qDq+xDx. (4.41)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e16]=e1,[e2,e9]=e3,[e2,e18]=e2,[e3,e18]=e3,[e4,e17]=e4,
    [e5,e8]=e3,[e5,e9]=e2,[e5,e18]=e5,[e6,e15]=e1,[e6,e16]=e6,
    [e7,e14]=e1,[e7,e16]=e7,[e8,e13]=e10,[e13,e15]=be10e13,
    [e9,e13]=e11,[e10,e15]=e10,[e10,e18]=e10,[e11,e14]=e10,
    [e11,e18]=e11,[e11,e15]=e11,[e12,e14]=e12,[e12,e15]=ae12,
    [e12,e17]=e12,[e13,e14]=e11,[e9,e11]=e10,[e13,e18]=e13. (4.42)

    In this case, based on the Lie invariance condition, we have to consider three sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are Aa=06,10, Aa=16,10 and Ab=06,10. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 18. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra with thirteen-dimensional nilradical spanned by e1e13, which is a direct sum of an eight-dimensional indecomposable solvable Lie algebra B8(a=1) and a five-dimensional abelian Lie algebra. The complement of the nilradical is a another five-dimensional abelian Lie algebra spanned by e14e18. Therefore, the symmetry algebra can be identified as (B8(a=1) R 5) R 5, where the non-zero brackets of B8a are given by Eq (4.38).

    The non-zero brackets for the algebra Aa6,11 are given by

    [e1,e3]=e4,[e2,e4]=e4,[e1,e6]=e6,[e2,e3]=e3,
    [e1,e5]=e5+e6,[e2,e5]=ae5,[e2,e6]=ae6. (4.43)

    The geodesic equations are given by

    ¨p=˙p(a˙z+˙w)+˙q˙w,  ¨q=˙q(a˙z+˙w),  ¨x=˙x˙z,  ¨y=˙x˙w+˙z˙y,  ¨z=0, ¨w=0. (4.44)

    For the general case Aa06,11, the symmetry Lie algebra is spanned by

    e1=Dt,e2=Dp,e3=Dy,e4=Dq,e5=Dx,e6=wDt,
    e7=zDt,e8=qDp,e9=xDy,e10=ezDy,e11=ezDx+wezDy,
    e12=eweazDp,e13=weweazDp+eweazDq,e14=Dw,e15=Dz,
    e16=tDt,e17=pDp+qDq,e18=xDx+yDy. (4.45)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e16]=e1,[e2,e17]=e2,[e3,e18]=e3,[e4,e8]=e2,[e4,e17]=e4,
    [e6,e14]=e1,[e6,e16]=e6,[e13,e15]=ae13,[e7,e15]=e1,
    [e8,e13]=e12,[e9,e11]=e10,[e10,e15]=e10,[e10,e18]=e10,
    [e11,e15]=e11,[e11,e18]=e11,[e12,e14]=e12,[e5,e9]=e3,
    [e12,e15]=ae12,[e11,e14]=e10,[e13,e14]=e12e13,
    [e12,e17]=e12,[e5,e18]=e5,[e7,e16]=e7,[e13,e17]=e13. (4.46)

    In this case, based on the Lie invariance condition, we have to consider two sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are Aa=06,11 and Aa=16,11. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 19. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra with thirteen-dimensional nilradical spanned by e1e13 and five-dimensional abelian complement spanned by e14e18. In fact, the nilradical is a direct sum of two copies of A5,1 and  R 3. Hence, the symmetry algebra is (A5,1A5,1 R 3) R 5, where A5,1 is given by Eq (4.9).

    The non-zero brackets for the algebra Aab6,12 are given by

    [e1,e4]=e4,[e1,e5]=e5+e6,[e1,e6]=e6,[e2,e3]=ae4+e5be6,
    [e1,e3]=e3+e4,[e2,e4]=e6,[e2,e5]=e3+be4+ae6,[e2,e6]=e4. (4.47)

    The geodesic equations are given by

    ¨p=˙z(˙p+˙x)+˙w(a˙x+b˙y˙q),¨q=˙z(˙q+˙y)+˙w(a˙yb˙x+˙p),
    ¨x=˙x˙z˙y˙w,¨y=˙y˙z+˙x˙w,¨z=0,¨w=0. (4.48)

    For the general case Aa0,b06,12, the symmetry Lie algebra is spanned by

    e1=Dy,e2=Dp,e3=Dq,e4=Dt,e5=Dx,
    e6=wDt,e7=zDt,e8=xDp+yDq,e9=yDpxDq,
    e10=cos(w)ezDp+sin(w)ezDq,e11=sin(w)ezDpcos(w)ezDq,
    e12=((aw+b+z1) cos(w)+bw sin(w)) ezDp+((aw+b+z1)sin(w)
    w cos(w)b) ezDq+cos(w) ezDx+sin(w) ezDy,
    e13=((bw+a) cos(w)+sin(w)(aw+z1)) ezDp+(cos(w)(aw+z1)
    (bwa)sin(w)) ezDq+sin(w) ezDxcos(w) ezDy, 
    e14=tDt,e15=Dz,e16=Dw,
    e17=pDp+qDq+xDx+yDy,e18=qDppDq+yDxxDy. (4.49)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e8]=e3,[e1,e9]=e2,[e1,e17]=e1,[e13,e15]=e11e13,
    [e13,e16]=2be10e12,[e3,e17]=e3,[e3,e18]=e2,[e4,e14]=e4,
    [e5,e9]=e3,[e5,e17]=e5,[e5,e18]=e1,[e6,e14]=e6,
    [e7,e14]=e7,[e7,e15]=e4,[e8,e12]=e10,[e8,e13]=e11,
    [e9,e12]=e11,[e9,e13]=e10,[e10,e15]=e10,[e10,e16]=e11,
    [e10,e17]=e10,[e10,e18]=e11,[e11,e15]=e11,[e11,e16]=e10,
    [e11,e17]=e11,[e11,e18]=e10,[e5,e8]=e2,[e12,e17]=e12,
    [e13,e17]=e13,[e12,e18]=ae10+be11+e13,[e1,e18]=e5,
    [e12,e16]=2ae10+e13,[e2,e17]=e2,[e12,e15]=e10e12,
    [e2,e18]=e3,[e6,e16]=e4,[e13,e18]=ae11+be10e12. (4.50)

    In this case, based on the Lie invariance condition, we have to consider two sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are Aa=06,12 and Ab=06,12. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 20. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra with thirteen-dimensional nilradical spanned by e1e13 and five-dimensional abelian complement spanned by e14e18. In fact, the nilradical is a direct sum of ten-dimensional solvable Lie algebra C10 and  R 3. Hence, the symmetry algebra is (C10 R 3) R 5, where C10 is an indecoposable ten-dimensional solvable Lie algebra given by the non-zero brackets

    [e1,e5]=e3,[e1,e6]=e2,[e4,e5]=e2,[e4,e6]=e3,
    [e5,e9]=e7,[e5,e10]=e8,[e6,e9]=e8,[e6,e10]=e7. (4.51)

    The non-zero brackets for the algebra Aabcd6,13 are given by

    [e1,e3]=ae3,[e1,e4]=ce4,[e1,e5]=e6,[e1,e6]=e5,
    [e2,e3]=be3,[e2,e4]=de4,[e2,e6]=e6,[e2,e5]=e5.   (4.52)

    The geodesic equations are given by

    ¨p=˙p˙z˙q˙w,  ¨q=˙p˙w+˙q˙z,  ¨x=˙x(d˙z+c˙w),  ¨y=˙y(b˙z+a˙w),  ¨z=0, ¨w=0. (4.53)

    For the general case Aa0,b0,c0,d06,13, the symmetry Lie algebra is spanned by

    e1=Dt,e2=Dp,e3=Dq,e4=Dx,e5=Dy,e6=wDt,e7=zDt,
    e8=ecwedzDx,e9=eawebzDy,e10=cos(w)ezDp+sin(w)ezDq,
    e11=sin(w)ezDpcos(w)ezDq,e12=Dw,e13=Dz,e14=tDt,
    e15=xDx,e16=yDy,e17=pDp+qDqe18=qDppDq. (4.54)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e14]=e1,[e2,e17]=e2,[e2,e18]=e3,[e3,e17]=e3,[e3,e18]=e2,
    [e4,e15]=e4,[e6,e12]=e1,[e9,e12]=ae9,[e6,e14]=e6, 
    [e7,e14]=e7,[e8,e12]=ce8,[e8,e13]=de8,[e8,e15]=e8,
    [e9,e16]=e9,[e10,e12]=e11,[e10,e13]=e10,[e10,e17]=e10, 
    [e11,e13]=e11,[e9,e13]=be9,[e10,e18]=e11,[e7,e13]=e1,
    [e5,e16]=e5,[e11,e12]=e10,[e11,e17]=e11,[e11,e18]=e10.    (4.55)

    In this case, based on the Lie invariance condition, we have to consider eight sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are: Aa=0,b06,13, Aa=c,a06,13, Ab=0,a06,13, Ab=16,13, Ab=d,b06,13, Ac=0,d06,13, Ad=16,13 and Ad=0,c06,13. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 21. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of eleven-dimensional abelian nilradical spanned by e1e11 and a seven-dimensional abelian complement spanned by e12e18. Hence, it can be described as  R 11 R 7.

    The non-zero brackets for the algebra Aabc6,14 are given by

    [e1,e3]=ae3,[e1,e5]=ce5+e6,[e1,e6]=e5+ce6,[e2,e3]=be3,[e2,e4]=e4. (4.56)

    The geodesic equations are given by

    ¨p=˙w(c˙p+˙q),¨q=˙w(˙p+c˙q),¨x=˙x˙z,¨y=˙y(b˙z+a˙w),¨z=0,¨w=0. (4.57)

    For the general case Aa0,b0,c06,14, the symmetry Lie algebra is spanned by

    e1=Dt,e2=Dq,e3=Dp,e4=Dy,e5=Dx,e6=wDt,
    e7=zDt,e8=ezDx,e9=eawebzDy,e10=ecwsin(w)Dp+ecwcos(w)Dq,
    e11=ecwcos(w)Dp+ecwsin(w)Dq,e12=Dz,e13=Dw,e14=tDt,
    e15=yDy,e16=xDx,e17=pDp+qDq,e18=qDp+pDq. (4.58)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e14]=e1,[e2,e17]=e2,[e7,e14]=e7,[e3,e17]=e3,[e3,e18]=e2,
    [e4,e15]=e4,[e5,e16]=e5,[e6,e13]=e1,[e6,e14]=e6,[e8,e16]=e8,
    [e11,e13]=ce11e10,[e11,e17]=e11,[e11,e18]=e10,[e7,e12]=e1,
    [e9,e15]=e9,[e10,e13]=ce10+e11,[e10,e17]=e10,[e10,e18]=e11,
    [e2,e18]=e3,[e8,e12]=e8,[e9,e13]=ae9,[e9,e12]=be9. (4.59)

    In this case, based on the Lie invariance condition, we have to consider two sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are: Ab=1,a06,14 and Aa=c,a06,14. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 22. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of eleven-dimensional abelian nilradical spanned by e1e11 and a seven-dimensional abelian complement spanned by e12e18. Hence, it can be described as  R 11 R 7.

    The non-zero brackets for the algebra Aabcd6,15 are given by

    [e1,e3]=e3,[e1,e4]=e4,[e1,e5]=ae5+be6,[e1,e6]=be5+ae6,
    [e2,e3]=ce3+e4,[e2,e4]=e3+ce4,[e2,e6]=de6,[e2,e5]=de5. (4.60)

    The geodesic equations are given by

    ¨p=˙p(c˙z+˙w)˙q˙z,¨q=˙z(˙p+c˙q)+˙q˙w,¨z=0,
    ¨x=˙x(d˙z+a˙w)b˙y˙w,¨y=b˙x˙w+˙y(d˙z+q˙w),¨w=0. (4.61)

    For the general case Aa0,b0,c0,d06,15, the symmetry Lie algebra is spanned by

    e1=Dp,e2=Dt,e3=Dw,e4=Dz,e5=Dx,e6=Dy,
    e7=wDt,e8=zDt,e9=tDt,e10=xDx+yDy. (4.62)

    The non-zero brackets of the symmetry algebra are given by

    [e2,e9]=e2,[e3,e7]=e2,[e4,e8]=e2,[e5,e10]=e5,
    [e6,e10]=e6,[e7,e9]=e7,[e8,e9]=e8. (4.63)

    In this case, based on the Lie invariance condition, we have to consider five sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are Aa=06,15, Aa=16,15, Ac=06,15, Ad=06,15 and Ac=d6,15. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 23. The symmetry Lie algebra is a ten-dimensional solvable Lie algebra with eight -dimensional not abelian nilradical spanned by e1e8 and two-dimensional abelian complement spanned by e9 and e10. In fact, The nilradical is a direct sum of A5,4 and  R 3. Hence, the symmetry Lie algebra can be identified as (A5,4 R 3) R 2, where the non-zero brackets of A5,4 are given by

    [e2,e4]=e1,[e3,e5]=e1. (4.64)

    The non-zero brackets for the algebra Aab6,16 are given by

    [e1,e3]=e4,[e2,e4]=e4,[e1,e5]=ae5+e6,[e2,e3]=e3,
    [e1,e6]=e5+ae6,[e2,e5]=be5,[e2,e6]=be6. (4.65)

    The geodesic equations are given by

    ¨p=˙p(b˙z+a˙w)˙q˙w,¨q=˙p˙w+˙q(b˙z+a˙w),¨x=˙x˙z,¨y=˙y˙z,¨z=0,¨w=0. (4.66)

    For the general case Aa0,b06,16, the symmetry Lie algebra is spanned by

    e1=Dt,e2=Dp,e3=Dq,e4=Dx,e5=Dy,e6=wDt,
    e7=zDt,e8=ezDx,e9=ezDy,e10=ebzcos(w)eawDp+sin(w)eaw+bzDq,
    e11=ebzsin(w)eawDpcos(w)eaw+bzDq,e12=Dz,e13=tDt,e14=Dw,
    e15=xDx,e16=yDx,e17=xDy,e18=yDy,e19=pDp+qDq,e20=qDppDq. (4.67)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e13]=e1,[e2,e19]=e2,[e3,e19]=e3,[e10,e14]=ae10+e11,
    [e4,e15]=e4,[e4,e17]=e5,[e5,e16]=e4,[e11,e14]=ae11e10,
    [e6,e14]=e1,[e7,e13]=e7,[e8,e15]=e8,[e16,e17]=e15+e18,
    [e15,e17]=e17,[e16,e18]=e16,[e7,e12]=e1,[e17,e18]=e17,
    [e2,e20]=e3,[e10,e19]=e10,[e10,e20]=e11,[e11,e12]=be11,
    [e11,e19]=e11,[e5,e18]=e5,[e11,e20]=e10,[e10,e12]=be10,
    [e3,e20]=e2,[e6,e13]=e6,[e8,e12]=e8,[e15,e16]=e16,
    [e8,e17]=e9,[e9,e12]=e9,[e9,e16]=e8,[e9,e18]=e9. (4.68)

    In this case, based on the Lie invariance condition, we have to consider three sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are Aa=06,16, Ab=06,16 and Ab=16,16. In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 24. The symmetry Lie algebra is a twenty-dimensional semi direct product of seventeen solvable Lie algebra and three -dimensional semi-simple sl(2, R ). Furthermore, the symmetry Lie algebra has eleven dimensional abelian nilradical and nine-dimensional complement. Therefore, the symmetry Lie algebra can be identified as ( R 11 R 6)sl(2, R ).

    The non-zero brackets for the algebra Aa6,17 are given by

    [e1,e3]=ae3+e4,[e1,e4]=ae4,[e1,e5]=e6,
    [e1,e6]=e5,[e2,e5]=e5,[e2,e6]=e6. (4.69)

    The geodesic equations are given by

    ¨p=˙p˙z˙q˙w,¨q=˙p˙w+˙q˙z,¨x=˙w(a˙x+˙y),¨y=a˙y˙w,¨z=0,¨w=0. (4.70)

    Based on the system of PDE's obtained from the Lie Invarince Condition we consider the following subcases of certain values of the parameters.

    The symmetry Lie algebra is spanned by

    e1=Dx,e2=Dp,e3=Dq,e4=Dy,e5=Dt,e6=yDx,
    e7=wDt,e8=zDt,e9=eawDxa,e10=cos(w)ezDp+sin(w)ezDq,
    e11=sin(w)ezDpcos(w)ezDq,e12=(aw1)eawDxa+eawDy,e13=Dz,
    e14=Dw,e15=tDt,e16=xDx+yDy,e17=pDp+qDq,e18=qDppDq. (4.71)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e16]=e1,[e2,e17]=e2,[e3,e18]=e3,[e3,e17]=e3,[e3,e18]=e2,
    [e4,e16]=e4,[e5,e15]=e5,[e6,e12]=ae9,[e7,e14]=e5,[e7,e15]=e7,
    [e8,e13]=e5,[e8,e15]=e8,[e9,e14]=ae9,[e10,e13]=e10,
    [e10,e14]=e11,[e10,e17]=e10,[e10,e18]=e11,[e11,e13]=e11,
    [e11,e17]=e11,[e4,e6]=e1,[e9,e16]=e9,[e11,e14]=e10,
    [e11,e18]=e10,[e12,e14]=ae12ae9,[e12,e16]=e12. (4.72)

    Proposition 25. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of twelve-dimensional decomposable nilradical spanned by e1e12 and a six-dimensional abelian complement spanned by e12e18. In fact, the nilradical is a direct sum of A5,1 in Winternitz list and  R 7. Hence, symmetry algebra can be can be described as (A5,1 R 7) R 6, where A5,1 is given by Eq (4.9).

    The symmetry Lie algebra is spanned by

    e1=Dt,e2=Dx,e3=Dp,e4=Dq,e5=Dy,e6=wDt,e7=zDt,
    e8=zDx,e9=wDx,e10=12  w2Dx+wDy,e11=12  wzDx+zDy,
    e12=cos(w)ezDp+sin(w)ezDq,e13=sin(w)ezDpcos(w)ezDq,
    e14=tDx,e15=Dz,e16=Dw,e17=tDt,e18=yDt,e19=yDx,
    e20=pDp+qDq,e21=qDppDq,e22=12  twDx+tDy,e23=(wy2x)Dt,
    e24=12  wyDx+yDy,e25=(xwy2)Dx,e26=(12 yw2wx)Dx+(wy2x)Dy. (4.73)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e14]=e2,[e1,e17]=e1,[e1,e22]=e5+e92,[e2,e23]=2e1,
    [e2,e25]=e2,[e2,e26]=2e5e9,[e3,e20]=e3,[e3,e21]=e4,
    [e4,e20]=e4,[e4,e21]=e3,[e5,e18]=e1,[e5,e19]=e2,[e5,e23]=e6,
    [e5,e24]=e5+e92,[e5,e25]=e92,[e5,e26]=e10,[e10,e16]=e5e9,
    [e6,e16]=e1,[e6,e17]=e6,[e6,e22]=e10,[e7,e14]=e8,
    [e7,e15]=e1,[e7,e17]=e7,[e7,e22]=e11,[e8,e15]=e2,
    [e8,e23]=2e7,[e8,e25]=e8,[e8,e26]=2e11,[e9,e16]=e2,
    [e9,e23]=2e6,[e9,e25]=e9,[e9,e26]=2e10,[e6,e14]=e9,
    [e10,e18]=e6,[e10,e19]=e9,[e10,e24]=e10,[e11,e15]=e5e92,
    [e11,e16]=e82,[e11,e18]=e7,[e11,e19]=e8,[e11,e24]=e11,
    [e12,e15]=e12,[e12,e16]=e13,[e12,e20]=e12,[e12,e21]=e13,
    [e13,e15]=e13,[e13,e16]=e12,[e13,e20]=e13,[e13,e21]=e12,
    [e14,e25]=e14,[e14,e26]=2e22,[e16,e22]=e142,[e17,e18]=e18,
    [e16,e26]=e24e25,[e14,e18]=e19,[e14,e23]=2e17+2e25,
    [e16,e23]=e18,[e16,e24]=e192,[e19,e25]=e19,[e17,e23]=e23,
    [e16,e25]=e192,[e14,e17]=e14,[e17,e22]=e22,[e19,e22]=e14,
    [e19,e23]=2e18,[e18,e24]=e18,[e18,e26]=e23,[e22,e23]=e26,
    [e18,e22]=e17+e24,[e19,e24]=e19,[e19,e26]=2e24+2e25,
    [e22,e24]=e22,[e23,e25]=e23,[e24,e26]=e26,[e25,e26]=e26. (4.74)

    Proposition 26. The symmetry Lie algebra is a twenty six-dimensional semi direct product of eighteen solvable Lie algebra and eight-dimensional semi-simple sl(3, R ). Furthermore, the symmetry Lie algebra has thirteen-dimensional complement. Therefore, the symmetry algebra can be identified as ( R 13 R 5)sl(3, R ).

    The non-zero brackets for the algebra Aabc6,18 are given by

    [e1,e3]=e4,[e1,e4]=e3,[e1,e5]=ae5+be6,[e2,e3]=e3,
    [e1,e6]=be5+ae6,[e2,e4]=e4,[e2,e5]=ce5,[e2,e6]=ce6. (4.75)

    The geodesic equations are given by

    ¨p=˙p˙z+˙q˙w,  ¨q=˙p˙w+˙q˙z,  ¨x=˙x(c˙za˙w)+b˙y˙w,  ¨y=b˙x˙w+˙y(c˙za˙w),  ¨z=0, ¨w=0. (4.76)

    For the general case Aa0,b0,c06,18, the symmetry Lie algebra is spanned by

    e1=Dy,e2=Dq,e3=Dp,e4=Dt,e5=Dx,e6=wDt,e7=zDt,
    e8=sin(w)ezDp+cos(w)ezDq,e9=cos(w)ezDp+sin(w)ezDq,
    e10=eczsin(bw)eawDx+cos(bw)eaw+czDy,e11=eczcos(bw)eawDxsin(bw)eaw+czDy,
    e12=Dz,e13=tDt,e14=Dw,e15=pDp+qDq,
    e16=xDx+yDy,e17=qDp+pDq,e18=yDxxDy. (4.77)

    The non-zero brackets of the symmetry algebra are given by

    [e1,e16]=e1,[e1,e18]=e5,[e2,e15]=e2,[e2,e17]=e3,[e10,e18]=e11,
    \begin{equation*} [e_{3} , e_{17}] = e_{2},\quad [e_{4} , e_{13}] = e_{4},\quad [e_{5} , e_{16}] = e_{5}, \quad [e_{5} , e_{18}] = - e_{1}, \quad \end{equation*}
    \begin{equation*} [e_{6} , e_{14}] = - e_{4},\quad [e_{7} , e_{12}] = -e_{4},\quad [e_{7} , e_{13}] = e_{7},\quad [e_{8} , e_{12}] = -e_{8},\quad \end{equation*}
    \begin{equation*} [e_{9} , e_{12}] = - e_{9},\quad [e_{9} , e_{14}] = -e_{8},\quad [e_{9} , e_{17}] = - e_{8},\quad [e_{10} , e_{12}] = -c e_{10}, \quad \end{equation*}
    \begin{equation*} [e_{9} , e_{15}] = e_{9},\quad [e_{8} , e_{14}] = e_{9},\quad [e_{11} , e_{18}] = -e_{10},\quad [e_{11} , e_{12}] = -c e_{11}, \quad \end{equation*}
    \begin{equation*} [e_{8} , e_{15}] = e_{8}, \quad [e_{8} , e_{17}] = e_{9}, \quad [e_{10} , e_{14}] = a e_{10}-be_{11}, \quad [e_{10} , e_{16}] = e_{10},\quad \end{equation*}
    \begin{equation} [e_{3} , e_{15}] = e_{3},\quad [e_{11} , e_{14}] = a e_{11}+be_{10}, \quad [e_{10} , e_{16}] = e_{11},\quad [e_{6} , e_{13}] = e_{6}.\quad \end{equation} (4.78)

    In this case, based on the Lie invariance condition, we have to consider three sub-cases based on the values of the parameters to see if taking certain values will generate new solutions to the system of PDE. The cases we consider are A^{a = 0}_{6, 18} , A^{c = 0}_{6, 18} and A^{c = 1}_{6, 18} . In the generic and sub-cases, we find that the structure of the symmetry Lie algebras are the same. We summarize the results in the following proposition.

    Proposition 27. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of eleven-dimensional abelian nilradical spanned by e_{1} e_{11} and a seven-dimensional abelian complement spanned by e_{12} e_{18} . Hence, it can be described as \mbox{ $\Bbb R$ }^{11} \rtimes \mbox{ $\Bbb R$ }^7 .

    The non-zero brackets for the algebra A_{6, 19} are given by

    \begin{equation*} [e_1,e_3] = e_{4} + e_{5},\quad [e_1,e_5] = e_{6},\quad [e_1,e_6] = -e_{5}, \quad [e_2,e_3] = e_{3}, \quad \end{equation*}
    \begin{equation} [e_1,e_4] = - e_{3}+e_6,\quad [e_2,e_4] = e_{4},\quad [e_2,e_5] = e_{5}, \quad [e_2,e_6] = e_{6}. \end{equation} (4.79)

    The geodesic equations are given by

    \begin{equation} \begin{array}{llllll} \ddot{p} = \dot{p}\dot{z}+\dot{w}(\dot{x}-\dot{q}),& \ddot{q} = \dot{w}(\dot{y}-\dot{p})+\dot{q}\dot{z} ,& \ddot{x} = \dot{x} \dot{z}-\dot{y} \dot{w} ,& \ddot{y} = \dot{y}\dot{z} +\dot{x} \dot{w} ,& \ddot{z} = 0 ,& \ddot{w} = 0. \end{array} \end{equation} (4.80)

    The symmetry Lie algebra is spanned by

    \begin{equation*} e_{1} = D_{y}, \quad e_{2} = D_{p}, \quad e_{3} = D_{q}, \quad e_{4} = D_{t}, \quad e_{5} = D_{x}, \quad e_{6} = w D_{t}, \quad \end{equation*}
    \begin{equation*} e_{7} = z D_{t}, \quad e_{8} = e^{z}e^{w} D_{p}- e^{z+w} D_{q} ,\quad e_{9} = e^{z}e^{-w} D_{p} + e^{z-w} D_{q} , \quad \end{equation*}
    \begin{equation*} e_{10} = \sin{(w)} e^{z} D_{p} +\cos{(w)} e^{z} D_{x}+\sin{(w)}e^{z} D_{y}, \quad \end{equation*}
    \begin{equation*} e_{11} = -\cos{(w)} e^{z} D_{p} +\sin{(w)} e^{z} D_{x}-\cos{(w)}e^{z} D_{y} , \quad e_{12} = D_{z} , \quad \end{equation*}
    \begin{equation*} e_{13} = t D_{t} , \quad e_{14} = D_{w} ,\quad e_{15} = p D_{p} + q D_{q}+ x D_{x}+ y D_{y} , \quad \end{equation*}
    \begin{equation} e_{16} = q D_{p} +(-y+p)D_q , \quad e_{17} = -x D_{p}+ y D_{x} - x D_{y} ,\quad e_{18} = (y-p) D_p-q D_{q} . \end{equation} (4.81)

    The non-zero brackets of the symmetry algebra are given by

    \begin{equation*} [e_{1} , e_{15}] = e_{1}, \quad [e_{1} , e_{16}] = -e_{3},\quad [e_{1} , e_{17}] = e_{5},\quad [e_{1} , e_{18}] = e_{2},\quad [e_{2} , e_{15}] = e_{2},\quad \end{equation*}
    \begin{equation*} [e_{2} , e_{16}] = e_{3},\quad [e_{2} , e_{18}] = - e_{2},\quad [e_{3} , e_{15}] = e_{3},\quad [e_{3} , e_{16}] = e_{2},\quad [e_{3} , e_{18}] = - e_{3},\quad \end{equation*}
    \begin{equation*} [e_{4} , e_{13}] = e_{4},\quad [e_{5} , e_{15}] = e_{5}, \quad [e_{5} , e_{17}] = -e_{1}- e_{2}, \quad [e_{6} , e_{13}] = e_{6}, \quad [e_{6} , e_{14}] = -e_{4},\quad \end{equation*}
    \begin{equation*} [e_{7} , e_{12}] = - e_{4},\quad [e_{7} , e_{13}] = e_{7},\quad [e_{8} , e_{12}] = -e_{8}, \quad [e_{8} , e_{14}] = e_{8}, \quad [e_{8} , e_{15}] = e_{8} , \quad \end{equation*}
    \begin{equation*} [e_{8} , e_{16}] = e_{8} , \quad [e_{8} , e_{18}] = - e_{8} , \quad [e_{9} , e_{12}] = - e_{9}, \quad [e_{9} , e_{14}] = -e_{9} , \quad [e_{9} , e_{15}] = e_{9} , \quad \end{equation*}
    \begin{equation*} [e_{9} , e_{16}] = - e_{9} , \quad [e_{9} , e_{18}] = - e_{9},\quad [e_{10} , e_{12}] = - e_{10} , \quad [e_{10} , e_{14}] = e_{11} , \quad [e_{10} , e_{15}] = e_{10} , \quad \end{equation*}
    \begin{equation} [e_{10} , e_{17}] = e_{11}, \quad [e_{11} , e_{12}] = - e_{11} , \quad [e_{11} , e_{14}] = - e_{10} , \quad [e_{11} , e_{15}] = e_{11} , \quad [e_{11} , e_{17}] = -e_{10}. \end{equation} (4.82)

    Proposition 28. The symmetry Lie algebra is an eighteen-dimensional solvable Lie algebra which is the semidirect product of eleven-dimensional abelian nilradical spanned by e_{1} e_{11} and a seven-dimensional abelian complement spanned by e_{12} e_{18} . Hence, it can be described as \mbox{ $\Bbb R$ }^{11} \rtimes \mbox{ $\Bbb R$ }^7 .

    n this work, we have investigated the symmetry Lie algebra of the geodesic equations of the canonical connection on a Lie group. More precisely, we have considered six-dimensional indecomposable solvable Lie algebras with co-dimension two abelian nilradical and abelian complement. In dimension six, there are nineteen such algebras, namely, A_{6, 1} A_{6, 19} in [17]. In each case, we list the non-zero brackets of the Lie algebra, the geodesic equations and a basis for the symmetry Lie algebra in terms of vector fields. We also analyze the nilradical of the symmetry Lie algebra. In every case, we identify the symmetry Lie algebra, and a summary of our results is given in Table 1.

    Table 1.  Six-dimensional Lie algebras and identification of the symmetry algebra.
    Six-dimensional Lie algebras Dimension Identification
    A^{a \not= 0, b \not =0, c \not= 0, d \not= 0}_{6, 1} 18 \mbox{ $\Bbb R$ }^{11} \rtimes \mbox{ $\Bbb R$ }^7
    A^{a \not= 0, b \not =0, c \not= 0}_{6, 2} 18 (A_{5, 1}\oplus \mbox{ $\Bbb R$ }^{7}) \rtimes \mbox{ $\Bbb R$ }^6
    A^{a \not= 0}_{6, 3} 18 (A_{5, 1} \oplus A_{5, 1} \oplus \mbox{ $\Bbb R$ }^3) \rtimes \mbox{ $\Bbb R$ }^5
    A^{a \not= 0, b \not = 0}_{6, 4} 18 (A_{5, 1}\oplus \mbox{ $\Bbb R$ }^{7}) \rtimes \mbox{ $\Bbb R$ }^6
    A^{a \not= 0, b \not = 0}_{6, 5} 18 (A_{5, 1}\oplus \mbox{ $\Bbb R$ }^{7}) \rtimes \mbox{ $\Bbb R$ }^6
    A^{a \not= 0, b \not = 0}_{6, 6} 18 (A_{5, 1} \oplus A_{5, 1} \oplus \mbox{ $\Bbb R$ }^3) \rtimes \mbox{ $\Bbb R$ }^5
    A^{a \not= 0, b \not =0, c \not= 0}_{6, 7} 18 (A_{5, 1}\oplus \mbox{ $\Bbb R$ }^{7}) \rtimes \mbox{ $\Bbb R$ }^6
    A_{6, 8} 18 (B_{8(a=0)} \oplus \mbox{ $\Bbb R$ }^5) \rtimes \mbox{ $\Bbb R$ }^5
    A^{a \not= 0}_{6, 9} 18 (B_8 \oplus \mbox{ $\Bbb R$ }^5) \rtimes \mbox{ $\Bbb R$ }^5
    A^{a \not= 0, b \not= 0}_{6, 10} 18 (B_{8(a=1)} \oplus \mbox{ $\Bbb R$ }^5) \rtimes \mbox{ $\Bbb R$ }^5
    A^{a \not= 0}_{6, 11} 18 (A_{5, 1} \oplus A_{5, 1} \oplus \mbox{ $\Bbb R$ }^3) \rtimes \mbox{ $\Bbb R$ }^5
    A^{a \not= 0, b \not= 0}_{6, 12} 18 (C_{10}\oplus \mbox{ $\Bbb R$ }^3) \rtimes \mbox{ $\Bbb R$ }^5
    A^{a \not= 0, b \not =0, c \not= 0, d \not= 0}_{6, 13} 18 \mbox{ $\Bbb R$ }^{11} \rtimes \mbox{ $\Bbb R$ }^7
    A^{a \not= 0, b \not =0, c \not= 0}_{6, 14} 18 \mbox{ $\Bbb R$ }^{11} \rtimes \mbox{ $\Bbb R$ }^7
    A^{a \not= 0, b \not =0, c \not= 0, d \not= 0}_{6, 15} 10 (A_{5, 4}\oplus \mbox{ $\Bbb R$ }^{3}) \rtimes \mbox{ $\Bbb R$ }^2
    A^{a \not= 0, b \not = 0}_{6, 16} 20 (\mbox{ $\Bbb R$ }^{11} \rtimes \mbox{ $\Bbb R$ }^6) \rtimes sl(2, \mbox{ $\Bbb R$ })
    A^{a \not= 0}_{6, 17} 18 (A_{5, 1}\oplus \mbox{ $\Bbb R$ }^{7}) \rtimes \mbox{ $\Bbb R$ }^6
    A^{a = 0}_{6, 17} 26 (\mbox{ $\Bbb R$ }^{13} \rtimes \mbox{ $\Bbb R$ }^5) \rtimes sl(3, \mbox{ $\Bbb R$ })
    A^{a \not= 0, b \not =0, c \not= 0}_{6, 18} 18 \mbox{ $\Bbb R$ }^{11} \rtimes \mbox{ $\Bbb R$ }^7
    A_{6, 19} 18 \mbox{ $\Bbb R$ }^{11} \rtimes \mbox{ $\Bbb R$ }^7

     | Show Table
    DownLoad: CSV

    In future work, we intend to consider the problem in dimension n . For an n dimensional solvable Lie algebra with co-dimension two abelian nilrdical and abelian complement, we plan to construct the system of geodesic equations in general, the Lie invariance conditions, and try to integrate, to the extent possible, the system of partial differential equations and obtain general results.

    The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

    Nouf Almutiben would like to thank Jouf University and Virginia Commonwealth University for their support. Ryad Ghanam and Edward Boone would like to thank Qatar Foundation and Virginia Commonwealth University in Qatar for their support through the Mathematical Data Science Lab.

    The authors declare that they have no conflicts of interest.



    [1] S. M. Aguillon, G. F. Siegmund, R. H. Petipas, A. G. Drake, S. Cotner, C. J. Ballen, Gender Differences in Student Participation in an Active-Learning Classroom, CBE—Life Sci. Educ., 19 (2020), 2. https://doi.org/10.1187/cbe.19-03-0048 doi: 10.1187/cbe.19-03-0048
    [2] R. Alexander, Towards dialogic teaching: Rethinking classroom talk, 3rd Eds., Cambridge: Dialogos, 2008.
    [3] R. Alexander, Developing dialogic teaching: Genesis, process, trial, Res. Pap. Educ., 33 (2018), 561–598. https://doi.org/10.1080/02671522.2018.1481140 doi: 10.1080/02671522.2018.1481140
    [4] P. Andrews, A. Ryve, K. Hemmi, J. Sayers, PISA, TIMSS and Finnish mathematics teaching: An enigma in search of an explanation, Educ. Stud. Math., 87 (2014), 7–26. https://doi.org/10.1007/s10649-014-9545-3 doi: 10.1007/s10649-014-9545-3
    [5] E. Carter, E. Molina, A. Pushparatnam, S. Rimm-Kaufman, M. Tsapali, K. K.-Y. Wong, Evidence-based teaching: Effective teaching practices in primary school classrooms, London Rev. Educ., 22 (2024), 8. https://doi.org/10.14324/LRE.22.1.08 doi: 10.14324/LRE.22.1.08
    [6] D. Clarke, Contingent conceptions of accomplished practice: The cultural specificity of discourse in and about the mathematics classroom, ZDM Math. Educ., 45 (2013), 21–33. https://doi.org/10.1007/s11858-012-0452-8 doi: 10.1007/s11858-012-0452-8
    [7] S. J. Correll, Gender and the career choice process: The role of biased self-assessments, Am. J. Soc., 106 (2001), 1691–1730. https://doi.org/10.1086/321299 doi: 10.1086/321299
    [8] O. G. Drageset, Student and teacher interventions: a framework for analysing mathematical discourse in the classroom, J. Math. Teacher Educ., 18 (2015), 253–272. https://doi.org/10.1007/s10857-014-9280-9 doi: 10.1007/s10857-014-9280-9
    [9] I. H. Erten, Social Desirability Bias in Altruistic Motivation for Choosing Teaching as a Career, Hacettepe Üniversitesi Eğitim Fakültesi Dergisi, 30 (2015), 77–89.
    [10] M. Gil-Izquierdo, J. M. Cordero, V. Cristóbal, Teaching strategy specialization and student achievement, Educ. Econ., 31 (2023), 755–773. https://doi.org/10.1080/09645292.2023.2169252 doi: 10.1080/09645292.2023.2169252
    [11] W.-M. Hsu, Examining the Types of Mathematical Tasks Used to Explore the Mathematics Instruction by Elementary School Teachers, Creat. Education, 4 (2013), 396–404. http://doi.org/10.4236/ce.2013.46056 doi: 10.4236/ce.2013.46056
    [12] E. Jouini, P. Karehnke, C. Napp, Stereotypes, under-confidence and decision-making with an application to gender and math, J. Econ. Behav. O., 148 (2018), 34–45. https://doi.org/10.1016/j.jebo.2018.02.002 doi: 10.1016/j.jebo.2018.02.002
    [13] J. König, S. Blömeke, A. Jentsch, L. Schlesinger, C. Nehls, F. Musekamp, et al., The links between pedagogical competence, instructional quality, and mathematics achievement in the lower secondary classroom, Educ. Stud. Math., 107 (2021), 189–212. https://doi.org/10.1007/s10649-020-10021-0 doi: 10.1007/s10649-020-10021-0
    [14] S. M. Koziol, P. Burns, Teachers' Accuracy in Self-Reporting about Instructional Practices Using a Focused Self Report Inventory, J. Educ. Res., 79 (1986), 205–209. https://doi.org/10.1080/00220671.1986.10885678 doi: 10.1080/00220671.1986.10885678
    [15] C. Y. R. Loh, T. C. Teo, Understanding Asian Students Learning Styles, Cultural Influence and Learning Strategies, J. Educ. Soc. Policy, 7 (2017), 1.
    [16] M. McMurran, D. Weisbart, K. Atit, The relationship between students' gender and their confidence in the correctness of their solutions to complex and difficult mathematics problems, Learn. Individ. Differ., 107 (2023), 102349. https://doi.org/10.1016/j.lindif.2023.102349 doi: 10.1016/j.lindif.2023.102349
    [17] N. Mercer, L. Dawes, R. Wegerif, C. Sams, Reasoning as a scientist: Ways of helping children to use language to learn science, Br. Educ. Res. J., 30 (2004), 3. https://doi.org/10.1080/01411920410001689689 doi: 10.1080/01411920410001689689
    [18] E. Molina, A. Pushparatnam, S. Rimm-Kaufman, K. K. Wong, Effective Teaching Practices in Primary School Classrooms, Policy Research Working Paper 8656, 2018. Available from: https://documents1.worldbank.org/curated/pt/552391543437324357/pdf/WPS8656.pdf.
    [19] B. Moorhouse, Y. Li, S. Walsh, E-Classroom Interactional Competencies: Mediating and Assisting Language Learning During Synchronous Online Lessons, RELC J., 54 (2021), 114–128. https://doi.org/10.1177/0033688220985274 doi: 10.1177/0033688220985274
    [20] K. Morrison, Paradox Lost: Toward a Robust Test of the Chinese Learner, Educ. J., 34 (2006), 1.
    [21] I. V. S. Mullis, M. O. Martin, TIMSS 2019 Assessment Frameworks, 2017. Available from: http://timssandpirls.bc.edu/timss2019/frameworks/
    [22] M. Niederle, L. Vesterlund, Explaining the Gender Gap in Math Test Scores: The Role of Competition, J. Econ. Perspect., 24 (2010), 129–144. https://doi.org/10.1257/jep.24.2.129 doi: 10.1257/jep.24.2.129
    [23] E. Oster, Unobservable Selection and Coefficient Stability: Theory and Evidence, J. Bus. Econ. Stat., 37 (2017), 187–204. https://doi.org/10.1080/07350015.2016.1227711 doi: 10.1080/07350015.2016.1227711
    [24] E. Oz, Comparability of teachers' educational background items in TIMSS: A case from Turkey, Large-scale Assess. Educ., 9 (2021), 4. https://doi.org/10.1186/s40536-021-00097-2 doi: 10.1186/s40536-021-00097-2
    [25] A. K. Praetorius, E. Klieme, B. Herbert, P. Pinger, Generic dimensions of teaching quality: The German framework of Three Basic Dimensions, ZDM Math. Educ., 50 (2018), 407–426. https://doi.org/10.1007/s11858-018-0918-4 doi: 10.1007/s11858-018-0918-4
    [26] E. Saito, R. Takahashi, J. Wintachai, A. Anunthavorasakul, Issues in introducing collaborative learning in South East Asia: A critical discussion, Manage. Educ., 35 (2021), 167–173. https://doi.org/10.1177/0892020620932367 doi: 10.1177/0892020620932367
    [27] P. Sancassani, The effect of teacher subject-specific qualifications on student science achievement, Labour Econ., 80 (2023), 102309. https://doi.org/10.1016/j.labeco.2022.102309 doi: 10.1016/j.labeco.2022.102309
    [28] Q. Shi, Relationship Between Teacher Efficacy and Self-Reported Instructional Practices: An Examination of Five Asian Countries/Regions Using TIMSS 2011 Data, Front. Educ. China, 9 (2014), 577–602. https://doi.org/10.3868/s110-003-014-0045-x doi: 10.3868/s110-003-014-0045-x
    [29] A. Tadesse, S. Lehesvuori, H. Posti-Ahokas, J. Moate, The learner-centred interactive pedagogy classroom: Its implications for dialogic interaction in Eritrean secondary schools, Think. Skills Creat., 50 (2023), 101379. https://doi.org/10.1016/j.tsc.2023.101379 doi: 10.1016/j.tsc.2023.101379
    [30] R. Tytler, G. Aranda, Expert Teachers' Discursive Moves in Science Classroom Interactive Talk, Int. J. Sci. Math. Educ., 13 (2015), 425–446. https://doi.org/10.1007/s10763-015-9617-6 doi: 10.1007/s10763-015-9617-6
    [31] UNESCO, Integration of Gender-Responsive Pedagogy in pre- and in-service teacher training courses in Ethiopia, Bangkok: UNESCO Bangkok, 2017.
    [32] UNESCO Bangkok, Preparation of a comprehensive Gender-Responsive Pedagogy (GRP) Toolkit, 2017. Available from: https://bangkok.unesco.org/sites/default/files/assets/article/Teachers%20Education/GenderAssessment-May2017/Solomon-UNESCO_IICBA.pdf
    [33] M. Von Davier, E. Gonzalez, W. Schulz, Ensuring validity in international comparisons using state-of-the-art psychometric methodologies, In: Reliability and Validity of International Large-Scale Assessment, Cham: Springer, 2020,187–219. https://doi.org/10.1007/978-3-030-53081-5_11
    [34] S. Walsh, Classroom Discourse and Teacher Development, Edinburgh: Edinburgh University Press, 2013.
    [35] M. Walshaw, G. Anthony, The teacher's role in classroom discourse: A review of recent research into mathematics classrooms, Rev. Educ. Res., 78 (2008), 516–551. https://doi.org/10.3102/0034654308320292 doi: 10.3102/0034654308320292
    [36] D. A. Watkins, J. B. Biggs, The Chinese learner: Cultural, psychological and contextual influences, Hong Kong, Melbourne: Comparative Education Research Centre & Australian Council for Educational Research, 1996.
    [37] H. Wursten, C. Jacobs, The impact of culture on education. Can we introduce best practices in education across countries? ITIM Int., 1 (2013), 1–28.
    [38] L. Xu, D. Clarke, Meta-rules of discursive practice in mathematics classrooms from Seoul, Shanghai, and Tokyo, ZDM-Int. J. Math. Educ., 45 (2013), 61–72. https://doi.org/10.1007/s11858-012-0442-x doi: 10.1007/s11858-012-0442-x
    [39] Y. Zhu, G. Kaiser, Impacts of classroom teaching practices on students' mathematics learning interest, mathematics self-efficacy and mathematics test achievements: A secondary analysis of Shanghai data from the international video study Global Teaching InSights, ZDM Math. Educ. 54 (2022), 581–593. https://doi.org/10.1007/s11858-022-01343-9 doi: 10.1007/s11858-022-01343-9
  • This article has been cited by:

    1. Nouf Almutiben, Ryad Ghanam, G. Thompson, Edward L. Boone, Symmetry analysis of the canonical connection on Lie groups: six-dimensional case with abelian nilradical and one-dimensional center, 2024, 9, 2473-6988, 14504, 10.3934/math.2024705
  • Reader Comments
  • © 2024 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(1301) PDF downloads(96) Cited by(0)

Article outline

Figures and Tables

Figures(11)  /  Tables(14)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog