English

Mutually Normalizing Regular Permutation Groups and Zappa-Szep Extensions of the Holomorph

Group Theory 2021-02-26 v3

Abstract

For a group GG, embedded in its group of permutations B=Perm(G)B=Perm(G) via the left regular representation λ:GB\lambda:G\rightarrow B, the normalizer of λ(G)\lambda(G) in BB is Hol(G)\operatorname{Hol}(G), the holomorph of GG. The set H(G)\mathcal{H}(G) of those regular NHol(G)N\leq \operatorname{Hol}(G) such that NGN\cong G and NormB(N)=Hol(G)\operatorname{Norm}_B(N)=\operatorname{Hol}(G) is keyed to the structure of the so-called multiple holomorph of GG, N ⁣Hol(G)=NormB(Hol(G))N\!Hol(G)=\operatorname{Norm}_B(\operatorname{Hol}(G)), in that H(G)\mathcal{H}(G) is the set of conjugates of λ(G)\lambda(G) by N ⁣Hol(G)N\!Hol(G). We wish to generalize this by considering a certain set Q(G)\mathcal{Q}(G) consisting of regular subgroups MHol(G)M\leq \operatorname{Hol}(G), where MGM\cong G, that contains H(G)\mathcal{H}(G) with the property that its members mutually normalize each other. This set will generally give rise to a group Q ⁣Hol(G)Q\!\operatorname{Hol}(G) which we will call the quasi-holomorph of GG, where the orbit of λ(G)\lambda(G) under Q ⁣Hol(G)Q\!\operatorname{Hol}(G) is Q(G)\mathcal{Q}(G). The multiple holomorph is a group extension of Hol(G)\operatorname{Hol}(G) and the quasi-holomorph will contain N ⁣Hol(G)N\!Hol(G), but, when larger than N ⁣Hol(G)N\!Hol(G), is frequently a Zappa-Sz\'ep product with the holomorph.

Cite

@article{arxiv.2005.10989,
  title  = {Mutually Normalizing Regular Permutation Groups and Zappa-Szep Extensions of the Holomorph},
  author = {Timothy Kohl},
  journal= {arXiv preprint arXiv:2005.10989},
  year   = {2021}
}
R2 v1 2026-06-23T15:43:54.129Z