Lagrange theorem for finite groups
Equal-size left cosets of a subgroup H partition the finite group G, so |G|=[G:H]*|H| and |H| divides |G|.
atlas-lagrange-theorem-finite-groups · canonical_mko
Lagrange theorem for finite groups
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data