Pith. sign in

REVIEW 1 cited by

A sieve formula for chains of $p$-subgroups

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2407.13636 v1 pith:YHEX3FWO submitted 2024-07-18 math.GR

classification math.GR
keywords formulasievechainssubgroupsapproachbecausecertaincongruence
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

Given 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, using Wielandt's approach. Its name stems from the sieve formula from set theory because of formal similarities.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. EFT-Ramses: a code to simulate the effective field theory of dark energy

    astro-ph.CO 2026-07 accept novelty 5.5 of 10

    A unified AMR N-body code embeds EFTofDE α-basis models into one master Vainshtein equation and matches legacy ECOSMOG and HiCOLA matter power spectra.

Pith tools