With the generators of the direct product of cyclic groups of orders four and two, the subgroups are the trivial group, the whole group, the three order-two groups , , , and the three order-four groups , , . These are exhaustive by Lagrange's theorem: a proper nontrivial subgroup has order two or four; an order-four subgroup either contains an element of order four and is one of the two cyclic examples, or is precisely the four-element set killed by squaring. The latter is a Klein four-group.
Articles by others on the same topic
There are currently no matching articles.