Identify subgroups and prove the subgroup tests. Build generated subgroups from elements and subsets, including examples inside cyclic, permutation, matrix, and symmetry groups.
