Showing 1–10 of 10 results for author: Makarenko, N

Lie algebras with Frobenius dihedral groups of automorphisms

Authors: N. Yu. Makarenko

Abstract: Suppose that a Lie algebra $L$ admits a finite Frobenius group of automorphisms $FH$ with cyclic kernel $F$ and complement $H$ of order 2, such that the fixed-point subalgebra of $F$ is trivial and the fixed-point subalgebra of $H$ is metabelian. Then the derived length of $L$ is bounded by a constant. Suppose that a Lie algebra $L$ admits a finite Frobenius group of automorphisms $FH$ with cyclic kernel $F$ and complement $H$ of order 2, such that the fixed-point subalgebra of $F$ is trivial and the fixed-point subalgebra of $H$ is metabelian. Then the derived length of $L$ is bounded by a constant. △ Less

Submitted 7 December, 2022; originally announced December 2022.

MSC Class: 17B40; 17B30; 17B70; Secondary 17B40; 17B30; 17B70; 17B5

Nilpotency of Lie type algebras with metacyclic Frobenius groups of automorphisms

Authors: N. Yu Makarenko

Abstract: Suppose that a Lie type algebra L over a field K admits a Frobenius group of automorphisms FH with cyclic kernel F of order n and complement H such that the fixed-point subalgebra of F is trivial and the fixed-point subalgebra of H is nilpotent of class c. If the ground field K contains a primitive n-th root of unity, then L is nilpotent and the nilpotency class of L is bounded in terms of |H| and… ▽ More Suppose that a Lie type algebra L over a field K admits a Frobenius group of automorphisms FH with cyclic kernel F of order n and complement H such that the fixed-point subalgebra of F is trivial and the fixed-point subalgebra of H is nilpotent of class c. If the ground field K contains a primitive n-th root of unity, then L is nilpotent and the nilpotency class of L is bounded in terms of |H| and c. The result extends the known theorem of Khukhro, Makarenko and Shumyatsky on Lie algebras with metacyclic Frobenius group of automorphisms. △ Less

Submitted 29 November, 2021; originally announced November 2021.

Lie type algebras with an automorphism of finite order

Authors: N. Yu. Makarenko

Abstract: An algebra $L$ over a field $\Bbb F$, in which product is denoted by $[\,,\,]$, is said to be \textit{ Lie type algebra} if for all elements $a,b,c\in L$ there exist $α, β\in \Bbb F$ such that $α\neq 0$ and $[[a,b],c]=α[a,[b,c]]+β[[a,c],b]$. Examples of Lie type algebras are associative algebras, Lie algebras, Leibniz algebras, etc. It is proved that if a Lie type algebra $L$ admits an automorphis… ▽ More An algebra $L$ over a field $\Bbb F$, in which product is denoted by $[\,,\,]$, is said to be \textit{ Lie type algebra} if for all elements $a,b,c\in L$ there exist $α, β\in \Bbb F$ such that $α\neq 0$ and $[[a,b],c]=α[a,[b,c]]+β[[a,c],b]$. Examples of Lie type algebras are associative algebras, Lie algebras, Leibniz algebras, etc. It is proved that if a Lie type algebra $L$ admits an automorphism of finite order $n$ with finite-dimensional fixed-point subalgebra of dimension $m$, then $L$ has a soluble ideal of finite codimension bounded in terms of $n$ and $m$ and of derived length bounded in terms of $n$. △ Less

Submitted 2 November, 2014; originally announced November 2014.

MSC Class: Primary 17A36; 17B70; Secondary 17B75; 17B40; 17B30; 17A32

Locally finite groups containing a $2$-element with Chernikov centralizer

Authors: E. I. Khukhro, N. Yu. Makarenko, P. Shumyatsky

Abstract: Suppose that a locally finite group $G$ has a $2$-element $g$ with Chernikov centralizer. It is proved that if the involution in $\langle g\rangle$ has nilpotent centralizer, then $G$ has a soluble subgroup of finite index. Suppose that a locally finite group $G$ has a $2$-element $g$ with Chernikov centralizer. It is proved that if the involution in $\langle g\rangle$ has nilpotent centralizer, then $G$ has a soluble subgroup of finite index. △ Less

Submitted 4 October, 2014; originally announced October 2014.

Finite groups and Lie rings with an automorphism of order $2^n$

Authors: E. I. Khukhro, N. Yu. Makarenko, P. Shumyatsky

