O artykule
Data publikacji: 09 cze 2008
Zakres stron: 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