Does GAP have a way to find "sylow" p subgroups of infinite groups? Basically, if I have the abelian invariants of my group, is there a way to read off the powers of a prime p? I want to get the "p-rank" of a group. Thanks, JR