Abstract: Suppose that a finite group $G$ admits an automorphism $\varphi $ of order $2^n$ such that the fixed-point subgroup $C_G(\varphi ^{2^{n-1}})$ of the involution $\varphi ^{2^{n-1}}$ is nilpotent of class $c$. Let $m=|C_G(\varphi)|$ be the number of fixed points of $\varphi$. It is proved that $G$ has a characteristic soluble subgroup of derived length bounded in terms of $n,c$ whose index is bounde… ▽ More Suppose that a finite group $G$ admits an automorphism $\varphi $ of order $2^n$ such that the fixed-point subgroup $C_G(\varphi ^{2^{n-1}})$ of the involution $\varphi ^{2^{n-1}}$ is nilpotent of class $c$. Let $m=|C_G(\varphi)|$ be the number of fixed points of $\varphi$. It is proved that $G$ has a characteristic soluble subgroup of derived length bounded in terms of $n,c$ whose index is bounded in terms of $m,n,c$. A similar result is also proved for Lie rings. △ Less

Submitted 16 April, 2015; v1 submitted 27 September, 2014; originally announced September 2014.

Comments: minor corrections and additions

Finite p-groups with a Frobenius group of automorphisms whose kernel is a cyclic p-group

Authors: E. I. Khukhro, N. Yu. Makarenko

Abstract: Suppose that a finite $p$-group $P$ admits a Frobenius group of automorphisms $FH$ with kernel $F$ that is a cyclic $p$-group and with complement $H$. It is proved that if the fixed-point subgroup $C_P(H)$ of the complement is nilpotent of class $c$, then $P$ has a characteristic subgroup of index bounded in terms of $c$, $|C_P(F)|$, and $|F|$ whose nilpotency class is bounded in terms of $c$ and… ▽ More Suppose that a finite $p$-group $P$ admits a Frobenius group of automorphisms $FH$ with kernel $F$ that is a cyclic $p$-group and with complement $H$. It is proved that if the fixed-point subgroup $C_P(H)$ of the complement is nilpotent of class $c$, then $P$ has a characteristic subgroup of index bounded in terms of $c$, $|C_P(F)|$, and $|F|$ whose nilpotency class is bounded in terms of $c$ and $|H|$ only. Examples show that the condition of $F$ being cyclic is essential. The proof is based on a Lie ring method and a theorem of the authors and P. Shumyatsky about Lie rings with a metacyclic Frobenius group of automorphisms $FH$. It is also proved that $P$ has a characteristic subgroup of $(|C_P(F)|, |F|)$-bounded index whose order and rank are bounded in terms of $|H|$ and the order and rank of $C_P(H)$, respectively, and whose exponent is bounded in terms of the exponent of $C_P(H)$. △ Less

Submitted 19 September, 2014; v1 submitted 14 February, 2013; originally announced February 2013.

Comments: references updated, a few typos corrected. arXiv admin note: text overlap with arXiv:1301.3409

MSC Class: 17B40; 17B70; 20D15

Lie algebras admitting a metacyclic Frobenius group of automorphisms

Authors: N. Yu. Makarenko, E. I. Khukhro

Abstract: Suppose that a Lie algebra $L$ admits a finite Frobenius group of automorphisms $FH$ with cyclic kernel $F$ and complement $H$ such that the characteristic of the ground field does not divide $|H|$. It is proved that if the subalgebra $C_L(F)$ of fixed points of the kernel has finite dimension $m$ and the subalgebra $C_L(H)$ of fixed points of the complement is nilpotent of class $c$, then $L$ has… ▽ More Suppose that a Lie algebra $L$ admits a finite Frobenius group of automorphisms $FH$ with cyclic kernel $F$ and complement $H$ such that the characteristic of the ground field does not divide $|H|$. It is proved that if the subalgebra $C_L(F)$ of fixed points of the kernel has finite dimension $m$ and the subalgebra $C_L(H)$ of fixed points of the complement is nilpotent of class $c$, then $L$ has a nilpotent subalgebra of finite codimension bounded in terms of $m$, $c$, $|H|$, and $|F|$ whose nilpotency class is bounded in terms of only $|H|$ and $c$. Examples show that the condition of the kernel $F$ being cyclic is essential. △ Less

Submitted 16 January, 2013; originally announced January 2013.

Comments: 19 pages, to appear in Siberian Mathematical Journal, Vol.54 (2013), No. 1. arXiv admin note: substantial text overlap with arXiv:1301.3409

MSC Class: 17B40; 17B70; 20E36

Journal ref: Siberian Mathematical Journal January 2013, Volume 54, Issue 1, pp 99-113

Finite groups and Lie rings with a metacyclic Frobenius group of automorphisms

Authors: E. I. Khukhro, N. Yu. Makarenko

