Бесплатный модуль

• Свободные модули являются важными объектами в теории модулей. 
• Свободные модули имеют основу, которая определяет их структуру. 
• Универсальное свойство позволяет определить свободный модуль с точностью до канонического изоморфизма. 
• Свободные модули имеют обобщения, включая проективные, плоские и без кручения модули. 
• Свойства свободного, проективного, плоского и без кручения модулей эквивалентны для конечно порожденных модулей над PID.