holomorph of a groupIf G is a group, the holomorph of G is the groupG⋊θAut(G)under the identity map θ:Aut(G)→Aut(G).