Inner holomorph of a group

From Groupprops
Revision as of 01:53, 13 September 2009 by Vipul (talk | contribs)

Definition

Let G be a group. The inner holomorph of G can be defined in the following equivalent ways:

  1. It is the semidirect product GInn(G) where Inn(G) is the inner automorphism group with the usual action.
  2. It is the central product of two copies of G with the center Z(G) of both copies identified: G*Z(G)G. In other words, it is the quotient of G×G by the subgroup {(g,g1)gZ(G)}.

It is a subgroup of the holomorph GAut(G).

If G is a group whose center is a direct factor, this group is isomorphic to the direct product of G and Inn(G).