Subgroup structure of direct product of Z4 and Z2

This article gives specific information, namely, subgroup structure, about a particular group, namely: direct product of Z4 and Z2.
View subgroup structure of particular groups | View other specific information about direct product of Z4 and Z2

The direct product of Z4 and Z2 is an abelian group of order eight obtained as the external direct product of cyclic group:Z4 and cyclic group:Z2.

For simplicity, we denote the elements of this group as ordered pairs where the first entry is an integer taken modulo 4 and the second entry is an integer taken modulo 2, with coordinate-wise addition. The group thus has the following eight elements:

$\!\{(0,0),(1,0),(2,0),(3,0),(0,1),(1,1),(2,1),(3,1)\}$

Tables for quick information

Table classifying subgroups up to automorphisms

Automorphism class of subgroups	List of subgroups	Isomorphism class	Order of subgroups	Index of subgroups	Number of conjugacy classes (=1 iff automorph-conjugate subgroup)	Size of each conjugacy class (=1 iff normal subgroup)	Total number of subgroups (=1 iff characteristic subgroup)	Isomorphism class of quotient
trivial subgroup	$\{(0,0)\}$	trivial group	1	8	1	1	1	direct product of Z4 and Z2
first agemo subgroup of direct product of Z4 and Z2	$\{(0,0),(2,0)\}$	cyclic group:Z2	2	4	1	1	1	Klein four-group
non-characteristic order two subgroups of direct product of Z4 and Z2	$\{(0,0),(0,1)\},\{(0,0),(2,1)\}$	cyclic group:Z2	2	4	2	1	2	cyclic group:Z4
first omega subgroup of direct product of Z4 and Z2	$\{(0,0),(2,0),(0,1),(2,1)\}$	Klein four-group	4	2	1	1	1	cyclic group:Z2
Z4 in direct product of Z4 and Z2	$\{(0,0),(1,0),(2,0),(3,0)\}$ , $(0,0),(1,1),(2,0),(3,1)\}$	cyclic group:Z4	4	2	2	1	2	cyclic group:Z2
whole group	all elements	direct product of Z4 and Z2	8	1	1	1	1	trivial group

Table classifying isomorphism types of subgroups

Group name	GAP ID	Occurrences as subgroup	Conjugacy classes of occurrence as subgroup	Automorphism classes of occurrence as subgroup	Occurrences as normal subgroup	Occurrences as characteristic subgroup
Trivial group	$(1,1)$	1	1	1	1	1
Cyclic group:Z2	$(2,1)$	3	3	2	3	1
Cyclic group:Z4	$(4,1)$	2	2	1	2	0
Klein four-group	$(4,2)$	1	1	1	1	1
Direct product of Z4 and Z2	$(8,2)$	1	1	1	1	1
Total	--	8	8	6	8	4

Table listing number of subgroups by order

Group order	Occurrences as subgroup	Conjugacy classes of occurrence as subgroup	Automorphism classes of occurrence as subgroup	Occurrences as normal subgroup	Occurrences as characteristic subgroup
$1$	1	1	1	1	1
$2$	3	3	2	3	1
$4$	3	3	2	3	1
$8$	1	1	1	1	1
Total	8	8	6	8	4

The subgroup comprising the squares (type (2))

Subgroup-defining functions yielding this subgroup

Frattini subgroup: The Frattini subgroup of a group of prime power order is the smallest normal subgroup for which the quotient is elementary abelian. For an abelian group of prime power order, the Frattini subgroup is the group comprising the $p^{th}$ powers.
first agemo subgroup: This is the group generated by the $p^{th}$ powers, in this case the squares. The first agemo subgroup equals the Frattini subgroup for all abelian $p$ -groups.