Abstract:$\DeclareMathOperator{\Hol}{Hol}$$\DeclareMathOperator{\Aut}{Aut}$$\newcommand{\Gp}[0]{\mathcal{G}(p)}$$\newcommand{\Size}[1]{\left\lvert #1 \right\rvert}$Let $G$ be a group, and $S(G)$ be the group of permutations on the set $G$. The (abstract) holomorph of $G$ is the natural semidirect product $\Aut(G) G$. We will write $\Hol(G)$ for the normalizer of the image in $S(G)$ of the right regular representation of $G$, \begin{equation*} \Hol(G) = N_{S (G)}(\rho(G)) = \Aut(G) \rho(G) \cong \Aut(G) G, \end{equation*} and also refer to it as the holomorph of $G$. More generally, if $N$ is any regular subgroup of $S(G)$, then $N_{S(G)}(N)$ is isomorphic to the holomorph of $N$. G.A.~Miller has shown that the group \begin{equation*} T(G) = N_{S(G)}(\Hol(G))/\Hol(G) \end{equation*} acts regularly on the set of the regular subgroups $N$ of $S(G)$ which are isomorphic to $G$, and have the same holomorph as $G$, in the sense that $N_{S(G)}(N) = \Hol(G)$. If $G$ is non-abelian, inversion on $G$ yields an involution in $T(G)$. Other non-abelian regular subgroups $N$ of $S(G)$ having the same holomorph as $G$ yield (other) involutions in $T(G)$. In the cases studied in the literature, $T(G)$ turns out to be a finite $2$-group, which is often elementary abelian. In this paper we exhibit an example of a finite $p$-group $\Gp$ of class $2$, for $p > 2$ a prime, which is the smallest $p$-group such that $T(\Gp)$ is non-abelian, and not a $2$-group. Moreover, $T(\Gp)$ is not generated by involutions when $p > 3$. More generally, we develop some aspects of a theory of $T(G)$ for $G$ a finite $p$-group of class $2$, for $p > 2$. In particular, we show that for such a group $G$ there is an element of order $p-1$ in $T(G)$, and exhibit examples where $\Size{T(G)} = p - 1$, and others where $T(G)$ contains a large elementary abelian $p$-subgroup.

Finite simple groups have many classes of $p$-elements

$p$-elements in profinite groups

Test elements in pro-$p$ groups with applications in discrete groups

Element orders in extraspecial groups

The Multiple Holomorphs of Finite $p$-Groups of Class Two

The powerful class of groups

On $p$-groups with a maximal elementary abelian normal subgroup of rank $k$

Extension of Elementary $P$-Groups and Its Application in Classification of Groups of Prime Exponent

The automorphism group of finite $p$-groups associated to the Macdonald group

Elements of prime order in the upper central series of a group of prime-power order

Bounding p-Brauer characters in finite groups with two conjugacy classes of p-elements

A class of finite $p$-groups and the normalized unit groups of group algebras

On the structure of finite groups determined by the arithmetic and geometric means of element orders

Fixed point ratios, Sylow numbers and coverings of $p$-elements in finite groups

A new lower bound for the number of conjugacy classes

p-Nilpotent maximal subgroups in finite groups

Finite Autocapable Groups with the 2-Groups of Maximal Class

Rank type conditions on commutators in finite groups

On the commuting probability of $π$-elements in finite groups

Primitive elements in $p$-divisible groups

A new criterion for p-nilpotency and solvability of finite groups by coprime actions