Commit 2024-12-20 19:39 1a3f2a10
View on Github →feat(GroupTheory/Transfer): A cyclic Sylow subgroup for the smallest prime has a normal complement (#19587)
This PR proves that if G is a finite group with smallest prime factor p and cyclic Sylow p-subgroups, then G has a normal p-complement.