This abelian group has eight elements , with taken modulo four and modulo two. Its group operation adds these exponent pairs separately. The elements of order two are , and the other four nonidentity elements have order four. It is a direct product of groups rather than a cyclic group, since no element has order eight.
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 (0)

There are currently no matching articles.