Cтраница 4
Cantor, 1872), пустое множество, а также любое конечное множество являются ( / - множествами. Произвольное счетное множество также является ( / - множеством ( У. С др. стороны, каждое множество положительной меры является М - множсством. [46]
Таким образом, нам достаточно доказать следующее утверждение: если любое конечное множество элементов группы G содержится в некотором нилъ-потентном нормальном делителе группы G и если G имеет нормальный делитель Ну распадающийся в прямое произведение конечного числа подгрупп типа р, причем фактор-группа G / H нильпотентна, то G нильпотентна. [47]