Related papers: Maximal subgroups of ${}^2E_6(2)$ and its automorp…
For each finite classical group $G$, we classify the subgroups of $G$ which act transitively on a $G$-invariant set of subspaces of the natural module, where the subspaces are either totally isotropic or nondegenerate. Our proof uses the…
In this paper, we determine the reduced automorphism groups of hyperelliptic curves of a small genus in characteristic $2$, when they are of $2$-rank $0$. Such a curve is an Artin-Schreier curve defined in the form $y^2-y=f(x)$ for a…
For any code loop $L$, we prove that the half-automorphism group of $L$ is the product of the automorphism group of $L$ by an elementary abelian $2-$group consisting of all half-automorphisms that acts as the identity on a fixed basis.…
We prove that a uniquely 2-divisible group that admits an almost regular involutory automorphism is solvable.
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…
We construct the first examples of what we call fake ES-irreducible components; Definition 2.8. In our way to do so, we classify the automorphism groups of smooth plane sextics that only have automorphisms of order 3 or less; Theorems 2.1,…
Let $G$ be a finite group. A proper subgroup $H$ of $G$ is said to be large if the order of $H$ satisfies the bound $|H|^3 \ge |G|$. In this note we determine all the large maximal subgroups of finite simple groups, and we establish an…
We classify all finite $p$-groups $G$ for which |$Aut_{c}(G)$| attains its maximum value, where $Aut_{c}(G)$ denotes the group of all class preserving automorphisms of $G$ .
We describe the structure of virtually solvable normal subgroups in the automorphism group of a right-angled Artin group ${\rm Aut}(A_\Gamma)$. In particular, we prove that a finite normal subgroup in ${\rm Aut}(A_\Gamma)$ has at most order…
We analyze the group structures of two groups of order 1344 which are respectively non-split and split extensions of the elementary Abelian group of order 8 by its automorphism group PSL_2(7).They share the same character table. The group…
The group of automorphisms of the Kac Jordan superalgebra is described, and used to classify the maximal subalgebras.
We prove that the outer automorphism group $\mathrm{Out}(N)$ of an infinitely generated free nilpotent group $N$ of class two is complete.
In this paper, in continuation of arXiv:2311.18538, we compute the full automorphism groups of the 286-dimensional algebra for $M_{11}$, its subalgebras and other related algebras. This includes, in particular, the 101-dimensional algebra…
A countable graph is ultrahomogeneous if every isomorphism between finite induced subgraphs can be extended to an automorphism. Woodrow and Lachlan showed that there are essentially four types of such countably infinite graphs: the random…
A conjecture of Berkovich asserts that every non-simple finite p-group has a non-inner automorphism of order p. This conjecture is far from being proved despite the great effort devoted to it. In this paper we prove it for p-groups of…
A description of group automorphisms of all two-dimensional algebras, considered up to isomorphism, over any basic field is provided.
This is the third and final installment of an exposition of an ACL2 formalization of finite group theory. Part I covers groups and subgroups, cosets, normal subgroups, and quotient groups. Part II extends the theory in the developmnent of…
We prove that every finite group $G$ can be realized as the automorphism group of a poset with $4|G|$ points. We also provide bounds for the minimum number of points of a poset with cyclic automorphism group of a given prime power order.
A group is said to be stable if it is isomorphic to its automorphism group. We investigate how we can extend centerless groups to construct finite stable groups with nontrivial centers. To this end, we classify all finite stable groups…
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…