Centralizer of derived subgroup contains Baer norm
This article gives the statement, and possibly proof, of the subgroup obtained from one subgroup-defining function, namely Baer norm, always being contained in the subgroup obtained from another subgroup-defining function, namely centralizer of derived subgroup.
View other such results
Statement
For any group, the Baer norm (given as the intersection of the normalizers of all subgroups) is contained in the centralizer of derived subgroup.