Holomorph of a group

From Groupprops
Jump to: navigation, search


Symbol-free definition

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

Particular cases

Here are some examples for groups of small orders.

Note that for any complete group, i.e., a centerless group in which every automorphism is inner, the holomorph is isomorphic to the square of the group, i.e., its external direct product with itself. This is true even though the action given by the external semidirect product is nontrivial -- what's happening is that if we view the direct product as a semidirect product taking the diagonal subgroup as the complement, we get the holomorph. The smallest nontrivial example group is symmetric group:S3.

Group Order of group Automorphism group Order of automorphism group Holomorph Order of holomorph
trivial group 1 trivial group 1 trivial group 1
cyclic group:Z2 2 trivial group 1 cyclic group:Z2 2
cyclic group:Z3 3 cyclic group:Z2 2 symmetric group:S3 6
cyclic group:Z4 4 cyclic group:Z2 2 dihedral group:D8 8
Klein four-group 4 symmetric group:S3 6 symmetric group:S4 24
cyclic group:Z5 5 cyclic group:Z4 4 general affine group:GA(1,5) 20
symmetric group:S3 6 symmetric group:S3 6 direct product of S3 and S3 36
cyclic group:Z6 6 cyclic group:Z2 2 dihedral group:D12 12
cyclic group:Z7 7 cyclic group:Z6 6 general affine group:GA(1,7) 42
cyclic group:Z8 8 Klein four-group 4 holomorph of Z8 32