Free module

In the context of algebra, particularly in module theory, a **free module** is a specific type of module that is analogous to a free vector space. More formally, a module \( M \) over a ring \( R \) is called a free module if it has a basis, which is a set of elements in \( M \) that are linearly independent and can generate the entire module.