Maximal implies central factor or self-centralizing

From Groupprops

This article gives the statement, and possibly proof, of a result according to which any Maximal subgroup (?) of a group satisfies exactly one of the following two subgroup properties: Central factor (?) and Self-centralizing subgroup (?)
View other such statements

Statement

A maximal subgroup of a group is either a central factor (i.e., its product with its centralizer equals the whole group) or a self-centralizing subgroup (i.e., it contains its centralizer).

Related facts

Stronger facts