Let be an integral domain, and is the field of fractions of . Then is a torsion-free -module (see The Stacks project tag/0549).
Proof. [local-0]
Proof. [local-0]
We want to show that the only torsion element of is . Every element of has the form where , now suppose is a torsion. Then there exists a such that
which leads
in an integral domain, this leads or , but by definition, hence . Which means is , be torsion is be zero in , is a torsion-free -module.