The Sylow Theorems
Marco Riccardi · Formalized Mathematics · 2007
The Sylow TheoremsThe 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.