Free two-step nilpotent groups whose automorphism group is complete

Subgroups defining automorphisms in locally nilpotent groups

We investigate some situation in which automorphisms of a group G are uniquely determined by their restrictions to a proper subgroup H. Much of the paper is devoted to studying under which additional hypotheses this property forces G to be nilpotent if H is. As an application we prove that certain countably infinite locally nilpotent groups have uncountably many (outer) automorphisms.

On automorphisms of certain free nilpotent-by-abelian Lie algebras

For a positive integer $n$, with $n \geq 4$, let $R_{n}$ be a free (nilpotent of class 2)-by-abelian and abelian-by-(nilpotent of class 2) Lie algebra of rank $n$. We show that the subgroup of Aut$(R_{n})$ generated by the tame automorphisms and a countably infinite set of explicitly given automorphisms of $R_{n}$ is dense in Aut$(R_{n})$ with respect to the formal power series topology.

A note on automorphisms of free nilpotent groups

We exhibit normal subgroups of a free nilpotent group F of rank two and class three, which have isomorphic finite quotients but are not conjugate under any automorphism of F.

A note on nilpotent subgroups of automorphism groups of RAAGs

We observe that automorphism groups of right-angled Artin groups contain nilpotent non-abelian subgroups, namely $H_3(\mathbb{Z})$ the three-dimensional integer Heisenberg group, provided they admit a certain type of element, called an adjacent transvection. This represents a (minor) extension of a result of Charney-Vogtmann.

Regular dessins uniquely determined by a nilpotent automorphism group

It is well known that the automorphism group of a regular dessin is a two-generator finite group, and the isomorphism classes of regular dessins with automorphism groups isomorphic to a given finite group $G$ are in one-to-one correspondence with the orbits of the action of $\Aut(G)$ on the ordered generating pairs of $G$. If there is only one orbit, then up to isomorphism the regular dessin is uniquely determined by the group $G$ and it is called uniquely regular. In the paper we investigate the classification of uniquely regular dessins with a nilpotent automorphism group. The problem is red…

Nilpotent Lie groups and hyperbolic automorphisms

A connected Lie group admitting an expansive automorphism is known to be nilpotent, but all nilpotent Lie groups do not admit expansive automorphism. In this article, we find sufficient conditions for a class of nilpotent Lie groups to admit expansive automorphism.

自同构下具有有限个轨道的几乎幂零群

Virtually nilpotent groups with finitely many orbits under automorphisms

本文研究几乎幂零群在自同构作用下具有有限个轨道的结构，证明了群可分解为挠子群与无挠幂零可除特征子群的半直积，并给出导子群的分解及在无挠情况下的幂零性结论。

某些三维非幂零 Leibniz 代数：自同构群

Some three-dimensional non-nilpotent Leibniz algebras: automorphism groups

本文研究了三维非幂零 Leibniz 代数，明确给出了两类该代数的自同构群的具体结构。

On central automorphisms of groups and nilpotent rings

Let $G$ be a group. The central automorphism group $Aut_c(G)$ of $G$ is the centralizer of $Inn(G)$ the subgroup of $Aut(G)$ of inner automorphisms. There is a one to one map $ σ\mapsto h_σ$ from the set $Aut_c(G)$ onto the set $Hom(G,Z(G))$ of homomorphisms from $G$ onto its center, with $ h_σ(x)=x^{-1} σ(x)$. This map can be used to obtain informations about the size of $Aut_c(G)$, and also about its structure in some special cases. In this paper we see how to use it to obtain informations about the structure of $Aut_c(G)$ in the general case. The notion of the adjoint group of a ring is the…

Coleman automorphisms of finite groups and their minimal normal subgroups

