Holomorph of Z8

This article is about a particular group, i.e., a group unique upto isomorphism. View specific information (such as linear representation theory, subgroup structure) about this group
View a complete list of particular groups (this is a very huge list!)[SHOW MORE]

VIEW FACTS ABOUT THIS GROUP: All factsGroup property satisfactionsSubgroup property satisfactionsGroup property dissatisfactionsSubgroup property satisfactions
VIEW DEFINITIONS USING THIS AS EXAMPLE: All terms |Group properties |Subgroup properties|
VIEW FACTS USING THIS AS EXAMPLE: All facts |Group property non-implications |Subgroup property non-implications |Group metaproperty dissatisfactionsSubgroup metaproperty dissatisfactions

This particular group is a finite group of order: 32

Definition

This group (which we shall call $G$ throughout) can be defined in either of these ways:

• It is the holomorph of the cyclic group on eight elements. In other words, it is the direct product of the cyclic group on eight elements, with its automorphism group.
• It is the holomorph of the ring $\mathbb{Z}/8\mathbb{Z}$.

Group properties

Solvability

This particular group is solvable

The group is solvable. In fact, it is metabelian, because the additive group is an Abelian normal subgroup (isomorphic to $\mathbb{Z}/8\mathbb{Z}$) and the quotient is Abelian, isomorphic to the Klein-four group.

The commutator subgroup of $G$ is not the whole of the additive group, though. It is only the even integers in the additive group.