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