In this paper, we show that all Coleman automorphisms of a finite group with self-central minimal non-trivial characteristic subgroup are inner; therefore the normalizer property holds for these groups. Using our methods we show that the holomorph and wreath product of finite simple groups, among others, have no non-inner Coleman automorphisms. As a further application of our theorems, we provide partial answers to questions raised by M. Hertweck and W. Kimmerle. Furthermore, we characterize the Coleman automorphisms of extensions of a finite nilpotent group by a cyclic $p$-group. Lastly, we n…

On the logical strength of the automorphism groups of free nilpotent groups

Considering a particular case of a problem posed by Saharon Shelah, we prove that the automorphism group of an infinitely generated free nilpotent group N first-order interprets the full second-order theory of the set rank(N) in the empty language.

Entropy of automorphisms, homology and the intrinsic polynomial structure of nilpotent groups

We study the word length entropy of automorphisms of residually nilpotent groups, and how the entropy of such group automorphisms relates to the entropy of induced automorphisms on various nilpotent quotients. We show that much like the structure of a nilpotent group is dictated to a large degree by its abelianization, the entropy of an automorphism of a nilpotent group is dictated by its entropy on the abelianization. We give some applications to the study of pseudo-Anosov homeomorphisms of surfaces. In particular, we show that if $ψ$ is a non--homological pseudo-Anosov homeomorphism of a sur…

A family of class-2 nilpotent groups, their automorphisms and pro-isomorphic zeta functions

The pro-isomorphic zeta function of a finitely generated nilpotent group $Γ$ is a Dirichlet generating function that enumerates finite-index subgroups whose profinite completion is isomorphic to that of $Γ$. Such zeta functions can be expressed as Euler products of $p$-adic integrals over the $p$-adic points of an algebraic automorphism group associated to $Γ$. In this way they are closely related to classical zeta functions of algebraic groups over local fields. We describe the algebraic automorphism groups for a natural family of class-$2$ nilpotent groups; these groups can be viewed as gene…

Centralizers of coprime automorphisms of finite groups

Let $A$ be an elementary abelian group of order $p^{k}$ with $k\geq 3$ acting on a finite $p'$-group $G$. The following results are proved. If $γ_{k-2}(C_{G}(a))$ is nilpotent of class at most $c$ for any $a\in A^{#}$, then $γ_{k-2}(G)$ is nilpotent and has $\{c,k,p\}$-bounded nilpotency class. If, for some integer $d$ such that $2^{d}+2\leq k$, the $d$th derived group of $C_{G}(a)$ is nilpotent of class at most $c$ for any $a\in A^{#}$, then the $d$th derived group $G^{(d)}$ is nilpotent and has $\{c,k,p\}$-bounded nilpotency class. Earlier this was known only in the case where $k\leq 4$.

Infinitely generated free nilpotent groups: completeness of the automorphism groups

Baumslag conjectured in the 1970s that the automorphism tower of a finitely generated free nilpotent group must be very short. Let F_{n,c} denote a free nilpotent group of finite rank n at least two and of nilpotency class c at least two. In 1976 Dyer and Formanek proved that the automorphism group of F_{n,2} is even complete (and hence the height of the aumorphism tower of F_{n,2} is two) provided that n is not three; in the case when n=3, the height of the automorphism tower of F_{n,2} is three. The author proved in 2001 that the automorphism group of any infinitely generated free nilpotent …

Automorphisms of groups and converse of Schur's theorem

An automorphism of a group G is called an IA-automorphism if it induces the identity automorphism on the abelianized group G/G'. Let IA(G) denote the group of all IA-automorphisms of G. We classify all finitely generated nilpotent groups G of class 2 for which IA(G) is isomorphic to Inn(G). In particular, we classify all finite nilpotent groups of class 2 for which each IA-automorphism is inner. As consequences, we give surprisingly very easy proofs of converse of Schur's theorem and also prove some other related results.

关于分裂自同构的Kegel定理的剩余有限类比

A residually finite analogue of Kegel's theorem on splitting automorphisms

本文证明，若周期剩余有限群G具有素数阶分裂自同构，则G是幂零群且幂零类由p界定，从而对剩余有限群肯定了Sozutov问题。

