为自由 R-模"。
预备概念.R 的平常基是 formula_1，这里的 formula_2 是 R 的元素，在第 "j" 个位置上都是1，其他地方都是 0。如果 "T" : R → R 是线性变换，"T" 的 m × n矩阵是对于 formula_3 其第 "j" 纵列是 formula_4 的矩阵 t。在这种情况下我们有 formula_5 对于所有 R 中的 x，这里我们把 x 当作列向量，在右侧的乘法是矩阵乘法。在线性代数中一个基本事实是从 R 到 R 的所有线性变换