Editing Sylow theorems (section)

=== Proofs ===
* {{Cite journal |last1=Casadio |first1=Giuseppina |last2=Zappa |first2=Guido |date=1990 |title=History of the Sylow theorem and its proofs |journal=<abbr Title="Bollettino di Storia delle Scienze Matematiche">Boll. Storia Sci. Mat.</abbr> |volume=10 |issue=1 |pages=29–75 |language=it |issn=0392-4432 |mr=1096350 |zbl=0721.01008
}}
* {{Cite journal |last=Gow |first=Rod |date=1994 |title=Sylow's proof of Sylow's theorem |journal=<abbr Title="Irish Mathematical Society Bulletin">Irish Math. Soc. Bull.</abbr> |volume=0033 |issue=33 |pages=55–63 |doi=10.33232/BIMS.0033.55.63 |issn=0791-5578 |mr=1313412 |zbl=0829.01011
|doi-access=free }}
* {{Cite journal |last1=Kammüller |first1=Florian |last2=Paulson |first2=Lawrence C. |date=1999 |title=A formal proof of Sylow's theorem. An experiment in abstract algebra with Isabelle HOL |journal=<abbr Title="Journal of Automated Reasoning">J. Automat. Reason.</abbr> |volume=23 |issue=3 |pages=235–264 |doi=10.1023/A:1006269330992 |issn=0168-7433 |mr=1721912 |zbl=0943.68149 |s2cid=1449341 |archive-date=2006-01-03 |url=http://www.cl.cam.ac.uk/users/lcp/papers/Kammueller/sylow.pdf |archive-url=https://web.archive.org/web/20060103223152/http://www.cl.cam.ac.uk/users/lcp/papers/Kammueller/sylow.pdf }}
* {{Cite journal |last=Meo |first=M. |date=2004 |title=The mathematical life of Cauchy's group theorem |journal=[[Historia Mathematica|Historia Math.]] |volume=31 |issue=2 |pages=196–221 |doi=10.1016/S0315-0860(03)00003-X |issn=0315-0860 |mr=2055642 |zbl=1065.01009 |doi-access=free 
}}
* {{Cite journal |last=Scharlau |first=Winfried |date=1988 |title=Die Entdeckung der Sylow-Sätze |journal=[[Historia Mathematica|Historia Math.]] |volume=15 |issue=1 |pages=40–52 |language=de |doi=10.1016/0315-0860(88)90048-1 |issn=0315-0860 |mr=931678 |zbl=0637.01006 |doi-access=free 
}}
* {{Cite journal |last=Waterhouse |first=William C. |author-link=William C. Waterhouse |date=1980 |title=The early proofs of Sylow's theorem |journal=<abbr Title="Archive for History of Exact Sciences">Arch. Hist. Exact Sci.</abbr> |volume=21 |issue=3 |pages=279–290 |doi=10.1007/BF00327877 |issn=0003-9519 |mr=575718 |zbl=0436.01006
|s2cid=123685226 }}
* {{Cite journal |last=Wielandt |first=Helmut |author-link=:de:Helmut Wielandt |date=1959 |title=Ein Beweis für die Existenz der Sylowgruppen |journal=<abbr Title="Archiv der Mathematik">Arch. Math.</abbr> |volume=10 |issue=1 |pages=401–402 |language=de |doi=10.1007/BF01240818 |issn=0003-9268 |mr=0147529 |zbl=0092.02403|s2cid=119816392 }}