Fusion system induced by a finite group on its p-Sylow subgroup is functorial

From Groupprops
Revision as of 20:42, 1 August 2009 by Vipul (talk | contribs) (Created page with '==Statement== Suppose <math>p</math> is a prime number. Consider the map from the category of finite groups to the category of fusion systems that sends a finite group to th…')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Statement

Suppose p is a prime number. Consider the map from the category of finite groups to the category of fusion systems that sends a finite group to the fusion system induced on its p-Sylow subgroup. This map is functorial. In particular:

  • A homomorphism of groups induces a morphism of fusion systems.
  • The morphism of fusion systems induced by the identity morphism is the identity morphism.
  • The morphism of fusion systems induced by a composite of two homomorphisms is the composite of the morphisms induced by each of them.