Свободный Модуль

Свободный объект (свободная алгебра) в многообразии модулей над фиксированным кольцом R. Если R — ассоциативное кольцо с единицей, то С.