Math 360, Fall 2021, Assignment 15

Carefully state the following theorems (you do not need to prove them):

1. Corollary (of Lagrange's Theorem) concerning groups of prime order.
2. Corollary (of Lagrange's Theorem) concerning $g^{\left\lvert G\right\rvert}$.

Solve the following problems:

1. Describe all subgroups of $S_3$, and draw the subgroup diagram. (Hint: apart from the trivial and improper subgroups, the only possible orders are $2$ and $3$. Both of these are prime numbers.)
2. Describe all subgroups of $D_5$, and draw the subgroup diagram. (Use the same technique as in the previous problem.)
3. Show that, by contrast, $D_4$ has non-trivial proper subgroups which are not cyclic; hence, the technique of the previous two problems would have missed some subgroups.

--------------------End of assignment--------------------