If you find any mistakes, please make a comment! Thank you.

Use direct products to construct groups with some given properties

Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 5.1 Exercise 5.1.18


(1) Consider $\prod_{\mathbb{N}} \mathbb{Z}/(2)$; clearly this group is infinite, and moreover $$2(\prod x_i) = \prod 2x_i = 0$$ for all elements $\prod x_i$.

(2) Let $G$ be the restricted direct product of $G_i = \mathbb{Z}/(i)$. Note that $\prod x_i$ defined by $x_i = 1$ if $i = k$ and 0 otherwise is in $G$ and has order $k$, so that $G$ has elements of arbitrarily large order. However, if $\prod x_i \in G$ via the finite set $J$, then the integer $m = \prod_{j \in J} j$ exists and $m(\prod x_i) = 0$; thus every element of $G$ has finite order.

(3) Clearly $Z_2 \times \mathbb{Z}$ has this property.

(4) By Cayley’s theorem, we know that a finite group of order n is isomorphic to a subgroup of $S_n$. Moreover, $S_n$ is isomorphic to a subgroup of $S_\mathbb{N}$. Thus every finite group is isomorphic to a subgroup of $S_\mathbb{N}$.

(5) Let $G_i = G$ be a fixed group for each $i \in \mathbb{N}$, and define $$\theta : \prod_{\mathbb{N}} G_i \rightarrow (\prod_{\mathbb{N}} G_i) \times (\prod_{\mathbb{N}} G_i)$$ as follows: $((\theta(\prod g_i))_1)_k = g_{2k}$ and $((\theta(\prod g_i))_2)_k = g_{2k+1}$.

It is clear that $\theta$ is a homomorphism. Now if $\theta(\prod g_i) = 1$, then $g_k = 1$ for all $k \in \mathbb{N}$, so that in fact $\prod g_i = 1$; hence $\theta$ is injective. Finally, if $$(\prod g_i, \prod h_i) \in (\prod_{\mathbb{N}} G_i) \times (\prod_{\mathbb{N}} G_i),$$ then letting $k_i = g_{i/2}$ if $i$ is even and $k_i = h_{(i-1)/2}$ if $i$ is odd, we have $$\theta(\prod k_i) = (\prod g_i, \prod h_i).$$ Thus $\theta$ is surjective, hence an isomorphism.


This website is supposed to help you study Linear Algebras. Please only read these solutions after thinking about the problems carefully. Do not just copy these solutions.

Leave a Reply

Close Menu