Theory of groups, rings, fields, and related algebraic structures.