Schwesig, Elias2024-07-162024-07-1620241895621682http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-146767http://elib.uni-stuttgart.de/handle/11682/14676http://dx.doi.org/10.18419/opus-14657Given a finite group G and a prime p, we establish the sieve formula, which is a congruence containing as summands numbers of chains of p-subgroups of G of certain orders. This generalises the Theorem of Sylow-Frobenius. Its name stems from the sieve formula from set theory because of formal similarities.eninfo:eu-repo/semantics/openAccess510A sieve formula for chains of p-subgroups : extending Wielandt’s proof of Sylow-Frobenius to a congruence modulo p^(ℓ+1)bachelorThesis