Statement:
The order of any group is divisible by the order of any of its subgroups, (i.e., if \(H\) is a subgroup of \(G\) then there is a set \(A\) such that \(|H\times A| = |G|\).)
Howard_Rubin_Number: 237
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Hickman-1976: Groups in models of set theory that fail the axiom of choice
Book references
Note connections: