Subgroup fully normalized by a category
From Groupprops
This article defines a property that can be evaluated for a group of prime power order, equipped with a fusion system
View other such properties
Definition
Suppose P is a group of prime power order and 
is a category on P. A subgroup R of P is termed fully normalized by if, for any 
such that Q and R are isomorphic via , 
.
The definition is typically used when is a fusion system on P.
