Exotic fusion system
There are multiple conventions on whether the term fusion system should refer to saturated fusion system or to a weaker notion. For our purposes, we will mostly be interested in saturated fusion systems, because these mimic/generalize situations where the -group is a -Sylow subgroup of some finite group. Unless otherwise specified, we are referring to saturated fusion systems when we talk about fusion systems.
A saturated fusion system on a group of prime power order is termed an exotic fusion system if there is no finite group containing as a Sylow subgroup for which equals the fusion system induced by on .
- Every saturated fusion system on a finite p-group is induced by a possibly infinite group containing it as a Sylow subgroup
- Every fusion system on a finite p-group is induced by a finite group containing it: Note that the finite group need not contain it as a Sylow subgroup.
- Exoticity index provides a quantitative measurement of the exoticity of a saturated fusion system. It is nonzero iff the fusion system is exotic.