Use the first, second, third, and correspondence isomorphism theorems to turn homomorphisms and quotients into precise structural information. Apply them to cyclic groups, products, permutation groups, and matrix groups.
