Inner holomorph of a group
Definition
Let be a group. The inner holomorph of can be defined in the following equivalent ways:
- It is the semidirect product where is the inner automorphism group with the usual action.
- It is the central product of two copies of with the center of both copies identified: . In other words, it is the quotient of by the subgroup .
It is a subgroup of the holomorph .
If is a group whose center is a direct factor, this group is isomorphic to the direct product of and .