Cтраница 4
Существует не более одной неединичной абелевой нормальной подгруппы в С. [46]
Существует не более двух различных минимальных нормальных подгрупп в С. [47]
Пусть группа С содержит нормальную подгруппу N, изоморфную А, с факторгруппой CjN В. Пусть Г - множество представителей смежных классов С IN, и пусть т - естественное взаимно однозначное отображение В на Т, соответствующее изоморфизму В С IN. [48]
ФАКТОРГРУППА группы G по нормальной подгруппе Н - группа, элементами которой являются подмножества элементов группы G ( а именно, классы смежности по нормальной подгруппе Н), а операция индуцируется из G. [49]