Об одной алгебре на множестве графов

Пусть $k$ – ассоциативное коммутативное кольцо с 1 без делителей нуля. На свободном $k$-модуле, порожденном кустами (т.е. $\Gamma$-помеченными корневыми деревьями, где $\Gamma$ – произвольное множество), введена операция умножения. Доказано, что полученная алгебра кустов $K$ удовлетворяет некоторому тождеству, порождается кустами порядка 1, не имеет делителей нуля и свободна в многообразии алгебр с указанным тождеством.
Библиогр. 1.