Extension-closed group property
From Groupprops
This article defines a group metaproperty: a property that can be evaluated to true/false for any group property
View a complete list of group metaproperties
Definition
Suppose is a group property. We say that
is extension-closed if the following holds:
For any group and normal subgroup
of
such that both
and the quotient group
satisfy the property
,
also satisfies the property
.
Examples
Finitely generated group, Locally finite group, Noetherian group, Periodic group, Solvable group