Subsection III.4.3.2

Free modules