教程:使用自由模和向量空间