自由加群

数学において、自由加群(じゆうかぐん、英: free module) とは、加群の圏におけるである。集合 E が与えられたとき、E 上の自由加群とは E を にもつ自由加群である。たとえば、すべてのベクトル空間は自由であり、集合上の自由ベクトル空間は集合上の自由加群の特別な場合である。任意の加群はある自由加群の準同型像である。