A fusion system over a p-group S is a category whose objects form the set of all subgroups of S, whose morphisms are certain injective group homomorphisms, and which satisfies axioms first formulated... This description may be from another edition of this product.