Statement:
If \(G\) is a group and \(X\) and \(Y\) both freely generate \(G\) then \(|X| = |Y|\).
Howard_Rubin_Number: 348
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:
Federer-Jonsson-1950: Some properties of free groups
Howard-1985: Subgroups of a free group and the axiom of choice
Book references
Note connections: