Source author record

E. I. Khukhro

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.RA

Catalog footprint

Research overview

17works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Fitting height of finite groups admitting a fixed-point-free automorphism satisfying an additional polynomial identity

Let $f(x)$ be a non-zero polynomial with integer coefficients. An automorphism $φ$ of a group $G$ is said to satisfy the elementary abelian identity $f(x)$ if the linear transformation induced by $φ$ on every characteristic elementary abelian section $S$ of $G$ is annihilated by $f(x)$ . We prove that if a finite (soluble) group $G$ admits a fixed-point-free automorphism $φ$ satisfying an elementary abelian identity $f(x)$ , where $f(x)$ is a primitive polynomial, then the Fitting height of $G$ is bounded in terms of $\operatorname{deg}(f(x))$ . We also prove that if $f(x)$ is any non-zero polynomial and $G$ is a $σ'$ -group for a finite set of primes $σ=σ(f(x))$ depending only on $f(x)$ , then the Fitting height of $G$ is bounded in terms of the number $\operatorname{irr}(f(x))$ of irreducible factors in the decomposition of $f(x)$ . These bounds for the Fitting height are stronger than the well-known bounds in terms of the composition length $α(|φ|)$ of $\langleφ\rangle$ when $\operatorname{deg} (f(x))$ or $\operatorname{irr}(f(x))$ is small in comparison with $α(|φ|)$ .

preprint2021arXiv

Profinite groups with an automorphism of prime order whose fixed points have finite Engel sinks

A right Engel sink of an element $g$ of a group $G$ is a set ${\mathscr R}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[g,x],x],\dots ,x]$ belong to ${\mathscr R}(g)$ . (Thus, $g$ is a right Engel element precisely when we can choose ${\mathscr R}(g)=\{ 1\}$ .) We prove that if a profinite group $G$ admits a coprime automorphism $φ$ of prime order such that every fixed point of $φ$ has a finite right Engel sink, then $G$ has an open locally nilpotent subgroup. A left Engel sink of an element $g$ of a group $G$ is a set ${\mathscr E}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[x,g],g],\dots ,g]$ belong to ${\mathscr E}(g)$ . (Thus, $g$ is a left Engel element precisely when we can choose ${\mathscr E}(g)=\{ 1\}$ .) We prove that if a profinite group $G$ admits a coprime automorphism $φ$ of prime order such that every fixed point of $φ$ has a finite left Engel sink, then $G$ has an open pronilpotent-by-nilpotent subgroup.

preprint2020arXiv

Compact groups with countable Engel sinks

An Engel sink of an element $g$ of a group $G$ is a set ${\mathscr E}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[x,g],g],\dots ,g]$ belong to ${\mathscr E}(g)$ . (Thus, $g$ is an Engel element precisely when we can choose ${\mathscr E}(g)=\{ 1\}$ .) It is proved that if every element of a compact (Hausdorff) group $G$ has a countable (or finite) Engel sink, then $G$ has a finite normal subgroup $N$ such that $G/N$ is locally nilpotent. This settles a question suggested by J. S. Wilson.

preprint2020arXiv

On profinite groups with automorphisms whose fixed points have countable Engel sinks

An Engel sink of an element $g$ of a group $G$ is a set ${\mathscr E}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[x,g],g],\dots ,g]$ belong to ${\mathscr E}(g)$ . (Thus, $g$ is an Engel element precisely when we can choose ${\mathscr E}(g)=\{ 1\}$ .) It is proved that if a profinite group $G$ admits an elementary abelian group of automorphisms $A$ of coprime order $q^2$ for a prime $q$ such that for each $a\in A\setminus\{1\}$ every element of the centralizer $C_G(a)$ has a countable (or finite) Engel sink, then $G$ has a finite normal subgroup $N$ such that $G/N$ is locally nilpotent.

preprint2020arXiv

The average element order and the number of conjugacy classes of finite groups

Let $o(G)$ be the average order of the elements of $G$ , where $G$ is a finite group. We show that there is no polynomial lower bound for $o(G)$ in terms of $o(N)$ , where $N\trianglelefteq G$ , even when $G$ is a prime-power order group and $N$ is abelian. This gives a negative answer to a question of A.~Jaikin-Zapirain.

