Holomorph of a group
Definition
Symbol-free definition
The holomorph of a group is defined as its external semidirect product with its automorphism group.
The holomorph of a group is defined as its external semidirect product with its automorphism group.