Related papers: On finite $p$-groups whose automorphisms are all c…

We study groups having the property that every non-cyclic subgroup contains its centralizer. The structure of nilpotent and supersolvable groups in this class is described. We also classify finite $p$-groups and finite simple groups with…

Let $G$ be a finite, non-abelian group of the form $G = A N$, where $A \leq G$ is abelian, and $N \trianglelefteq G$ is cyclic. We prove that the commuting graph $\Gamma(G)$ of $G$ is either a connected graph of diameter at most four, or…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

Building on earlier results for regular maps and for orientably regular chiral maps, we classify the non-abelian finite simple groups arising as automorphism groups of maps in each of the 14 Graver-Watkins classes of edge-transitive maps.

This paper investigates the finite generation of cluster automorphism groups. By applying the pseudo $\mathbb{N}$-grading introduced in our previous work, we establish a sufficient condition for a cluster automorphism group to be finitely…

We will show that every element of a finitely generated abelian group is automorphically equivalent what we will define to be a {\em representative element} in a {\em repeat-free subgroup}, and for finite abelian groups we can count the…

We call a finite group G ultrasolvable if it has a characteristic subgroup series whose factors are cyclic. It was shown by Durbin--McDonald that the automorphism group of an ultrasolvable group is supersolvable. The converse statement was…

W.H.~Mills has determined, for a finitely generated abelian group $G$, the regular subgroups $N \cong G$ of $S(G)$, the group of permutations on the set $G$, which have the same holomorph of $G$, that is, such that $N_{S(G)}(N) =…

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 $\gamma_{k-2}(C_{G}(a))$ is nilpotent of class at most $c$ for any $a\in A^{#}$, then…

Using Frobenius normal forms of matrices over finite fields as well as the Burnside Basis Theorem, we give a direct proof of Horo\v{s}evski\u{i}'s result that every automorphism $\alpha$ of a finite nilpotent group has a cycle whose length…

We describe the groups that have the same holomorph as a finite perfect group. Our results are complete for centerless groups. When the center is non-trivial, some questions remain open. The peculiarities of the general case are illustrated…

We study the automorphism group of the algebraic closure of a substructure A of a pseudo-finite field F, or more generally, of a bounded PAC field F. This paper answers some of the questions of [1], and in particular that any finite group…

Presentations for the holomorphs of abelian groups of the form $C_{p^n} \times 1^{m}$ for $p$=2 or an odd prime are given. These presentations extend the results given in Burnside's well-known text on finite groups on the holomorphs for the…

We extend the concepts of antimorphism and antiautomorphism of the additive group of integers modulo $n$, given by Gaitanas Konstantinos, to abelian groups. We give a lower bound for the number of antiautomorphisms of cyclic groups of odd…

For finite p-groups P of class 2 and exponent p the following are invariants of fully refined central decompositions of P: the number of members in the decomposition, the multiset of orders of the members, and the multiset of orders of…

We show that the outer automorphism group of a polycyclic-by-finite group is an arithmetic group. This result follows from a detailed structural analysis of the automorphism groups of such groups. We use an extended version of the theory of…

Let $\mathbb{G}$ be a Lie group with solvable connected component and finitely-generated component group and $\alpha\in H^2(\mathbb{G},\mathbb{S}^1)$ a cohomology class. We prove that if $(\mathbb{G},\alpha)$ is of type I then the same…

The full automorphism group of a certain elementary abelian $p$-cover of the Hermitian curve in characteristic $p>0$ is determined. It is remarkable that the order of Sylow $p$-groups of the automorphism group is close to Nakajima's bound…

We continue the analysis of the Modular Isomorphism Problem for $2$-generated $p$-groups with cyclic derived subgroup, $p>2$, started in [D. Garc\'ia-Lucas, \'A. del R\'io, and M. Stanojkovski. On group invariants determined by modular…

This work is a continuation of Automorphisms of $K$-groups I, P. Flavell, preprint. The main object of study is a finite $K$-group $G$ that admits an elementary abelian group $A$ acting coprimely. For certain group theoretic properties…