On solvable subgroups of automorphism groups of right-angled Artin groups

For any right-angled Artin group, we show that its outer automorphism group contains either a finite-index nilpotent subgroup or a nonabelian free subgroup. This is a weak Tits alternative theorem. We find a criterion on the defining graph that determines which case holds. We also consider some examples of solvable subgroups, including one that is not virtually nilpotent and is embedded in a non-obvious way.

Nilpotent groups of class two which underly a unique regular dessin

A dessin is an embedding of connected bipartite graph into an oriented closed surface. A dessin is regular if its group of colour- and orientation-preserving automorphisms acts transitively on the edges. In the present paper regular dessins with a nilpotent automorphism group are investigated, and attention are paid on those with the highest level of external symmetry. Depending on the algebraic theory of dessins and using group-theoretical methods, we present a classification of nilpotent groups of class two which underly a unique regular dessin.

Criteria for solubility and nilpotency of finite groups with automorphisms

Let $G$ be a finite group admitting a coprime automorphism $α$. Let $J_G(α)$ denote the set of all commutators $[x,α]$, where $x$ belongs to an $α$-invariant Sylow subgroup of $G$. We show that $[G,α]$ is soluble or nilpotent if and only if any subgroup generated by a pair of elements of coprime orders from the set $J_G(α)$ is soluble or nilpotent, respectively.

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…

On the polynomial automorphisms of a group

We prove that if a group is nilpotent (resp. metabelian), then so is the subgroup of its automorphism group generated by all polynomial automorphisms.

Word Images and Their Impostors in Finite Nilpotent Groups

It was shown by Lubotzky in 2014 that automorphism invariant subsets of finite simple groups which contain identity are always word images. In this article, we study word maps on finite nilpotent groups and show that for arbitrary finite groups, the number of automorphism invariant subsets containing identity which are not word images, referred to as word image impostors, may be arbitrarily larger than the number of actual word images. In the course of it, we construct a $2$-exhaustive set of word maps on nilpotent groups of class $2$ and demonstrate its minimality in some cases.

On the nilpotency class of finite groups with a Frobenius group of automorphisms

Suppose that a metacyclic Frobenius group $FH$, with kernel $F$ and complement $H$, acts by automorphisms on a finite group $G$, in such a way that $C_G(F)$ is trivial and $C_G(H)$ is nilpotent. It is known that $G$ is nilpotent and its nilpotency class can be bounded in terms of $|H|$ and the nilpotency class of $C_G(H)$. Until now, it was not clear whether the bound could be made independent of the order of $H$. In this article, we construct a family $\mathfrak{G}$ of finite nilpotent groups, of unbounded nilpotency class. Each group in $\mathfrak{G}$ admits a metacyclic Frobenius group of a…

Profinite groups and the fixed points of coprime automorphisms

