binary operations; groups, subgroups, finite groups, cyclic groups, symmetric groups, factor groups, normal subgroups; group homomorphism