Characteristically simple and NSCFN implies monolith

From Groupprops
Revision as of 18:53, 30 August 2008 by Vipul (talk | contribs) (New page: ==Statement== A NSCFN-subgroup of a group that is characteristically simple as a group, must be a monolith: it is a minimal normal subgroup...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Statement

A NSCFN-subgroup of a group that is characteristically simple as a group, must be a monolith: it is a minimal normal subgroup and is contained in every nontrivial normal subgroup.

Facts used

  1. Characteristically simple and normal fully normalized implies minimal normal
  2. Self-centralizing and minimal normal implies monolith

Proof

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