Algebraic structures, quotient structures, substructures, product structures, groups, permutation groups, groups with operators, and the Jordan-Holder theorem.