Definition:Refinement of Normal Series/Proper Refinement

From ProofWiki
Jump to navigation Jump to search

Definition

A proper refinement of a normal series is a refinement which is not equal to the original normal series.


That is, it contains extra (normal) subgroups which are not present in the original normal series.


Sources