Functional subgroups

the set of elements that commute with every element of a group

smallest normal subgroup by which the quotient is commutative

intersection of all maximal proper subgroups

concept in module theory