Вложения квазиклеток итеративных алгебр

Изучается взаимосвязь между проективными и вполне ограниченными расширениями предитеративных алгебр. Доказывается, что каждое проективное расширение степени 1 квазиклетки алгебры $\mathcal P^*_k$ является максимальной подалгеброй вполне ограниченного расширения степени 1 этой же квазиклетки, а также, что проективное расширение квазиклетки всегда можно отделить от ее вполне ограниченного расширения в той же алгебре гипертождествами.