# Almost nilpotency of an associative algebra with an almost nilpotent fixed-point subalgebra

Research paper by **N.Yu. Makarenko**

Indexed on: **27 Apr '18**Published on: **15 Apr '18**Published in: **Journal of Algebra**

Join Sparrho today to stay on top of science

Discover, organise and share research that matters to you

Join Sparrho today to stay on top of science

Discover, organise and share research that matters to you

Join for free

#### Abstract

Publication date: 15 July 2018
Source:Journal of Algebra, Volume 506
Author(s): N.Yu. Makarenko
Let A be an associative algebra of arbitrary dimension over a field F and G a finite group of automorphisms of A of order n, prime to the characteristic of F. Denote by A G = { a ∈ A a g = a for all g ∈ G } the fixed-point subalgebra. By the classical Bergman–Isaacs theorem, if A G is nilpotent of index d, i.e. ( A G ) d = 0 , then A is also nilpotent and its nilpotency index is bounded by a function depending only on n and d. We prove, under the additional assumption of solubility of G, that if A G contains a two-sided nilpotent ideal I ◁ A G of nilpotency index d and of finite codimension m in A G , then A contains a nilpotent two-sided ideal H ◁ A of nilpotency index bounded by a function of n and d and of finite codimension bounded by a function of m, n and d. An even stronger result is provided for graded associative algebras: if G is a finite (not necessarily soluble) group of order n and A = ⨁ g ∈ G A g is a G-graded associative algebra over a field F, i.e. A g A h ⊂ A g h , such that the identity component A e has a two-sided nilpotent ideal I e ◁ A G of nilpotency index d and of finite codimension m in A e , then A has a homogeneous nilpotent two-sided ideal H ◁ A of nilpotency index bounded by a function of n and d and of finite codimension bounded by a function of n, d and m.