Composition series

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo Modules
Finite groups
gptkbp:definedIn A finite series of subgroups of a group
gptkbp:field gptkb:Group_theory
gptkb:Abstract_algebra
gptkbp:hasInvariant Isomorphism of groups
https://www.w3.org/2000/01/rdf-schema#label Composition series
gptkbp:introduced gptkb:Jordan–Hölder_theorem
gptkbp:property Each factor group is simple
Each subgroup is normal in the previous one
gptkbp:relatedTo gptkb:Jordan–Hölder_theorem
Normal series
Simple group
Subnormal series
gptkbp:used_in Classification of finite groups
gptkbp:bfsParent gptkb:group_of_people
gptkbp:bfsLayer 4