## Find a subgroup of $\Bbb Z_4\oplus\Bbb Z_2$ not of the form $H\oplus K$ for some $H\le \Bbb Z_4, K\le \Bbb Z_2$.

This is Exercise 8.28 of Gallian’s “Contemporary Abstract Algebra”.

Answers that use only methods from the textbook prior to the exercise are preferred.

Here $$G_1\oplus G_2$$ is the internal direct product of $$G_1$$ by $$G_2$$.

Here $$G_1\le G_2$$ means $$G_1$$ is a subgroup or equal to the group $$G_2$$.

## The Question:

Find a subgroup of $$\Bbb Z_4\oplus\Bbb Z_2$$ not of the form $$H\oplus K$$ for some $$H\le \Bbb Z_4, K\le \Bbb Z_2$$.

Thoughts:

I must confess: I cheated here a little bit by looking up the subgroups of $$\Bbb Z_4\times \Bbb Z_2$$. But notice the difference in notation! I think in terms of just plain old direct products (because aren’t external and internal direct products equivalent? Yes! But this is not established in the textbook yet; indeed, the former is not even mentioned at this point).

It appears to me to be a trick question. Here are the subgroups of $$\Bbb Z_4\times \Bbb Z_2$$. Where is the subgroup of the desired form?

My guess is that there’s some technical aspect of internal direct products that is being emphasised here.