G-identities of non-associative algebras

The main class of algebras considered in this paper is the class of algebra s of Lie type. This class includes, in particular, associative algebras, Li e algebras and superalgebras, Leibniz algebras, quantum Lie algebras, and m any others. We prove that if a finite group G acts on such an algebra A by automorphisms and anti-automorphisms and A satisfies an essential G-identit y, then A satisfies an ordinary identity of degree bounded by a function th at depends on the degree of the original identity and the order of G, We sh ow in the case of ordinary Lie algebras that if L is a Lie algebra, a finit e group G acts on L by automorphisms and anti-automorphisms, and the order of G is coprime to the characteristic of the field, then the existence of a n identity on skew-symmetric elements implies the existence of an identity on the whole of L, with the same kind of dependence between the degrees of the identities. Finally, we generalize Amitsur's theorem on polynomial iden tities in associative algebras with involution to the case of alternative a lgebras with involution.