@MISC{GROUP_10.MIZ,
  AUTHOR = {Riccardi, Marco},
  TITLE = {The Sylow Theorems},
  ACKNOWLEDGEMENT = {I would like to thank referees for their advices.},
  SECTION1 = {Group Operating on a Set},
  SECTION2 = {Stabilizer and Orbits},
  SECTION3 = {p-groups},
  SECTION4 = {The Sylow Theorems},
  SECTION5 = {Appendix},
  DAY = {13},
  MONTH = {August},
  YEAR = {2007},
  ADDRESS1 = {Casella Postale 49\\54038 Montignoso\\Italy},
  SUMMARY = {The goal of this article is to formalize 
  the Sylow theorems closely following the book \cite{BourbakiAlgI}. 
  In doing it, the article introduces the group operating on a set, 
  the stabilizer, the orbits, the p-groups and the Sylow subgroups.}}

@BOOK{BourbakiAlgI,
       AUTHOR = {Nicolas Bourbaki},
        TITLE = {Elements of Mathematics. Algebra I. Chapters 1-3},
    PUBLISHER = {Springer-Verlag},
         YEAR = {1989},
      ADDRESS = {Berlin Heidelberg New York London Paris Tokyo}}

