Center of dihedral group:D8: Difference between revisions

Latest revision as of 18:39, 8 November 2023

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 : = ⟨ a, x ∣ a^{4} = x^{2} = e, x a x = a^{- 1} ⟩$ .

It has multiplication table:

The row element is multiplied on the left and the column element is multiplied on the right.

Element	$e$	$a$	$a^{2}$	$a^{3}$	$x$	$a x$	$a^{2} x$	$a^{3} x$
$e$	$e$	$a$	$a^{2}$	$a^{3}$	$x$	$a x$	$a^{2} x$	$a^{3} x$
$a$	$a$	$a^{2}$	$a^{3}$	$e$	$a x$	$a^{2} x$	$a^{3} x$	$x$
$a^{2}$	$a^{2}$	$a^{3}$	$e$	$a$	$a^{2} x$	$a^{3} x$	$x$	$a x$
$a^{3}$	$a^{3}$	$e$	$a$	$a^{2}$	$a^{3} x$	$x$	$a x$	$a^{2} x$
$x$	$x$	$a^{3} x$	$a^{2} x$	$a x$	$e$	$a^{3}$	$a^{2}$	$a$
$a x$	$a x$	$x$	$a^{3} x$	$a^{2} x$	$a$	$e$	$a^{3}$	$a^{2}$
$a^{2} x$	$a^{2} x$	$a x$	$x$	$a^{3} x$	$a^{2}$	$a$	$e$	$a^{3}$
$a^{3} x$	$a^{3} x$	$a^{2} x$	$a x$	$x$	$a^{3}$	$a^{2}$	$a$	$e$

and the center is the cyclic subgroup:

$H : = {a^{2}, e} = ⟨ a^{2} ⟩$ .

It has multiplication table:

Element/element	$e$	$a^{2}$
$e$	$e$	$a^{2}$
$a^{2}$	$a^{2}$	$e$

Cosets

The subgroup has the following four cosets:

${e, a^{2}}, {x, a^{2} x}, {a, a^{3}}, {a x, a^{3} x}$

The quotient group is isomorphic to Klein four-group, and the multiplication table is as follows:

Element/element	${e, a^{2}}$	${a, a^{3}}$	${x, a^{2} x}$	${a x, a^{3} x}$
${e, a^{2}}$	${e, a^{2}}$	${a, a^{3}}$	${x, a^{2} x}$	${a x, a^{3} x}$
${a, a^{3}}$	${a, a^{3}}$	${e, a^{2}}$	${a x, a^{3} x}$	${x, a^{2} x}$
${x, a^{2} x}$	${x, a^{2} x}$	${a x, a^{3} x}$	${e, a^{2}}$	${a, a^{3}}$
${a x, a^{3} x}$	${a x, a^{3} x}$	${x, a^{2} x}$	${a, a^{3}}$	${e, a^{2}}$

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

Arithmetic functions

