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 $H:=\{a^{2},e\}=\langle a^{2}\rangle$.

Cosets

The subgroup has the following four cosets:

$\!\{e,a^{2}\},\qquad \{x,a^{2}x\},\qquad \{a,a^{3}\},\qquad \{ax,a^{3}x\}$

Complements

The subgroup $H$ has no permutable complement and also has no lattice complement.

Properties related to complementation

Property	Meaning	Satisfied?	Explanation
complemented normal subgroup	normal subgroup with a complement.	No	nilpotent and non-abelian implies center is not complemented
permutably complemented subgroup	subgroup with a permutable complement.	No	nilpotent and non-abelian implies center is not complemented
lattice-complemented subgroup	subgroup with a lattice complement.	No	nilpotent and non-abelian implies center is not complemented

Effect of subgroup operators

Function	Value as subgroup (descriptive)	Value as subgroup (link)	Value as group
normalizer	the whole group	--	dihedral group:D8
centralizer	the whole group	current page	dihedral group:D8
normal core	the subgroup itself	current page	cyclic group:Z2
normal closure	the subgroup itself	current page	cyclic group:Z2
characteristic core	the subgroup itself	current page	cyclic group:Z2
characteristic closure	the subgroup itself	current page	cyclic group:Z2
commutator with whole group	the trivial subgroup	current page	trivial group

Subgroup-defining functions

The subgroup is a characteristic subgroup of the whole group and arises as a result of many subgroup-defining functions on the whole group. Some of these are given below.

Subgroup-defining function	Meaning in general	Why it takes this value	GAP verification (set G := DihedralGroup(8); H := Center(G);) -- see more at #GAP implementation
center	set of elements that commute with every element	To see that every element of $H$ 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.	Definitional
derived subgroup	subgroup generated by commutators of all pairs of elements in the group, smallest subgroup with abelian quotient	The quotient (called the abelianization) is $G/H$, which is isomorphic to Klein four-group. No smaller subgroup works, because the quotient by the trivial subgroup is isomorphic to $G$, which is non-abelian.	H = DerivedSubgroup(G); using DerivedSubgroup
socle	subgroup generated by all the minimal normal subgroups	It is the unique minimal normal subgroup (hence is also a monolith). In general, for a finite $p$-group, the socle is $\mho ^{1}(Z(G))$.	H = Socle(G); using Socle
Frattini subgroup	intersection of all the maximal subgroups	$H$ is the intersection of $\langle a\rangle ,\langle a^{2},x\rangle ,\langle a^{2},ax\rangle$.	H = FrattiniSubgroup(G); using FrattiniSubgroup
first agemo subgroup	subgroup generated by all $p^{th}$ powers, where $p$ is the underlying prime (in this case 2)	$\mho ^{1}(G)=H$. In other words, it is the subgroup generated by the squares. In this case, it is precisely' the set of squares.	H = Agemo(G,2,1); using Agemo
ZJ-subgroup	center of the join of abelian subgroups of maximum order	The join of abelian subgroups of maximum order (the Thompson subgroup) is the whole group dihedral group:D8, so its center is $H$.

Subgroup properties

Invariance under automorphisms and endomorphisms

Property	Meaning	Satisfied?	Explanation	GAP verification (set G := DihedralGroup(8); H := Center(G);) -- see #GAP implementation
normal subgroup	invariant under inner automorphisms	Yes	center is normal	IsNormal(G,H); using IsNormal
characteristic subgroup	invariant under all automorphisms	Yes	center is characteristic, derived subgroup is characteristic	IsCharacteristicSubgroup(G,H); using IsCharacteristicSubgroup
fully invariant subgroup	invariant under all endomorphisms	Yes	derived subgroup is fully invariant, agemo subgroups are fully invariant	IsFullinvariant(G,H); using IsFullinvariant
verbal subgroup	generated by set of words	Yes	derived subgroup is verbal, agemo subgroups are verbal
normal-isomorph-free subgroup	no other isomorphic normal subgroup	Yes
isomorph-free subgroup, isomorph-containing subgroup	No other isomorphic subgroups	No	There are other subgroups of order two.
isomorph-normal subgroup	Every isomorphic subgroup is normal	No	There are other subgroups of order two that are not normal: $\langle x\rangle$ etc.
homomorph-containing subgroup	contains all homomorphic images	No	There are other subgroups of order two.
1-endomorphism-invariant subgroup	invariant under all 1-endomorphisms of the group	Yes	It is precisely the set of squares, which must therefore go to squares under 1-endomorphisms
1-automorphism-invariant subgroup	invariant under all 1-automorphisms of the group	Yes	Follows from being 1-endomorphism-invariant.
quasiautomorphism-invariant subgroup	invariant under all quasiautomorphisms	Yes	Follows from being 1-automorphism-invariant

Centrality and related properties

Property	Meaning	Satisfied?	Explanation
central subgroup	contained in the center	Yes	In fact, it is equal to the center.
central factor		Yes	(because it is central).
transitively normal subgroup		Yes	(because it is a central factor).
SCAB-subgroup		Yes