Related papers: Finite 2-groups of Class 2 with Specific Automorph…

A long-standing conjecture asserts that every finite non-abelian $p$-group has a non-inner automorphism of order $p$. In this paper, we settle the conjecture for a finite $p$-group ($p >2$) of nilpotency class $n$ with certain conditions.

Let $G$ be a finite group and $K$ a finite field of characteristic $2$. Denote by $t$ the $2$-rank of the commutator factor group $G/G'$ and by $s$ the number of self-dual simple $KG$-modules. Then the Witt group of equivariant quadratic…

We work with a finite relational vocabulary with at least one relation symbol with arity at least 2. Fix any integer $m > 1$. For almost all finite structures (labelled or unlabelled) such that at least $m$ elements are moved by some…

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…

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 show that the following problems are decidable in a rank 2 free group F_2: does a given finitely generated subgroup H contain primitive elements? and does H meet the orbit of a given word u under the action of G, the group of…

Suppose $C(G)$ denotes the set of all cyclic subgroups of a finite group $G$, and $\mathcal{O}_{2}(G)$ denotes the number of elements of order $2$ in $G$. In [Marius T., Finite groups with a certain number of cyclic subgroups. The American…

We prove that the isomorphism problem for finitely generated fully residually free groups is decidable. We also show that each finitely generated fully residually free group G has a decomposition that is invariant under automorphisms of G,…

An automorphism $\alpha$ of a group $G$ is normal if it fixes every normal subgroup of $G$ setwise. We give an algebraic description of normal automorphisms of relatively hyperbolic groups. In particular, we prove that for any relatively…

We consider the structure of finite $p$-groups $G$ having precisely three characteristic subgroups, namely $1$, $\Phi(G)$ and $G$. The structure of $G$ varies markedly depending on whether $G$ has exponent $p$ or $p^2$, and, in both cases,…

In this manuscript, for $q:=2^n$ with $n\geq2$, we study two primitive maximal subgroups of the alternating group ${\sf A}_{q-1}$. These subgroups are the full automorphism groups of $2$-designs which are constructed from algebraic curves…

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,…

Let $T$ be a locally finite tree all of whose vertices have valency at least $6$. We classify, up to isomorphism, the closed subgroups of $\mathrm{Aut}(T)$ acting $2$-transitively on the set of ends of $T$ and whose local action at each…

The $2$-adic ring $C^*$-algebra $\mathcal{Q}_2$ naturally contains a copy of the Cuntz algebra $\mathcal{O}_2$ and, a fortiori, also of its diagonal subalgebra $\mathcal{D}_2$ with Cantor spectrum. This paper is aimed at studying the group…

Let $G$ be a group. Two elements $x,y \in G$ are said to be in the same $z$-class if their centralizers in $G$ are conjugate within $G$. Consider $\mathbb F$ a perfect field of characteristic $\neq 2$, which has a non-trivial Galois…

We show that every automorphism of the group $\mathcal{G}_n:= \textrm{Aut}(\mathbb{A}^n)$ of polynomial automorphisms of complex affine $n$-space $\mathbb{A}^n=\mathbb{C}^n$ is inner up to field automorphisms when restricted to the subgroup…

Let $G$ be a finite $p$-group of nilpotency class 2. We find necessary and sufficient conditions on $G$ such that each central automorphism of $G$ fixes the center of $G$ element-wise.

Let $N$ be a normal subgroup of a finite group $G$. For a faithful $N$-set $\Delta$, applying the university embedding theorem one can construct a faithful $G$-set $\Omega$. In this short note, it is proved that if the $2$-closure of $N$ in…

We study finite capable $p$-groups $G$ of nilpotency class 2 such that the commutator subgroup $\gamma_2(G)$ of $G$ is cyclic and the center of $G$ is contained in the Frattini subgroup of $G$.

Let $G$ be a finite group. In a famous article, Quillen describes an $\mathrm{F}$-isomorphism between commutative $\mathbb{N}$-graded $\mathbb{F}_{2}$-algebras $$\mathrm{q}_{G}:\mathrm{H}^{*}(G;\mathbb{F}_{2})\to\mathrm{L}(G)\ ,$$ with…