find the Sylow-p-subgroup of a permutation group
group in which the Sylow-p-subgroup is to be found
prime divisor of the order of pg
Important: The group package has been deprecated. Use the superseding command GroupTheory[SylowSubgroup] instead.
This function finds a maximal p-group sitting inside the permutation group pg. The given permutation group pg must have small order and degree. The result is returned as an unevaluated permgroup call.
The command with(group,Sylow) allows the use of the abbreviated form of this command.
G ≔ permgroup⁡5,1,2,1,2,3,4,5:
S ≔ Sylow⁡G,2
Download Help Document
What kind of issue would you like to report? (Optional)