Let $F$ be a finitely generated free group. By using Bestvina-Handel theory, as well as some further improvements, the eigengroups of a given automorphism of $F$ (and its fixed subgroup among them) are globally analyzed and described. In particular, an explicit description of all subgroups of $F$ which occur as the fixed subgroup of some automorphism is given.
Let $G$ be an affine algebraic group over an algrebraically closed field $\mathbb K$ of characteristic 0 and $H$ be a subgroup of $G$. The stabilizer of all the set of all vector-functions of $\mathbb K[G]^H$ with respect to the right action of $H$ is $\hat H$. $V^H=V^{\hat H}$ for a $G$-module $V$. The subgroup $H$ is called observable if $H=\hat H$ and epimorphic if $G=\hat H$. In this work I show that under some natural restrictions $H$ is observable if and only if some orbit of some group contains 0 in the closure and $H$ is epimorphic if and only the same orbit is closed.
In the current paper we study the groups, whose subnormal abelian subgroups are normal. We obtained a quite detailed description of such hyperabelian groups with a periodic Baer radical. The description of hyperabelian Lie algebras, whose abelian subideals are ideals, is also obtained.
Given a permutational wreath product sequence of cyclic groups of prime order we research a commutator width of such groups and some properties of its commutator subgroup. Commutator width of Sylow 2-subgroups of alternating group $A_{2^{k}}$, permutation group $S_{2^k}$ and $C_p \wr B$ were founded. The result of research was extended on subgroups $(Syl_2 {A_{2^k}})'$, $p>2$. The paper presents a construction of commutator subgroup of Sylow 2-subgroups of symmetric and alternating groups. Also minimal generic sets of Sylow 2-subgroups of $A_{2^k}$ were founded. Elements presentation of $(Syl_…
We let $φ$ be an ageometric fully irreducible outer automorphism so that its Handel-Mosher axis bundle consists of a single unique axis. We show that the centralizer $Cen(\langleφ\rangle)$ of the cyclic subgroup generated by $φ$ equals the stabilizer $\text{Stab}(Λ^+_φ)$ of the attracting lamination $Λ^+_φ$ and is isomorphic to $\mathbb Z$. We further show, via an analogous result about the commensurator, that the normalizer $N(\langleφ\rangle)$ of $\langle φ\rangle$ is isomorphic to either $\mathbb Z$ or $\mathbb Z_2 * \mathbb Z_2$.
We provide an algorithm to solve the word problem in all fundamental groups of closed 3-manifolds; in particular, we show that these groups are autostackable. This provides a common framework for a solution to the word problem in any closed 3-manifold group using finite state automata. We also introduce the notion of a group which is autostackable respecting a subgroup, and show that a fundamental group of a graph of groups whose vertex groups are autostackable respecting any edge group is autostackable. A group that is strongly coset automatic over an autostackable subgroup, using a prefix-cl…
We show that, if $H$ is a random subgroup of a finitely generated free group $F_k$, only inner automorphisms of $F_k$ may leave $H$ invariant. A similar result holds for random subgroups of toral relatively hyperbolic groups, more generally of groups which are hyperbolic relative to slender subgroups. These results follow from non-existence of splittings over slender groups which are relative to a random group element. Random subgroups are defined using random walks or balls in a Cayley tree of $F_k$.
We give a description of a finite group whose maximal subgroups possess only soluble proper subgroups, which implies the answer to the well-known question on composition factors of finite groups, whose second maximal subgroups are soluble.
A beautifully simple free generating set for the commutator subgroup of a free group was constructed by Tomaszewski. We give a new geometric proof of his theorem, and show how to give a similar free generating set for the commutator subgroup of a surface group. We also give a simple representation-theoretic description of the structure of the abelianizations of these commutator subgroups and calculate their homology.
It is well known that every finite subgroup of automorphism group of polynomial algebra of rank 2 over the field of zero characteristic is conjugated with a subgroup of linear automorphisms. We prove that it is not true for an arbitrary torsion subgroup. We construct an example of abelian $p$-group of automorphism of polynomial algebra of rank 2 over the field of complex numbers, which is not conjugated with a subgroup of linear automorphisms.
Let F be a local field of positive characteristic, and let G be either a Heisenberg group over F, or a certain (nonabelian) two-dimensional unipotent group over F. If H is an arithmetic subgroup of G, we provide an explicit description of every automorphism of H. From this description, it follows that every automorphism of H virtually extends to a virtual automorphism of G.
A locally normal subgroup in a topological group is a subgroup whose normaliser is open. In this paper, we provide a detailed description of the large-scale structure of closed locally normal subgroups of complete Kac-Moody groups over finite fields. Combining that description with the main result from arXiv:2111.07066, we show that under mild assumptions, if the Kac-Moody group is one-ended (a property that is easily determined from the generalised Cartan matrix), then it is locally indecomposable, which means that no open subgroup decomposes as a nontrivial direct product.
We study subgroups and quotients of outer automorphism groups of right-angled Artin groups (RAAGs). We prove that for all RAAGS, the outer automorphism group is residually finite and, for a large class of RAAGs, it satisfies the Tits alternative. We also investigate which of these automorphism groups contain non-abelian solvable subgroups.
Let G be a finitely generated relatively hyperbolic group. We show that if no peripheral subgroup of G is hyperbolic relative to a collection of proper subgroups, then the fixed subgroup of every automorphism of G is relatively quasiconvex. It follows that the fixed subgroup is itself relatively hyperbolic with respect to a natural family of peripheral subgroups. If all peripheral subgroups of G are slender (respectively, slender and coherent), our result implies that the fixed subgroup of every automorphism of G is finitely generated (respectively, finitely presented). In particular, this hap…
Among other things, we prove that the group of automorphisms fixing every normal subgroup of a nilpotent-by-abelian group is nilpotent-by-metabelian. In particular, the group of automorphisms fixing every normal subgroup of a metabelian group is soluble of derived length at most 3. An example shows that this bound cannot be improved.
We show that in the free group of rank 3, given an arbitrary number of automorphisms, the intersection of their fixed subgroups is equal to the fixed subgroup of some other single automorphism.
We discuss the possibility of lifting finite subgroups, and in particular finite cyclic subgroups, with respect to the canonical projections between automorphism and outer automorphism groups of free groups, surface groups and their abelianizations.
Let αbe an automorphism of the totally disconnected group G. The compact open subgroup, V, if G is tidy for αif [α(V') : α(V')\cap V'] is minimised at V, where V' ranges over all compact open subgroups of G. Identifying a subgroup tidy for αis analogous to identifying a basis which puts a linear transformation into Jordan canonical form. This analogy is developed here by showing that commuting automorphisms have a common tidy subgroup of G and, conversely, that a group H of automorphisms having a common tidy subgroup V is abelian modulo the automorphisms which leave V invariant. Certain subgro…
We prove that the tree almost automorphism groups admit exactly three commensurability classes of closed commensurated subgroups. Our proof utilizes an independently interesting characterization of subgroups of the tree almost automorphism groups which contain only periodic elements in terms of the dynamics of the action on the boundary of the tree. Our results further cover several interesting finitely generated subgroups of the tree almost automorphism groups, including the Thompson groups $F$, $T$, and $V$. We show in particular that Thompson's group $T$ has no commensurated subgroups other…
We show that many normal subgroups of the braid group modulo its centre, and of the mapping class group of a sphere with marked points, have the property that their automorphism and abstract commensurator groups are mapping class groups of such spheres. As one application, we establish the automorphism groups of each term in the lower central series and derived series of the pure braid group. We also obtain new proofs of results of Dyer-Grossman and Orevkov, showing that the automorphism groups of the braid group and of its commutator subgroup are isomorphic. We then calculate the automorphism…
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.
We describe a general technique for embedding certain amalgamated products into direct products. This technique provides us with a way of constructing a host of finitely presented subgroups of automatic groups which are not even asynchronously automatic. We can also arrange that such subgroups satisfy, at best, an exponential isoperimetric inequality.
Let G be a right-angled Artin group. We use geometric methods to compute a presentation of the subgroup H of Aut(G) consisting of the automorphisms that send each generator to a conjugate of itself. This generalizes a result of McCool on basis-conjugating automorphisms of free groups.
In this paper, we describe the automorphism group of semidirect product of two groups that fixes the non-normal subgroup of it. We have computed these automorphisms for the non-abelian metacyclic $p$-group and non-abelian $p$-groups $(p\ge 5)$ of order $p^{4}$, where $p$ is a prime.
In this paper, we consider the probability that a randomly chosen automorphism of a finite group fixes a randomly chosen element of a subgroup of that group. We obtain several new results as well as generalizations and improvements of some existing results on this probability.
The classical result, due to Jordan, Burnside, Dickson, says that every normal subgroup of $GL(n, K)$ ($K$ - a field, $n \geq 3$) which is not contained in the center, contains $SL(n, K)$. A. Rosenberg gave description of normal subgroups of $GL(V)$, where $V$ is a vector space of any infinite cardinality dimension over a division ring. However, when he considers subgroups of the direct product of the center and the group of linear transformations $g$ such that $g-id_V$ has finite dimensional range the proof is not complete. We fill this gap for countably dimensional $V$ giving description of …
The aim of this paper is to describe all definable subgroups of SL2(K), for K a p-adically closed field. We begin by giving some "frame subgroups" which contain all nilpotent or solvable subgroups of SL2(K). A complete description is givien for K a p-adically closed field, some results are generalizable to K a field elementarily equivalent to a finite extension of Qp and an almost complete description is given for Q an p . We give also some indications about genericity and generosity in SL2(K).
By calculating the symmetric subgroups $\Aut(\fru_0)^θ$ and their involution classes, we classify the Klein four subgroups $Γ$ of $\Aut(\fru_0)$ for each compact simple Lie algebra $\fru_0$ up to conjugation. This leads to a new approach of classification of semisimple symmetric pairs and $\bbZ_2\times \bbZ_2$-symmetric spaces. We also determine the fixed point subgroup $\Aut(\fru_0)^Γ$.
We give a new computer-assisted proof of the classification of maximal subgroups of the simple group ${}^2E_6(2)$ and its extensions by any subgroup of the outer automorphism group $S_3$. This is not a new result, but no earlier proof exists in the literature. A large part of the proof consists of a computational analysis of subgroups generated by an element of order 2 and an element of order 3. This method can be effectively automated, and via statistical analysis also provides a sanity check on results that may have been obtained by delicate theoretical arguments.
In this paper, we discuss about finite groups in which, CGH = NGH, for every abelian subgroup H of non prime power order. Also, we classify all such nilpotent and minimal non nilpotent groups.
The history, definition and principal properties of automatic groups and their generalisations to subgroups and cosets are reviewed briefly, mainly from a computational perspective. A result about the asynchronous automaticity of an HNN extension is then proved and applied to an example that was proposed by Mark Sapir.
We describe some of the geometric properties of the automorphism group Aut(F) of Thompson's group F. We give realizations of Aut(F) geometrically via periodic tree pair diagrams, which lead to natural presentations and give effective methods for estimating the word length of elements. We study some natural subgroups of Aut(F) and their metric properties. In particular, we show that the subgroup of inner automorphisms of F is at least quadratically distorted in Aut(F), whereas other subgroups of Aut(F) isomorphic to F are undistorted.
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.
Let $H \subseteq K$ be two subgroups of a finite group $G$ and Aut$(K)$ the automorphism group of $K$. The autocommuting probability of $G$ relative to its subgroups $H$ and $K$, denoted by ${\rm Pr}(H, {\rm Aut}(K))$, is the probability that the autocommutator of a randomly chosen pair of elements, one from $H$ and the other from Aut$(K)$, is equal to the identity element of $G$. In this paper, we study ${\rm Pr}(H, {\rm Aut}(K))$ through a generalization.
A subgroup of a finite group is wide if each prime divisor of the group order divides the subgroup order. We obtain the description of finite soluble groups with no wide subgroups. We also prove that a finite soluble group with nilpotent wide subgroups has the quotient group by its hypercenter with no wide subgroups.
The goal of this paper is to construct and describe certain arithmetic subgroups of the automorphism group of a partially commutative group. More precisely, given an arbitrary finite graph $Γ$ we construct an arithmetic subgroup $St(L(G))$, represented as a subgroup of $GL(n,Z)$, where $n$ is the number of vertices of the graph $Γ$. In the last section of the paper we give a description of the decomposition of the group of automorphisms $St^{conj}(L(G))$ as a semidirect product of the group of conjugating automorphisms $Conj(G)$ and $St(L(G))$. This result is closely related to Theorem 1.4 of …
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.
We consider groups of automorphisms of locally finite trees, and give conditions on its subgroups that imply that they are not elementary amenable. This covers all known examples of groups that are not elementary amenable and act on the trees: groups of intermediate growths and Basilica group, by giving a more straightforward proof. Moreover, we deduce that all finitely generated branch groups are not elementary amenable, which was conjectured by Grigorchuk.
Given a finitely presented group $G$, we wish to explore the conditions under which automorphisms of quotients $G/N$ can be lifted to automorphisms of $G$. We discover that in the case where $N$ is a central subgroup of $G$, the question of lifting can be reduced to solving a certain matrix equation. We then use the techniques developed to show that $Inn(G)$ is not characteristic in $Aut(G)$, where $G$ is a metacyclic group of order $p^n$, $p\neq 2$.
We define several "standard" subgroups of the automorphism group Aut(G) of a partially commutative (right-angled Artin) group and use these standard subgroups to describe decompositions of Aut(G). If C is the commutation graph of G, we show how Aut(G) decomposes in terms of the connected components of C: obtaining a particularly clear decomposition theorem in the special case where C has no isolated vertices. If C has no vertices of a type we call dominated then we give a semi-direct decompostion of Aut(G) into a subgroup of locally conjugating automorphisms by the subgroup stabilising a certa…
Let FL_s(K) be the finitary linear group of degree s over an associative ring K with unity. We prove that the torsion subgroups of FL_s(K) are locally finite for certain classes of rings K. A description of some f.g. solvable subgroups of FL_s(K) are given.
A complete description of subgroups in the general linear group over a semilocal ring containing the group of diagonal matrices was obtained by Z.I.Borewicz and N.A.Vavilov. It is shown in the present paper that a similar description holds for the intermediate subgroups of the group of all automorphisms of the lattice of right submodules of a free finite rank R-module over a simple Artinian ring containing the group consisting of those automorphisms which leave invariant an appropriate sublattice.
This paper presents a description of the fourth dimension quotient, using the theory of limits of functors from the category of free presentations of a given group to the category of abelian groups. A functorial description of a quotient of the third Fox subgroup is given and, as a consequence, an identification (not involving an isolator) of the third Fox subgroup is obtained. It is shown that the limit over the category of free representations of the third Fox quotient represents the composite of two derived quadratic functors.
We prove that if F is a finitely generated free group and f:F -> F is an automorphism with polynomial growth of degree d, then there exists a characteristic subgroup S < F of finite index such that the induced automorphism of the abelianisation of S also grows polynomially of degree d. The proof is geometric in nature and makes use of improved relative train track representatives.
A subgroup $H$ of a topological abelian group $X$ is said to be characterized by a sequence $\mathbf v =(v_n)$ of characters of $X$ if $H=\{x\in X:v_n(x)\to 0\ \text{in}\ \mathbb T\}$. We study the basic properties of characterized subgroups in the general setting, extending results known in the compact case. For a better description, we isolate various types of characterized subgroups. Moreover, we introduce the relevant class of autochacaracterized groups (namely, the groups that are characterized subgroups of themselves by means of a sequence of non-null characters); in the case of locally …
In this paper we give a description of the generators of the prime level congruence subgroups of braid groups. Also, we give a new presentation of the symplectic group over a finite field, and we calculate symmetric quotients of the prime level congruence subgroups of braid groups. Finally, we find a finite generating set for the level-3 congruence subgroup of the braid group on 3 strands.
A multi-edge spinal group is a subgroup of the automorphism group of a regular p-adic rooted tree, generated by one rooted automorphism and a finite number of directed automorphisms sharing a common directing path. We prove that torsion multi-edge spinal groups do not have maximal subgroups of infinite index. This generalizes a result of Pervova for GGS-groups.
The classical result by Dyer--Scott about fixed subgroups of finite order automorphisms of $F_n$ being free factors of $F_n$ is no longer true in $Z^m\times F_n$. Within this more general context, we prove a relaxed version in the spirit of Bestvina--Handel Theorem: the rank of fixed subgroups of finite order automorphisms is uniformly bounded in terms of $m,n$. We also study periodic points of endomorphisms of $Z^m\times F_n$, and give an algorithm to compute auto-fixed closures of finitely generated subgroups of $Z^m\times F_n$. On the way, we prove the analog of Day's Theorem for real eleme…