« Home

Theorem. The field of fractions is a torsion-free module [math-3E35]

Let RR be an integral domain, and K:=Frac(R)K := \text{Frac}(R) is the field of fractions of RR. Then KK is a torsion-free RR-module (see The Stacks project tag/0549).

Proof. [local-0]

We want to show that the only torsion element of KK is 00. Every element of KK has the form as\frac{a}{s} where s0s \ne 0, now suppose as\frac{a}{s} is a torsion. Then there exists a r0Rr \ne 0 \in R such that

ras=ras=0Kr \frac{a}{s} = \frac{ra}{s} = 0 \in K

which leads

ra=0Rra = 0 \in R

in an integral domain, this leads r=0r = 0 or a=0a = 0, but r0r \ne 0 by definition, hence a=0a = 0. Which means as\frac{a}{s} is 0K0 \in K, be torsion is be zero in KK, KK is a torsion-free RR-module.