Center of dihedral group:D8

This article is about a particular subgroup in a group, up to equivalence of subgroups (i.e., an isomorphism of groups that induces the corresponding isomorphism of subgroups). The subgroup is (up to isomorphism) cyclic group:Z2 and the group is (up to isomorphism) dihedral group:D8 (see subgroup structure of dihedral group:D8).
The subgroup is a normal subgroup and the quotient group is isomorphic to Klein four-group.
VIEW: Group-subgroup pairs with the same subgroup part | Group-subgroup pairs with the same group part| Group-subgroup pairs with the same quotient part | All pages on particular subgroups in groups

This article discuss the dihedral group of order eight and its center, which is a cyclic group of order two.

The dihedral group of order eight is defined as:

$G:=\langle a,x\mid a^{4}=x^{2}=e,xax=a^{-1}\rangle$.

and the center is the cyclic subgroup $C:=\{a^{2},e\}=\langle a^{2}\rangle$.

Subgroup-defining functions yielding this subgroup=

• Center: The center of $G$ is $C$. To see that every element of $Z$ is in the center, note that $a^{2}$ commutes with both $a$ and $x$. To see that no other element is in the center, note that $a$ and $x$ do not commute.
• Commutator subgroup: $C$ is the commutator subgroup. The quotient (called the abelianization) is $G/Z$, which is isomorphic to Klein four-group.
• Socle and monolith: In fact, this is the unique minimal normal subgroup.
• Frattini subgroup: $C$ is the intersection of the three maximal subgroups: $\langle a\rangle ,\langle a^{2},x\rangle ,\langle a^{2},ax\rangle$.
• first agemo subgroup: $\mho ^{1}(G)=C$. In other words, it is the subgroup generated by the squares.

Characteristicity and related properties satisfied

Subgroup property	Meaning of subgroup property	Reason it is satisfied
normal subgroup	invariant under inner automorphisms	center is normal
characteristic subgroup	invariant under all automorphisms	center is characteristic, commutator subgroup is characteristic
fully invariant subgroup	invariant under all endomorphisms	commutator subgroup is fully invariant, agemo subgroups are fully invariant
verbal subgroup	generated by set of words	commutator subgroup is verbal, agemo subgroups are verbal
normal-isomorph-free subgroup	no other isomorphic normal subgroup

Characteristicity and related properties not satisfied

Subgroup property	Meaning of subgroup property	Reason it is not satisfied
isomorph-free subgroup, isomorph-containing subgroup	No other isomorphic subgroups	There are other subgroups of order two.
isomorph-normal subgroup	Every isomorphic subgroup is normal	There are other subgroups of order tw that are not normal.
homomorph-containing subgroup	contains all homomorphic images	There are other subgroups of order two.

Centrality and related properties satisfied

Subgroup property	Meaning of subgroup property	Reason it is satisfied
central subgroup	contained in the center	In fact, it is equal to the center.
central factor		(because it is central).
transitively normal subgroup		(because it is a central factor).
SCAB-subgroup