Def/Sylow subgroup

 =Metadata=