Азаров Д.Н. Некоторые аппроксимационные свойства разрешимых групп конечного ранга.
    Чебышевский сборник. 2014. Т.15, Вып.1. С.7-18.


Получено обобщение одной классической теоремы Шмелькина о полициклических группах. А.Л.Шмелькин доказал, что если G - полициклическая группа, то она почти аппроксимируема конечными p-группами для любого простого числа p. Напомним, что группа G называется аппроксимируемой конечными p-группами, если для каждого неединичного элемента a группы G существует гомоморфизм группы G на конечную p-группу, при котором образ элемента a отличен от 1. Группа G называется почти аппроксимируемой конечными p-группами, если она содержит подгруппу конечного индекса, которая аппроксимируема конечными p-группами.

Одним из обобщений понятия полициклической группы является понятие разрешимой группы конечного ранга. Напомним, что группа G называется группой конечного ранга, если существует целое положительное число r такое, что любая конечно порожденная подгруппа группы G порождается не более чем r элементами. Для разрешимой группы конечного ранга получено следующее необходимое и достаточное условие аппроксимируемости конечными \pi-группами для подходящего конечного множества \pi простых чисел.

Группа G конечного ранга аппроксимируема конечными \pi-группами для некоторого конечного множества \pi простых чисел тогда и только тогда, когда G является редуцированной поли-(циклической, квазициклической, рациональной) группой. Напомним, что группа G называется редуцированной, если в ней нет неединичных полных подгрупп. Группу H мы называем полной, если в ней из любого элемента h можно извлечь корень любой натуральной степени.

Доказано, что если разрешимая группа конечного ранга аппроксимируема конечными \pi-группами для некоторого конечного множества \pi простых чисел, то она почти аппроксимируема конечными нильпотентными \pi-группами. Доказано также следующее обобщение сформулированной выше теоремы Шмелькина.

Пусть \pi - фиксированное конечное множество простых чисел. Разрешимая группа G конечного ранга почти аппроксимируема конечными \pi-группами тогда и только тогда, когда G - редуцированная поли-(циклическая, квазициклическая, рациональная) группа, не содержащая \pi-полных элементов бесконечного порядка.

Напомним, что элемент g группы G называется \pi-полным, если для каждого \pi-числа m из элемента g можно извлечь в группе G корень m-й степени.

Полный текст статьи (PDF, 127 Кб)