Holomorph-characteristic group

From Groupprops