Function	Value	Explanation
order of whole group	8
order of subgroup	2
index of subgroup	4
size of conjugacy class of subgroup (=index of normalizer)	1	center is normal, so the conjugacy class has size 1
number of conjugacy classes in automorphism class of subgroup	1	center is characteristic
size of automorphism class of subgroup	1	center is characteristic

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	Corresponding quotient-defining function	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.	inner automorphism group	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.	abelianization	`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 $Ω_{1} (Z (G))$ . See socle equals Omega-1 of center for nilpotent p-group.		`H = Socle(G);` using Socle
Frattini subgroup	intersection of all the maximal subgroups	$H$ is the intersection of $⟨ a ⟩, ⟨ a^{2}, x ⟩, ⟨ a^{2}, a x ⟩$ .	Frattini quotient	`H = FrattiniSubgroup(G);` using FrattiniSubgroup
Jacobson radical	intersection of all the maximal normal subgroups	For a group of prime power order, this is same as the Frattini subgroup, because nilpotent implies every maximal subgroup is normal.
Baer norm	intersection of normalizers of all subgroups	Normalizer of $⟨ x ⟩$ and of $⟨ a^{2} x ⟩$ is $⟨ a^{2}, x ⟩$ . Normalizer of $⟨ a x ⟩$ and of $⟨ a^{3} x ⟩$ is $⟨ a^{2}, a x ⟩$ . All other normalizers are the whole group. Intersection of the two proper normalizers is $⟨ a^{2} ⟩ = {e, a^{2}}$ .
first agemo subgroup	subgroup generated by all $p^{t h}$ powers, where $p$ is the underlying prime (in this case 2)	$℧^{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$ .
D*-subgroup	abelian and any element acting quadratically on it acts linearly on it (roughly speaking)	In a group of nilpotency class two, this subgroup coincides with the center

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
marginal subgroup		Yes	center is marginal
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: $⟨ x ⟩$ 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

Cohomology interpretation

We can think of $G$ as an extension with abelian normal subgroup $H$ and quotient group $G / H$ . Since $H$ is in fact the center, the action of the quotient group on the normal subgroup is the trivial group action. We can thus study $G$ as an extension group arising from a cohomology class for the trivial group action of $G / H$ (which is a Klein four-group) on $H$ (which is cyclic group:Z2).

For more, see second cohomology group for trivial group action of V4 on Z2.

GAP implementation

The group and subgroup pair can be defined using GAP's DihedralGroup and Center functions as follows:

G := DihedralGroup(8); H := Center(G);

The GAP display looks as follows:

gap> G := DihedralGroup(8); H := Center(G);
<pc group of size 8 with 3 generators>
Group([ f3 ])

@@ Line 4: / Line 4: @@
 quotient group = Klein four-group}}
-This article discuss the [[dihedral group:D|diheral group of order eight]] and its center, which is a [[cyclic group:Z2|cyclic group of order two]].
+This article discuss the [[dihedral group:D8|dihedral group of order eight]] and its [[center]], which is a [[cyclic group:Z2|cyclic group of order two]].
 The dihedral group of order eight is defined as:
@@ Line 10: / Line 10: @@
 <math>G := \langle a,x \mid a^4 = x^2 = e, xax = a^{-1} \rangle</math>.
-and the center is the cyclic subgroup <math>C := \{ a^2, e \} = \langle a^2 \rangle</math>.
+It has multiplication table:
-==Subgroup-defining functions yielding this subgroup===
+{{#lst:element structure of dihedral group:D8|multiplication table}}
-* [[Center]]: The center of <math>G</math> is <math>C</math>. To see that every element of <math>Z</math> is in the center, note that <math>a^2</math> commutes with both <math>a</math> and <math>x</math>. To see that no other element is in the center, note that <math>a</math> and <math>x</math> do not commute.
+and the center is the cyclic subgroup:
-* [[Commutator subgroup]]: <math>C</math> is the commutator subgroup. The quotient (called the [[abelianization]]) is <math>G/Z</math>, which is isomorphic to [[Klein four-group]].
-* [[Socle]] and [[monolith]]: In fact, this is the unique [[minimal normal subgroup]].
-* [[Frattini subgroup]]: <math>C</math> is the intersection of the three maximal subgroups: <math>\langle a \rangle, \langle a^2, x \rangle, \langle a^2, ax \rangle</math>.
-* [[agemo subgroups of group of prime power order|first agemo subgroup]]: <math>\mho^1(G) = C</math>. In other words, it is the subgroup generated by the squares.
-==Characteristicity and related properties satisfied==
+<math>H := \{ a^2, e \} = \langle a^2 \rangle</math>.
-{| class="wikitable" border="1"
+It has multiplication table:
-! Subgroup property !! Meaning of subgroup property !! Reason it is satisfied
+{| class="sortable" border="1"
+! Element/element !! <math>e</math> !! <math>a^2</math>
 |-
-| [[satisfies property::normal subgroup]] || invariant under inner automorphisms || [[center is normal]]
+| <math>e</math> || <math>e</math> || <math>a^2</math>
 |-
-| [[satisfies property::characteristic subgroup]] || invariant under all automorphisms || [[center is characteristic]], [[commutator subgroup is characteristic]]
+| <math>a^2</math> || <math>a^2</math> || <math>e</math>
+|}
+[[File:D8latticeofsubgroups.png|thumb|700px|right]]
+==Cosets==
+The subgroup has the following four cosets:
+<math>\! \{ e, a^2 \}, \qquad \{ x, a^2x \}, \qquad \{ a, a^3 \}, \qquad \{ ax, a^3x \}</math>
+The [[quotient group]] is isomorphic to [[Klein four-group]], and the multiplication table is as follows:
+{| class="sortable" border="1"
+! Element/element !! <math>\{ e, a^2 \}</math> !! <math>\{ a, a^3 \}</math> !! <math>\{ x, a^2x \}</math> !! <math>\{ ax, a^3x \}</math>
+|-
+| <math>\{ e, a^2 \}</math> || <math>\{ e, a^2 \}</math> || <math>\{ a, a^3 \}</math> || <math>\{ x, a^2x \}</math> || <math>\{ ax, a^3x \}</math>
+|-
+| <math>\{ a, a^3 \}</math> || <math>\{ a, a^3 \}</math> ||  <math>\{ e, a^2 \}</math> || <math>\{ ax, a^3x \}</math> || <math>\{ x, a^2x \}</math>
+|-
+| <math>\{ x, a^2x \}</math> || <math>\{ x,a^2x \}</math> || <math>\{ ax, a^3x \}</math> || <math>\{ e, a^2 \}</math> || <math>\{ a, a^3 \}</math>
+|-
+| <math>\{ ax, a^3x \}</math> || <math>\{ax, a^3x \}</math> || <math>\{ x, a^2x \}</math> || <math>\{ a, a^3 \}</math> || <math>\{ e, a^2 \}</math>
+|}
+==Complements==
+The subgroup <math>H</math> has no [[permutable complements|permutable complement]] and also has no [[lattice complements|lattice complement]].
+===Properties related to complementation===
+{| class="sortable" border="1"
+! Property !! Meaning !! Satisfied? !! Explanation
 |-
-| [[satisfies property::fully invariant subgroup]] ||invariant under all endomorphisms || [[commutator subgroup is fully invariant]], [[agemo subgroups are fully invariant]]
+| [[dissatisfies property::complemented normal subgroup]] || normal subgroup with a complement. || No || [[nilpotent and non-abelian implies center is not complemented]]
 |-
-| [[satisfies property::verbal subgroup]] || generated by set of words || [[commutator subgroup is verbal]], [[agemo subgroups are verbal]]
+| [[dissatisfies property::permutably complemented subgroup]] || subgroup with a permutable complement. || No || [[nilpotent and non-abelian implies center is not complemented]]
 |-
-| [[satisfies property::normal-isomorph-free subgroup]] || no other isomorphic normal subgroup ||
+| [[dissatisfies property::lattice-complemented subgroup]] || subgroup with a lattice complement. || No || [[nilpotent and non-abelian implies center is not complemented]]
 |}
-===Characteristicity and related properties not satisfied==
+==Arithmetic functions==
-{| class="wikitable" border="1"
+{| class="sortable" border="1"
-! Subgroup property !! Meaning of subgroup property !! Reason it is not satisfied
+! Function !! Value !! Explanation
+|-
+| [[order of a group|order]] of whole group || 8 ||
 |-
-| [[dissatisfies property::isomorph-free subgroup]] || No other isomorphic subgroups || There are other subgroups of order two.
+| [[order of a group|order]] of subgroup || 2 ||
 |-
-| [[dissatisfies property::homomorph-containing subgroup]] || contains all homomorphic images || There are other subgroups of order two.
+| [[index of a subgroup|index]] of subgroup || [[arithmetic function value::index of a subgroup;4|4]] ||
+|-
+| size of conjugacy class of subgroup (=index of normalizer) || [[arithmetic function value::size of conjugacy class of subgroup;1|1]] || [[center is normal]], so the conjugacy class has size 1
+|-
+| number of conjugacy classes in automorphism class of subgroup || [[arithmetic function value::number of conjugacy classes in automorphism class of subgroup;1|1]] || [[center is characteristic]]
+|-
+| size of automorphism class of subgroup || [[arithmetic function value::size of automorphism class of subgroup;1|1]] || [[center is characteristic]]
 |}
-===Centrality and related properties satisfied===
+==Effect of subgroup operators==
-{| class="wikitable" border="1"
+{| class="sortable" border="1"
-! Subgroup property !! Meaning of subgroup property !! Reason it is satisfied
+! Function !! Value as subgroup (descriptive) !! Value as subgroup (link) !! Value as group
 |-
-| [[satisfies property::central subgroup]] || contained in the [[center]] || In fact, it is equal to the center.
+| [[normalizer]] || the whole group || -- || [[dihedral group:D8]]
 |-
-| [[satisfies property::central factor]] || || (because it is central).
+| [[centralizer]] || the whole group || current page || [[dihedral group:D8]]
 |-
-| [[satisfies property::transitively normal subgroup]] || || (because it is a central factor).
+| [[normal core]] || the subgroup itself || current page || [[cyclic group:Z2]]
 |-
-| [[satisfies property::SCAB-subgroup]] || ||
+| [[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 function]]s on the whole group. Some of these are given below.
+{| class="sortable" border="1"
+! [[Subgroup-defining function]] !! Meaning in general !! Why it takes this value !! Corresponding [[quotient-defining function]] !! GAP verification (set <tt>G := DihedralGroup(8); H := Center(G);</tt>) -- see more at [[#GAP implementation]]
+|-
+| [[arises as subgroup-defining function::center]] || set of elements that commute with every element || To see that every element of <math>H</math> is in the center, note that <math>a^2</math> commutes with both <math>a</math> and <math>x</math>. To see that no other element is in the center, note that <math>a</math> and <math>x</math> do not commute. || [[inner automorphism group]] || Definitional
+|-
+| [[arises as subgroup-defining function::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 <math>G/H</math>, which is isomorphic to [[Klein four-group]]. No smaller subgroup works, because the quotient by the trivial subgroup is isomorphic to <math>G</math>, which is non-abelian. || [[abelianization]] || {{GAP verify sdf|DerivedSubgroup}}
+|-
+| [[arises as subgroup-defining function::socle]] || subgroup generated by all the [[minimal normal subgroup]]s || It is the unique minimal normal subgroup (hence is also a [[monolith]]). In general, for a finite <math>p</math>-group, the socle is <math>\Omega_1(Z(G))</math>. See [[socle equals Omega-1 of center for nilpotent p-group]]. || ||{{GAP verify sdf|Socle}}
+|-
+| [[arises as subgroup-defining function::Frattini subgroup]] || intersection of all the [[maximal subgroup]]s || <math>H</math> is the intersection of <math>\langle a \rangle, \langle a^2, x \rangle, \langle a^2, ax \rangle</math>. || [[Frattini quotient]] || {{GAP verify sdf|FrattiniSubgroup}}
+|-
+| [[arises as subgroup-defining function::Jacobson radical]] || intersection of all the [[maximal normal subgroup]]s || For a [[group of prime power order]], this is same as the Frattini subgroup, because [[nilpotent implies every maximal subgroup is normal]]. || ||
+|-
+| [[arises as subgroup-defining function::Baer norm]] || intersection of [[normalizer]]s of all subgroups || Normalizer of <math>\langle x \rangle</math> and of <math>\langle a^2x \rangle</math> is <math>\langle a^2,x \rangle</math>. Normalizer of <math>\langle ax \rangle</math> and of <math>\langle a^3x \rangle</math> is <math>\langle a^2, ax \rangle</math>. All other normalizers are the whole group. Intersection of the two proper normalizers is <math>\langle a^2 \rangle = \{ e, a^2\}</math>. || ||
+|-
+| [[agemo subgroups of group of prime power order|first agemo subgroup]] || subgroup generated by all <math>p^{th}</math> powers, where <math>p</math> is the underlying prime (in this case 2) || <math>\mho^1(G) = H</math>. In other words, it is the subgroup generated by the squares. In this case, it is ''precisely' the set of squares. || ||<tt>H = Agemo(G,2,1);</tt> using [[GAP:Agemo|Agemo]]
+|-
+| [[arises as subgroup-defining function::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 <math>H</math>. || ||
+|-
+| [[arises as subgroup-defining function::D*-subgroup]] || abelian and any element acting quadratically on it acts linearly on it (roughly speaking) || In a [[group of nilpotency class two]], this subgroup coincides with the center ||
+|}
+==Subgroup properties==
+===Invariance under automorphisms and endomorphisms===
+{| class="sortable" border="1"
+! Property !! Meaning !! Satisfied? !! Explanation !! GAP verification (set <tt>G := DihedralGroup(8); H := Center(G);</tt>) -- see [[#GAP implementation]]
+|-
+| [[satisfies property::normal subgroup]] || invariant under [[inner automorphism]]s || Yes || [[center is normal]] || {{GAP verify subgroup property|IsNormal}}
+|-
+| [[satisfies property::characteristic subgroup]] || invariant under all [[automorphism]]s || Yes || [[center is characteristic]], [[derived subgroup is characteristic]] || {{GAP verify subgroup property|IsCharacteristicSubgroup}}
+|-
+| [[satisfies property::fully invariant subgroup]] ||invariant under all [[endomorphism]]s || Yes || [[derived subgroup is fully invariant]], [[agemo subgroups are fully invariant]] || {{GAP verify subgroup property|IsFullinvariant}}
+|-
+| [[satisfies property::verbal subgroup]] || generated by set of words || Yes || [[derived subgroup is verbal]], [[agemo subgroups are verbal]] ||
+|-
+| [[satisfies property::marginal subgroup]] || || Yes || [[center is marginal]] ||
+|-
+| [[satisfies property::normal-isomorph-free subgroup]] || no other isomorphic normal subgroup || Yes ||  ||
+|-
+| [[dissatisfies property::isomorph-free subgroup]], [[dissatisfies property::isomorph-containing subgroup]] || No other isomorphic subgroups || No ||There are other subgroups of order two. ||
+|-
+| [[dissatisfies property::isomorph-normal subgroup]] || Every isomorphic subgroup is normal || No || There are other subgroups of order two that are not normal: <math>\langle x \rangle</math> etc. ||
+|-
+| [[dissatisfies property::homomorph-containing subgroup]] || contains all homomorphic images || No ||There are other subgroups of order two. ||
+|-
+| [[satisfies property::1-endomorphism-invariant subgroup]] || invariant under all [[1-endomorphism]]s of the group || Yes || It is precisely the set of squares, which must therefore go to squares under 1-endomorphisms ||
+|-
+| [[satisfies property::1-automorphism-invariant subgroup]] || invariant under all [[1-automorphism]]s of the group || Yes || Follows from being 1-endomorphism-invariant. ||
+|-
+| [[satisfies property::quasiautomorphism-invariant subgroup]] || invariant under all [[quasiautomorphism]]s || Yes || Follows from being 1-automorphism-invariant ||
+|}
+===Centrality and related properties===
+{| class="sortable" border="1"
+! Property !! Meaning !! Satisfied? !! Explanation
+|-
+| [[satisfies property::central subgroup]] || contained in the [[center]] || Yes || In fact, it is equal to the center.
+|-
+| [[satisfies property::central factor]] || || Yes || (because it is central).
+|-
+| [[satisfies property::transitively normal subgroup]] || || Yes || (because it is a central factor).
+|-
+| [[satisfies property::SCAB-subgroup]] || || Yes ||
+|}
+==Cohomology interpretation==
+We can think of <math>G</math> as an extension with [[abelian normal subgroup]] <math>H</math> and quotient group <math>G/H</math>. Since <math>H</math> is in fact the [[center]], the [[quotient group acts on abelian normal subgroup|action of the quotient group on the normal subgroup]] is the trivial group action. We can thus study <math>G</math> as an extension group arising from a cohomology class for the trivial group action of <math>G/H</math> (which is a [[Klein four-group]]) on <math>H</math> (which is [[cyclic group:Z2]]).
+For more, see [[second cohomology group for trivial group action of V4 on Z2]].
+==GAP implementation==
+The group and subgroup pair can be defined using GAP's [[GAP:DihedralGroup|DihedralGroup]] and [[GAP:Center|Center]] functions as follows:
+<tt>G := DihedralGroup(8); H := Center(G);</tt>
+The GAP display looks as follows:
+<pre>gap> G := DihedralGroup(8); H := Center(G);
+<pc group of size 8 with 3 generators>
+Group([ f3 ])</pre>