在抽象代数中，一个环 formula_1 上的自由模是带有基底的模。
定义.一个自由 formula_1-模 formula_3 是 formula_1-模范畴中的自由对象。具体言之，即存在一族元素 formula_5（可能有无限多个）使得：等价说法是：formula_11。此时 formula_5 称作 formula_3 的一组基底。