Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
8896001 | Journal of Algebra | 2018 | 13 Pages |
Abstract
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 AG={aâA|ag=aforââallgâG} the fixed-point subalgebra. By the classical Bergman-Isaacs theorem, if AG is nilpotent of index d, i.e. (AG)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 AG contains a two-sided nilpotent ideal IâAG of nilpotency index d and of finite codimension m in AG, 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âGAg is a G-graded associative algebra over a field F, i.e. AgAhâAgh, such that the identity component Ae has a two-sided nilpotent ideal IeâAG of nilpotency index d and of finite codimension m in Ae, 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.
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory
Authors
N.Yu. Makarenko,