Izable subgroup property
This article defines a subgroup metaproperty: a property that can be evaluated to true/false for any subgroup property
View a complete list of subgroup metaproperties
View subgroup properties satisfying this metaproperty| View subgroup properties dissatisfying this metaproperty
VIEW RELATED: subgroup metaproperty satisfactions| subgroup metaproperty dissatisfactions
Definition with symbols
A subgroup property is termed izable if for any subgroup of a group , there is a unique subgroup of such that all these conditions are satisfied:
- Let be a subgroup of containing . Then satisfies in if and only if is contained in .