# 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 is a group of prime power order and is a category on . A subgroup of is termed **fully normalized** by if, for any such that and are isomorphic via , .

The definition is typically used when is a fusion system on .