Bases of fixed point subalgebras on nilpotent Leibniz algebras

Abstract

Let K be a field of characteristic zero, X={x_(1,) x_2,…,x_n} and R_m={r_(1,) ,…,r_m} be two sets of variables, F be the free left nitpotent Leibniz algebra generated by X, and K[R_m ] be the commutative polynomial algebra generated by R_m over the base field K. The fixed point subalgebra of an automorphism φ is the subalgebra of F consisting of elements that are invariant under the automorphism. In this work, we consider specific automorphisms of F and determine the fixed point subalgebras of these automorphisms. Then, we find bases of these fixed point subalgebras. In addition, we get generators of these subalgebras as a free K[R_m ] -module.