Also note that the Sylow theorems are, in some sense, a pretty low bar. Compare with the Feit-Thompson Theorem, which has a proof running 250 pages, and which builds on previously known results. I have a friend who’s a finite group theorist who said that in many cases he struggled to verify the truth of individual lines of the proof.
Also note that the Sylow theorems are, in some sense, a pretty low bar. Compare with the Feit-Thompson Theorem, which has a proof running 250 pages, and which builds on previously known results. I have a friend who’s a finite group theorist who said that in many cases he struggled to verify the truth of individual lines of the proof.