preprint2016arXiv

Almost Engel finite and profinite groups

Let $g$ be an element of a group $G$ . For a positive integer $n$ , let $E_n(g)$ be the subgroup generated by all commutators $[...[[x,g],g],\dots ,g]$ over $x\in G$ , where $g$ is repeated $n$ times. We prove that if $G$ is a profinite group such that for every $g\in G$ there is $n=n(g)$ such that $E_n(g)$ is finite, then $G$ has a finite normal subgroup $N$ such that $G/N$ is locally nilpotent. The proof uses the Wilson--Zelmanov theorem saying that Engel profinite groups are locally nilpotent. In the case of a finite group $G$ , we prove that if, for some $n$ , $|E_n(g)|\leq m$ for all $g\in G$ , then the order of the nilpotent residual $γ_{\infty}(G)$ is bounded in terms of $m$ .

preprint2015arXiv

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

Suppose that a finite group $G$ admits an automorphism $φ$ of order $2^n$ such that the fixed-point subgroup $C_G(φ^{2^{n-1}})$ of the involution $φ^{2^{n-1}}$ is nilpotent of class $c$ . Let $m=|C_G(φ)|$ be the number of fixed points of $φ$ . 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.

preprint2015arXiv

On finite soluble groups with almost fixed-point-free automorphisms of non-coprime order

It is proved that if a finite $p$ -soluble group $G$ admits an automorphism $φ$ of order $p^n$ having at most $m$ fixed points on every $φ$ -invariant elementary abelian $p'$ -section of $G$ , then the $p$ -length of $G$ is bounded above in terms of $p^n$ and $m$ ; if in addition the group $G$ is soluble, then the Fitting height of $G$ is bounded above in terms of $p^n$ and $m$ . It is also proved that if a finite soluble group $G$ admits an automorphism $ψ$ of order $p^aq^b$ for some primes $p,q$ , then the Fitting height of $G$ is bounded above in terms of $|ψ|$ and $|C_G(ψ)|$ .

preprint2015arXiv

On the length of finite groups and of fixed points

The generalized Fitting height of a finite group $G$ is the least number $h=h^*(G)$ such that $F^*_h(G)=G$ , where the $F^*_i(G)$ is the generalized Fitting series: $F^*_1(G)=F^*(G)$ and $F^*_{i+1}(G)$ is the inverse image of $F^*(G/F^*_{i}(G))$ . It is proved that if $G$ admits a soluble group of automorphisms $A$ of coprime order, then $h^*(G)$ is bounded in terms of $h^* (C_G(A))$ , where $C_G(A)$ is the fixed-point subgroup, and the number of prime factors of $|A|$ counting multiplicities. The result follows from the special case when $A=\langleφ\rangle$ is of prime order, where it is proved that $F^*(C_G(φ))\leqslant F^*_{9}(G)$ . The nonsoluble length $λ(G)$ of a finite group $G$ is defined as the minimum number of nonsoluble factors in a normal series each of whose factors either is soluble or is a direct product of nonabelian simple groups. It is proved that if $A$ is a group of automorphisms of $G$ of coprime order, then $λ(G)$ is bounded in terms of $λ(C_G(A))$ and the number of prime factors of $|A|$ counting multiplicities.

preprint2014arXiv

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

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)$ .

preprint2014arXiv

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

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.

preprint2014arXiv

Nereshennye voprosy teorii grupp. Kourovskaya tetrad'. 18-e izd. (Russian)

This is a collection of open problems in Group Theory proposed by more than 300 mathematicians from all over the world. It has been published every 2-4 years in Novosibirsk since 1965, now also in English. This is the 18th Russian edition, which contains 120 new problems and a number of comments on about 1000 problems from the previous editions.

preprint2014arXiv

Nonsoluble and non-p-soluble length of finite groups

