Let $p$ be a prime and$S$ a finite $p$-group. A $p$-fusion system on $S$ is a category whose objects are the subgroups of $S$ and whose morphisms are certain injective group homomorphisms. Fusion... This description may be from another edition of this product.