Subgroup structure of direct product of Z4 and Z2

From Groupprops
Jump to: navigation, search
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.

Subgroup properties satisfied by this subgroup

Subgroup properties not satisfied by this subgroup

The subgroup comprising the elements of order at most two (type (4))

Subgroup-defining functions yielding this subgroup

Subgroup properties satisfied by this subgroup

Subgroup properties not satisfied by this subgroup

The non-square subgroups of order two (type (3))

Subgroup properties satisfied by these subgroups

Subgroup properties not satisfied by these subgroups

The cyclic subgroups of order four (type (5))

Subgroup properties satisfied by these subgroups

Subgroup properties not satisfied by these subgroups