The main result of the paper is the following theorem. Let $q$ be a prime and $A$ an elementary abelian group of order $q^3$. Suppose that $A$ acts coprimely on a profinite group $G$ and assume that $C_G(a)$ is locally nilpotent for each $a\in A^{\#}$. Then the group $G$ is locally nilpotent.

Longer nilpotent series

New nilpotent series are produced that refine the usual nilpotent series of a group. These refinements can be arbitrarily longer than the series they refine and therefore clarify in greater detail the structure of automorphisms of nilpotent groups. Examples, properties, and an application to group-isomorphism testing are provided.

Twisted homological stability for extensions and automorphism groups of free nilpotent groups

We prove twisted homological stability with polynomial coefficients for automorphism groups of free nilpotent groups of any given class. These groups interpolate between two extremes for which homological stability was known before, the general linear groups over the integers and the automorphism groups of free groups. The proof presented here uses a general result that applies to arbitrary extensions of groups, and that has other applications as well.

The action of a compact Lie group on nilpotent Lie algebras of type {n,2}

We classify finite-dimensional nilpotent Lie algebras with $2$-dimensional central commutator ideals admitting a Lie group of automorphisms isomorphic to $SO_2(\mathbb R)$. This enables one to enlarge the class of nilpotent Lie algebras of type {n,2}.

Endomorphisms of nilpotent groups of finite rank

We obtain sufficient criteria for endomorphisms of torsion-free nilpotent groups of finite rank to be automorphisms, by considering the induced maps on the torsion-free abelianisation and the centre. Whilst these results are known in the finitely generated case removing this assumption introduces several difficulties.

Supersolvable Frobenius groups with nilpotent centralizers

Let $FH$ be a supersolvable Frobenius group with kernel $F$ and complement $H$. Suppose that a finite group $G$ admits $FH$ as a group of automorphisms in such a manner that $C_G(F)=1$ and $C_{G}(H)$ is nilpotent of class $c$. We show that $G$ is nilpotent of $(c,\left|FH\right|)$-bounded class.

The $R_\infty$ property for nilpotent quotients of generalized solvable Baumslag-Solitar groups

We say a group $G$ has property $R_\infty$ if the number $R(φ)$ of twisted conjugacy classes is infinite for every automorphism $φ$ of $G$. For such groups, the $R_\infty$-nilpotency degree is the least integer $c$ such that $G/γ_{c+1}(G)$ has property $R_\infty$. In this work, we compute the $R_\infty$-nilpotency degree of all Generalized Solvable Baumslag-Solitar groups $Γ_n$. Moreover, we compute the lower central series of $Γ_n$, write the nilpotent quotients $Γ_{n,c}=Γ_n/γ_{c+1}(Γ_n)$ as semidirect products of finitely generated abelian groups and classify which integer invertible matrice…

The Reidemeister spectrum of direct products of nilpotent groups

We investigate the Reidemeister spectrum of direct products of nilpotent groups. More specifically, we prove that the Reidemeister spectra of the individual factors yield complete information for the Reidemeister spectrum of the direct product if all groups are finitely generated torsion-free nilpotent and have a directly indecomposable rational Malcev completion. We show this by determining the complete automorphism group of the direct product.

Nil-automorphisms of groups with residual properties

Following Plotkin we say that the automorphism $x$ of the group $G$ is a nil-automorphism if, for every $g\in G$, there exists $n=n(g)$ such that $[g,_n x]=1$. If the integer $n$ can be chosen independently of $g$, then $x$ is said to be unipotent. Nil and unipotent automorphisms can be regarded as a natural extension of the concept of Engel element, since a nil-automorphism $x$ is just a left-Engel element in $G < x >$. In this paper we consider nil-automorphisms of groups with residual properties namely locally-graded groups, residually-finite groups and profinite groups. The first result we…

Twisted conjugacy classes in nilpotent groups

Let $N$ be a finitely generated nilpotent group. Algorithm is constructed such, that for every automorphism $ϕ\in Aut(N)$ defines the Reidemeister number $R(ϕ).$ It is proved that any free nilpotent group of rank $r = 2$ or $r = 3$ and class $c \geq 4r,$ or rank $r \geq 4$ and class $c \geq 2r,$ belongs to the class $R_{\infty}.$

某些幂零3维莱布尼茨代数的自同构群

On the automorphism groups of some nilpotent 3-dimensional Leibniz algebras

本文研究具有幂零类2和一维中心的3维莱布尼茨代数的自同构群结构，给出了其完整描述。

Engel-like conditions in fixed points of automorphisms of profinite groups

Let $q$ be a prime and $A$ an elementary abelian $q$-group acting as a coprime group of automorphisms on a profinite group $G$. We show that if $A$ is of order $q^2$ and some power of each element in $C_G(a)$ is Engel in $G$ for any $a\in A^{\#}$, then $G$ is locally virtually nilpotent. Assuming that $A$ is of order $q^3$ we prove that if some power of each element in $C_G(a)$ is Engel in $C_G(a)$ for any $a\in A^{\#}$, then $G$ is locally virtually nilpotent. Some analogues consequences of quantitative nature for finite groups are also obtained.

The space of bi-invariant orders on a nilpotent group

We prove a few basic facts about the space of bi-invariant (or left-invariant) total order relations on a torsion-free, nonabelian, nilpotent group G. For instance, we show that the space of bi-invariant orders has no isolated points (so it is a Cantor set if G is countable), and give examples to show that the outer automorphism group of G does not always act faithfully on this space. Also, it is not difficult to see that the abstract commensurator group of G has a natural action on the space of left-invariant orders, and we show that this action is faithful. These results are related to recen…

The Diffie-Hellman Key Exchange Protocol and non-abelian nilpotent groups

In this paper we study a key exchange protocol similar to Diffie-Hellman key exchange protocol using abelian subgroups of the automorphism group of a non-abelian nilpotent group. We also generalize group no.92 of Hall-Senior table \cite{halltable}, for arbitrary prime $p$ and show that for those groups, the group of central automorphisms commute. We use these for the key exchange we are studying.

Scaled relators and Dehn functions for nilpotent groups

A homogeneous nilpotent Lie group has a scaling automorphism determined by a grading of its Lie algebra. Many proofs of upper bounds for the Dehn function of such a group depend on being able to fill curves with discs compatible with this grading; the area of such discs changes predictably under the scaling automorphism. In this paper, we present combinatorial methods for finding such bounds. Using this method, we give new proofs of some results on Dehn functions of nilpotent groups, prove theorems on central powers and certain quotients of nilpotent groups, and construct the first example of …

A left $3$-Engel element whose normal closure is not nilpotent

We give an example of a locally nilpotent group $G$ containing a left $3$-Engel element $x$ where $\langle x\rangle^{G}$ is not nilpotent.

两步幂零李群的抽象群自同构与部分自动连续性

Abstract Group Automorphisms of Two-Step Nilpotent Lie Groups and Partial Automatic Continuity

本文研究幂零李群的抽象自同构连续性问题，证明不可数多类单连通两步幂零李群的抽象自同构满足部分连续性，补充了此前仅可数多类的结果，还推广至复李群并建立抽象群同构与李群同构的关联。

Coprime automorphisms of finite groups

Let $G$ be a finite group admitting a coprime automorphism $α$ of order $e$. Denote by $I_G(α)$ the set of commutators $g^{-1}g^α$, where $g\in G$, and by $[G,α]$ the subgroup generated by $I_G(α)$. We study the impact of $I_G(α)$ on the structure of $[G,α]$. Suppose that each subgroup generated by a subset of $I_G(α)$ can be generated by at most $r$ elements. We show that the rank of $[G,α]$ is $(e,r)$-bounded. Along the way, we establish several results of independent interest. In particular, we prove that if every element of $I_G(α)$ has odd order, then $[G,α]$ has odd order too. Further, i…

A description of automorphism group of power graphs of finite groups

The power graph of a group is the graph whose vertex set is the set of nontrivial elements of group, two elements being adjacent if one is a power of the other. We introduce some way for find the automorphism groups of some graphs. As an application We describe the full automorphism group of the power graph of all finite groups. Also we obtain the full automorphism group of power graph of abelian, homocyclic and nilpotent groups

On co-Hopfian nilpotent groups

We characterize co-Hopfian finitely generated torsion free nilpotent groups in terms of their Lie algebra automorphisms, and construct many examples of such groups.

The $R_\infty$--property for nilpotent quotients of Baumslag--Solitar groups

A group $G$ has the $R_{\infty}$--property if the number $R(φ)$ of twisted conjugacy classes is infinite for any automorphism $φ$ of $G$. For such a group $G$, the $R_{\infty}$--nilpotency index is the least integer $c$ such that $G/γ_{c+1}(G)$ still has the $R_\infty$--property. In this paper, we determine the $R_{\infty}$--nilpotency degree of all Baumslag--Solitar groups.

Profinite groups with an automorphism whose fixed points are right Engel

An element $g$ of a group $G$ is said to be right Engel if for every $x\in G$ there is a number $n=n(g,x)$ such that $[g,{}_{n}x]=1$. We prove that if a profinite group $G$ admits a coprime automorphism $φ$ of prime order such that every fixed point of $φ$ is a right Engel element, then $G$ is locally nilpotent.

Inverse semigroups with idempotent-fixing automorphisms

A celebrated result of J. Thompson says that if a finite group $G$ has a fixed-point-free automorphism of prime order, then $G$ is nilpotent. The main purpose of this note is to extend this result to finite inverse semigroups. An earlier related result of B. H. Neumann says that a uniquely 2-divisible group with a fixed-point-free automorphism of order 2 is abelian. We similarly extend this result to uniquely 2-divisible inverse semigroups.

Faithful actions of automorphisms on the space of orderings of a group

In this article we study the space of left- and bi-invariant orderings on a torsion-free nilpotent group $G$. We will show that generally the set of such orderings is equipped with a faithful action of the automorphism group of $G$. We prove a result which allows us to establish the same conclusion when $G$ is assumed to be merely residually torsion-free nilpotent. In particular, we obtain faithful actions of mapping class groups of surfaces. We will draw connections between the structure of orderings on residually torsion-free nilpotent, hyperbolic groups and their Gromov boundaries, and we s…

Isomorphisms of Cayley graphs on nilpotent groups

Let S be a finite generating set of a torsion-free, nilpotent group G. We show that every automorphism of the Cayley graph Cay(G;S) is affine. (That is, every automorphism of the graph is obtained by composing a group automorphism with multiplication by an element of the group.) More generally, we show that if Cay(G;S) and Cay(G';S') are connected Cayley graphs of finite valency on two nilpotent groups G and G', then every isomorphism from Cay(G;S) to Cay(G';S') factors through to a well-defined affine map from G/N to G'/N', where N and N' are the torsion subgroups of G and G', respectively. F…

Locally finite $p$-groups with a left 3-Engel element whose normal closure is not nilpotent

For any odd prime $p$, we give an example of a locally finite $p$-group $G$ containing a left 3-Engel element $x$ where $\langle x \rangle^G$ is not nilpotent.

具有某些特定极大不变子群为幂零或所有非幂零极大不变子群均为正规的有限群

Finite groups with some particular maximal invariant subgroups being nilpotent or all non-nilpotent maximal invariant subgroups being normal

本文分类了在互素自同构群作用下、含某不变 Sylow 子群正规化子的极大不变子群均为幂零的有限群，并证明该条件等价于所有非幂零极大不变子群均正规。

On the automorphism group of generalized Baumslag-Solitar groups

A generalized Baumslag-Solitar group (GBS group) is a finitely generated group $G$ which acts on a tree with all edge and vertex stabilizers infinite cyclic. We show that Out(G) either contains non-abelian free groups or is virtually nilpotent of class at most 2. It has torsion only at finitely many primes. One may decide algorithmically whether Out(G) is virtually nilpotent or not. If it is, one may decide whether it is virtually abelian, or finitely generated. The isomorphism problem is solvable among GBS groups with Out(G) virtually nilpotent. If $G$ is unimodular (virtually $F_n \times Z$)…

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$ a…

A nilpotent group without local functional equations for pro-isomorphic subgroups

The pro-isomorphic zeta function of a torsion-free finitely generated nilpotent group G enumerates finite index subgroups H such that H and G have isomorphic profinite completions. It admits an Euler product decomposition, indexed by the rational primes. We manufacture the first example of a torsion-free finitely generated nilpotent group G such that the local Euler factors of its pro-isomorphic zeta function do not satisfy functional equations. The group G has nilpotency class 4 and Hirsch length 25. It is obtained, via the Malcev correspondence, from a Z-Lie lattice L with a suitable algebra…