Смешанные тождества в группах

Группа $G[x]$ полиномов (от переменной $x$) группы $G$ — это группа $G*X$, где $X$ — бесконечная циклическая группа, $X=gp(x)$. Естественным образом вводятся понятия степени и корня полинома. Полином $w\in G[x]$ называется смешанным тождеством, если любой $a\in G$ — корень $w$. Смешанные тождества группы $G$ образуют подгруппу $G_G[x]$ в $G[x]$. Описываются $G_G[x]$ для конечной простой неабелевой группы в $G$ и класс всех конечных групп $H$ таких, что для любого целого $n$ в $H_H[x]$ найдется полином степени $n$. Библ. 6 назв.