Holomorph of a group

From Groupprops

Jump to: navigation, search

Definition

Symbol-free definition

The holomorph of a group is defined as its external semidirect product with its automorphism group.

Personal tools