<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>The goal of this article is to formalize the Sylow theorems closely following the book [4]. Accordingly, the article introduces the group operating on a set, the stabilizer, the orbits, the <italic>p</italic>-groups and the Sylow subgroups.</p></abstract>

The goal of this article is to formalize the Sylow theorems closely following the book [4]. Accordingly, the article introduces the group operating on a set, the stabilizer, the orbits, the p-groups and the Sylow subgroups.

The Sylow Theorems

Casella Postale 49 54038 Montignoso, Italy

Formalized Mathematics

{"article-title":"The Sylow Theorems"}

The goal of this article is to formalize the Sylow theorems closely following the book [4]. Accordingly, the article introduces the group operating on a set,...

The Sylow Theorems

Published Online: Jun 09, 2008

Page range: 159 - 165

DOI: https://doi.org/10.2478/v10037-007-0018-3

This content is open access.