Every finite group $G$ has a normal series each of whose factors either is soluble or is a direct product of nonabelian simple groups. We define the nonsoluble length $λ(G)$ as the minimum number of nonsoluble factors in a series of this kind. Upper bounds for $λ(G)$ appear in the study of various problems on finite, residually finite, and profinite groups. We prove that $λ(G)$ is bounded in terms of the maximum $2$ -length of soluble subgroups of $G$ , and that $λ(G)$ is bounded by the maximum Fitting height of soluble subgroups. For an odd prime $p$ , the non- $p$ -soluble length $λ_p(G)$ is introduced, and it is proved that $λ_p(G)$ does not exceed the maximum $p$ -length of $p$ -soluble subgroups. We conjecture that for a given prime $p$ and a given proper group variety ${\frak V}$ the non- $p$ -soluble length $λ_p(G)$ of finite groups $G$ whose Sylow $p$ -subgroups belong to ${\frak V}$ is bounded. In this paper we prove this conjecture for any variety that is a product of several soluble varieties and varieties of finite exponent.

preprint2014arXiv

On the length of finite factorized groups

The nonsoluble length $λ(G)$ of a finite group $G$ is defined as the number of nonsoluble factors in a shortest normal series each of whose factors either is soluble or is a direct product of nonabelian simple groups. The generalized Fitting height of a finite group $G$ is the least number $h=h^*(G)$ such that $F^*_h(G)=G$ , where $F^*_1(G)=F^*(G)$ is the generalized Fitting subgroup, and $F^*_{i+1}(G)$ is the inverse image of $F^*(G/F^*_{i}(G))$ . It is proved that if a finite group $G=AB$ is factorized by two subgroups of coprime orders, then the nonsoluble length of $G$ is bounded in terms of the generalized Fitting heights of $A$ and $B$ . It is also proved that if, say, $B$ is soluble of derived length $d$ , then the generalized Fitting height of $G$ is bounded in terms of $d$ and the generalized Fitting height of $A$ .

preprint2014arXiv

Words and pronilpotent subgroups in profinite groups

Let $w$ be a multilinear commutator word, that is, a commutator of weight $n$ in $n$ different group variables. It is proved that if $G$ is a profinite group in which all pronilpotent subgroups generated by $w$ -values are periodic, then the verbal subgroup $w(G)$ is locally finite.

preprint2013arXiv

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

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.

preprint2013arXiv

Lie algebras admitting a metacyclic Frobenius group of automorphisms

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

E. I. Khukhro

Research overview

Is this your work?

17 publications

Fitting height of finite groups admitting a fixed-point-free automorphism satisfying an additional polynomial identity

Profinite groups with an automorphism of prime order whose fixed points have finite Engel sinks

Compact groups with countable Engel sinks

On profinite groups with automorphisms whose fixed points have countable Engel sinks

The average element order and the number of conjugacy classes of finite groups

Almost Engel finite and profinite groups

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

On finite soluble groups with almost fixed-point-free automorphisms of non-coprime order

On the length of finite groups and of fixed points

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

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

Nereshennye voprosy teorii grupp. Kourovskaya tetrad'. 18-e izd. (Russian)

Nonsoluble and non-p-soluble length of finite groups

On the length of finite factorized groups

Words and pronilpotent subgroups in profinite groups

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

Lie algebras admitting a metacyclic Frobenius group of automorphisms

See the researcher in context

Building this map preview

E. I. Khukhro

Research overview

Is this your work?

17 publications

Fitting height of finite groups admitting a fixed-point-free automorphism satisfying an additional polynomial identity

Profinite groups with an automorphism of prime order whose fixed points have finite Engel sinks

Compact groups with countable Engel sinks

On profinite groups with automorphisms whose fixed points have countable Engel sinks

The average element order and the number of conjugacy classes of finite groups

Almost Engel finite and profinite groups

Finite groups and Lie rings with an automorphism of order 2n2^n2n

On finite soluble groups with almost fixed-point-free automorphisms of non-coprime order

On the length of finite groups and of fixed points

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

Locally finite groups containing a 222-element with Chernikov centralizer

Nereshennye voprosy teorii grupp. Kourovskaya tetrad'. 18-e izd. (Russian)

Nonsoluble and non-p-soluble length of finite groups

On the length of finite factorized groups

Words and pronilpotent subgroups in profinite groups

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

Lie algebras admitting a metacyclic Frobenius group of automorphisms

See the researcher in context

Building this map preview

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

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