Применения вложения Магнуса в теории многообразий групп и алгебр Ли

Дан обзор результатов теории многообразий групп и алгебр Ли, при доказательстве которых используются вложение Магнуса или его обобщения (под вложением Магнуса понимается вложение группы вида $F/R'$ в сплетение $A\operatorname{wr}F/R$, где $A$ — свободная абелева группа). Приведены короткие доказательства теоремы вложения и критерия принадлежности элемента сплетения вложенной группе.