Abstract: Suppose that a finite group $G$ admits a Frobenius group of automorphisms FH of coprime order with cyclic kernel F and complement H such that the fixed point subgroup $C_G(H)$ of the complement is nilpotent of class $c$. It is proved that $G$ has a nilpotent characteristic subgroup of index bounded in terms of $c$, $|C_G(F)|$, and $|FH|$ whose nilpotency class is bounded in terms of $c$ and $|H|$… ▽ More Suppose that a finite group $G$ admits a Frobenius group of automorphisms FH of coprime order with cyclic kernel F and complement H such that the fixed point subgroup $C_G(H)$ of the complement is nilpotent of class $c$. It is proved that $G$ has a nilpotent characteristic subgroup of index bounded in terms of $c$, $|C_G(F)|$, and $|FH|$ whose nilpotency class is bounded in terms of $c$ and $|H|$ only. This generalizes the previous theorem of the authors and P. Shumyatsky, where for the case of $C_G(F)=1$ the whole group was proved to be nilpotent of $(c,|H|)$-bounded class. Examples show that the condition of $F$ being cyclic is essential. B. Hartley's theorem based on the classification provides reduction to soluble groups. Then representation theory arguments are used to bound the index of the Fitting subgroup. Lie ring methods are used for nilpotent groups. A similar theorem on Lie rings with a metacyclic Frobenius group of automorphisms $FH$ is also proved. △ Less

Submitted 20 March, 2013; v1 submitted 15 January, 2013; originally announced January 2013.

MSC Class: 20D45; 20D15; 17B40; 17B30; 17B65

Journal ref: Journal of Algebra, 386 (2013), 77-104

Frobenius groups of automorphisms and their fixed points

Authors: Evgenii I. Khukhro, Natalia Yu. Makarenko, Pavel Shumyatsky

Abstract: Suppose that a finite group $G$ admits a Frobenius group of automorphisms $FH$ with kernel $F$ and complement $H$ such that the fixed-point subgroup of $F$ is trivial: $C_G(F)=1$. In this situation various properties of $G$ are shown to be close to the corresponding properties of $C_G(H)$. By using Clifford's theorem it is proved that the order $|G|$ is bounded in terms of $|H|$ and $|C_G(H)|$, th… ▽ More Suppose that a finite group $G$ admits a Frobenius group of automorphisms $FH$ with kernel $F$ and complement $H$ such that the fixed-point subgroup of $F$ is trivial: $C_G(F)=1$. In this situation various properties of $G$ are shown to be close to the corresponding properties of $C_G(H)$. By using Clifford's theorem it is proved that the order $|G|$ is bounded in terms of $|H|$ and $|C_G(H)|$, the rank of $G$ is bounded in terms of $|H|$ and the rank of $C_G(H)$, and that $G$ is nilpotent if $C_G(H)$ is nilpotent. Lie ring methods are used for bounding the exponent and the nilpotency class of $G$ in the case of metacyclic $FH$. The exponent of $G$ is bounded in terms of $|FH|$ and the exponent of $C_G(H)$ by using Lazard's Lie algebra associated with the Jennings--Zassenhaus filtration and its connection with powerful subgroups. The nilpotency class of $G$ is bounded in terms of $|H|$ and the nilpotency class of $C_G(H)$ by considering Lie rings with a finite cyclic grading satisfying a certain `selective nilpotency' condition. The latter technique also yields similar results bounding the nilpotency class of Lie rings and algebras with a metacyclic Frobenius group of automorphisms, with corollaries for connected Lie groups and torsion-free locally nilpotent groups with such groups of automorphisms. Examples show that such nilpotency results are no longer true for non-metacyclic Frobenius groups of automorphisms. △ Less

Submitted 2 October, 2010; originally announced October 2010.

Comments: 31 pages

MSC Class: 17B40 20D45 (Primary) 17B70 20D15 20E36 20F40 22E25 (Secondary)

Automorphism invariance and identities

Authors: Evgenii I. Khukhro, Anton A. Klyachko, Natalia Yu. Makarenko, Yulia B. Melnikova

Abstract: If an outer (multilinear) commutator identity holds in a large subgroup of a group, then it holds also in a large characteristic subgroup. Similar assertions are valid for algebras and their ideals or subspaces. Varying the meaning of the word "large", we obtain many interesting facts. These results cannot be extended to arbitrary (non-multilinear) identities. As an application, we give a sharp es… ▽ More If an outer (multilinear) commutator identity holds in a large subgroup of a group, then it holds also in a large characteristic subgroup. Similar assertions are valid for algebras and their ideals or subspaces. Varying the meaning of the word "large", we obtain many interesting facts. These results cannot be extended to arbitrary (non-multilinear) identities. As an application, we give a sharp estimate for the `virtual derived length' of (virtually solvable)-by-(virtually solvable) groups. △ Less

Submitted 31 August, 2010; v1 submitted 7 December, 2008; originally announced December 2008.

Comments: 8 pages. A Russian version of this paper is at http://mech.math.msu.su/department/algebra/staff/klyachko/papers.htm V2: A reference added

MSC Class: 20e36; 20e10; 17a30; 17a36

Journal ref: Bull. London Math. Soc. 2009 41(5):804-816