À propos de cet article
Publié en ligne: 09 juin 2008
Pages: 159 - 165
DOI: https://doi.org/10.2478/v10037-007-0018-3
This content is open access.
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