Self-centralizing and minimal normal implies monolith

From Groupprops
Jump to: navigation, search


Any Minimal normal subgroup (?) of a group that is self-centralizing, is a Monolith (?): it is the unique minimal normal subgroup, and is contained in every minimal normal subgroup.

Related facts


Facts used

  1. Self-centralizing and normal implies normality-large
  2. Normality-large and minimal normal implies monolith


The proof follows directly by combining facts (1) and (2).