Изменения

'''Свободным моноидом''' (англ. ''free monoid'') над множеством <tex> S </tex> называется моноид <tex> M </tex> вместе с отображением <tex> i\colon S \rightarrow M </tex> при условии, что для любого моноида <tex> N </tex> и для любых отображений <tex> f \colon S \rightarrow N </tex> существует единственный гомоморфизм моноидов <tex> \overline{f} \colon M(S) \rightarrow N </tex> такой, что <tex> \overline{f} \circ i = f </tex>.

}}

[[Категория: Алгебра]]