УДК 519.46 |
В. В. Блудов |
Приводятся необходимые и достаточные условия упорядочиваемости единственным способом для упорядочиваемых и доупорядочиваемых групп. Построен пример некоммутативной непростой группы, упорядочиваемой единственным способом, который показывает также, что существуют некоммутативные непростые группы без инвариантных относительно выпуклых подгрупп. |
УДК 517.11:518.5 |
В. В. Вьюгин |
Полученное Лахланом описание начальных сегментов верхней полурешетки рекурсивно-перечислимых (р. п.) $m$-степеней (РЖМат, 1973, 4А95) распространяется на произвольные сегменты этой полурешетки. А именно доказано, что произвольный сегмент р. п. $m$-степеней удовлетворяет условию Лахлана (необходимое и достаточное условие из указанной выше статьи, которому удовлетворяют верхние полурешетки, изоморфные начальным сегментам р. п. $m$-степеней). Доказано, что для любой неполной р. п. $m$-степени $a$ и любой верхней полурешетки $F$, удовлетворяющей этому условию Лахлана, существует р. п. $m$-степень $u$ такая, что $а\leqslant u$, для любой р. п. $m$-степени $x$, если $x\leqslant u$, то $x\leqslant a$ или $a\leqslant x$, и сегмент, образованный множеством р. п. $m$-степеней $\{x\mid a\leqslant x\leqslant u\}$, изоморфен $F$. |
УДК 519.4 |
Ю. М. Горчаков |
Теоремы типа Прюфера-Куликова, 655—661. |
Доказывается, что локально нормальная группа, аппроксимируемая классом конечных групп, порядки которых ограничены в совокупности, изоморфна подгруппе прямого произведения конечных групп ограниченных порядков. Локально нормальная группа $А$ тогда и только тогда изоморфно вложима в прямое произведение конечных групп, когда она является объединением возрастающей последовательности $1=A_0\subseteq A_1\subseteq\ldots\subseteq A_n\subseteq\ldots$ таких своих нормальных подгрупп, что каждая фактор-группа $A_{n+1}/A_n$ $(n=0,1,2,\ldots)$ аппроксимируется в $A/A_n$ классом конечных групп ограниченных порядков. |
УДК 517.11:518.5 |
И. А. Лавров |
Изучаются свойства ретрактов нумерованного семейства $\Pi$ всех рекурсивно-перечислимых множеств, снабженного стандартной нумерацией Поста. Дано описание конечных ретрактов. Получено описание ретракционных морфизмов на языке сильных таблиц конечных множеств Описаны все вполне перечислимые множества ретрактов нумерованного семейства $\Pi$. |
УДК 519.45 |
Г. А. Носков |
Пусть $\mathfrak{A,\,P}$ — классы абелевых и полициклических групп соответственно. Для всякой конечно-порожденной $\mathfrak{AP}$-группы $G$ без кручения существует такое конечное множество $\pi=\pi_{G}$ простых чисел, что для каждого $p\notin\pi$ группа $G$ почти вся аппроксимируется конечными $p$-группами. |
УДК 519.48 |
Ю. П. Размыслов |
Конечная базируемость некоторых многообразий алгебр, 685—693. |
Доказывается конечная базируемость многообразий алгебр Ли, в которых выполнены все лиевы тождества простой трехмерной алгебры Ли над полем характеристики нуль, а также конечная базируемость многообразий ассоциативных алгебр с единицей, в которых выполнены все полиномиальные тождества полной матричной алгебры второго порядка над полем нулевой характеристики. |
УДК 519.51:519.45 |
Б. В. Яковлев |
Об условиях, при которых решетка изоморфна решетке подгрупп группы, 694—712. |
На языке теории решеток сформулированы условия, необходимые и достаточные для того, чтобы решетка была изоморфна решетке подгрупп группы. Они вытекают из условий, при которых решетка изоморфна решетке подгрупп свободной группы ранга не меньше двух, и решеточной характеризации нормального делителя свободной группы. Доказано также, что каждый решеточный изоморфизм некоммутативной группы, в которой любые два элемента порождают свободную группу, индуцируется групповым изоморфизмом и притом только одним. |