Fixed algebras of residually nilpotent Lie algebras

Abstract

Let L m {L_m} be the free Lie algebra of rank m > 1 m > 1 over a field K K , and let J J be an ideal of L m {L_m} such that J ⊂ L m J \subset L_m^{} and the algebra L m / J {L_m}/J is residually nilpotent. Let G ≠ ⟨ 1 ⟩ G \ne \langle 1\rangle be a finite group of automorphisms of L m / J {L_m}/J and the order of G G be invertible in K K . We establish that the algebra of fixed points ( L m / J ) G {({L_m}/J)^G} is not finitely generated. The class of algebras under consideration contains the free Lie algebra over an arbitrary field and the relatively free algebras in nonnilpotent varieties of Lie algebras over infinite fields of characteristic different from 2 2 and 3 3 .