I defined a group, with infinite center. I want to know if the center (with many generators) is torsion free. I have tried to use the commands IsTorsion Torsion IsFreeAbelian And they are not recognized. Advice, pointers? Bill