Editing Sylow theorems (section)

==References==
=== 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 }}

=== Algorithms ===
* {{Cite book |last=Butler |first=G. |date=1991 |title=Fundamental Algorithms for Permutation Groups |series=[[Lecture Notes in Computer Science]] |volume=559 |location=Berlin, New York City |publisher=[[Springer-Verlag]] |doi=10.1007/3-540-54955-2 |isbn=9783540549550 |mr=1225579 |zbl=0785.20001
|s2cid=395110 }}
* {{Cite book |last=Cannon |first=John J. |date=1971 |chapter=Computing local structure of large finite groups |title=Computers in Algebra and Number Theory (<abbr title="Proceedings of a SIAM-AMS Symposium in Applied Mathematics">Proc. SIAM-AMS Sympos. Appl. Math.</abbr>, New York City, 1970) |series=<abbr title="SIAM-AMS Proceedings">SIAM-AMS Proc.</abbr> |volume=4 |location=Providence RI |publisher=[[American Mathematical Society|AMS]] |pages=161–176 |issn=0160-7634 |mr=0367027 |zbl=0253.20027
}}
* {{Cite journal |last=Kantor |first=William M. |date=1985a |title=Polynomial-time algorithms for finding elements of prime order and Sylow subgroups |journal=<abbr Title="Journal of Algorithms">J. Algorithms</abbr> |volume=6 |issue=4 |pages=478–514 |doi=10.1016/0196-6774(85)90029-X |issn=0196-6774 |mr=813589 |zbl=0604.20001 |citeseerx=10.1.1.74.3690 |url=http://uoregon.edu/~kantor/PAPERS/primeorder.pdf 
}}
* {{Cite journal |last=Kantor |first=William M. |author-link=William Kantor |date=1985b |title=Sylow's theorem in polynomial time |journal=<abbr Title="Journal of Computer and System Sciences">J. Comput. Syst. Sci.</abbr> |volume=30 |issue=3 |pages=359–394 |doi=10.1016/0022-0000(85)90052-2 |issn=1090-2724 |mr=805654 |zbl=0573.20022
|doi-access=free }}
* {{Cite journal |last1=Kantor |first1=William M. |last2=Taylor |first2=Donald E. |date=1988 |title=Polynomial-time versions of Sylow's theorem |journal=<abbr Title="Journal of Algorithms">J. Algorithms</abbr> |volume=9 |issue=1 |pages=1–17 |doi=10.1016/0196-6774(88)90002-8 |issn=0196-6774 |mr=925595 |zbl=0642.20019
}}
* {{Cite journal |last=Kantor |first=William M. |date=1990 |title=Finding Sylow normalizers in polynomial time |journal=<abbr Title="Journal of Algorithms">J. Algorithms</abbr> |volume=11 |issue=4 |pages=523–563 |doi=10.1016/0196-6774(90)90009-4 |issn=0196-6774 |mr=1079450 |zbl=0731.20005
}}
* {{Cite book |last=Seress |first=Ákos |date=2003 |title=Permutation Group Algorithms |series=Cambridge Tracts in Mathematics |volume=152 |publisher=[[Cambridge University Press]] |isbn=9780521661034 |mr=1970241 |zbl=1028.20002}}