20F50 0–rank 20E22 20E26 Complement Primary: 20E15; Secondary: 20E25 finite rank hierarchy of centralizers hyperfinite group section $p$-rank section rank socle of a group socular series splitting theorem torsion-free rank