Subgroup having a pronormalizer
This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof, invariant under subgroup equivalence. View a complete list of subgroup properties[SHOW MORE]
Definition
A subgroup of a group is termed a subgroup having a pronormalizer if has a pronormalizer in : a subgroup of containing such that is pronormal in , and if are such that is pronormal in , then .