Обобщенные тождества с автоморфизмами

Доказано, что если в первичном кольце $R$ выполняется нетривиальное обобщенное тождество с автоморфизмами, то центральное замыкание кольца $R$ является примитивным кольцом с ненулевым цоколем, тело которого конечномерно над центром. Пусть $G$ — конечная группа автоморфизмов кольца $R$ без нильпотентных элементов. Тогда: а) $R^G\neq 0$, б) $R^G$ является кольцом Голди тогда и только тогда, когда $R$ — кольцо Голди, в) если $R^G$ — $PI$-кольцо, то к $R$ — $PI$-кольцо. Здесь $R^G$  — совокупность всех неподвижных относительно $G$ элементов кольца $R$.