Over a principal ideal domain , finitely-generated modules are torsion-free if and only if they are free .
Over a free domain , finitely-generated modules are torsion-principal ideal , if and only if they are free .