" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ПОДГРУПП РЯД

Значение ПОДГРУПП РЯД в математической энциклопедии:

- конечная цепочка вложенных одна в другую подгрупп группы G:

(*) или

Рассматриваются также бесконечные цепочки вложенных подгрупп (убывающие и возрастающие), занумерованные порядковыми числами или даже элементами упорядоченного множества. Их чаще наз, подгрупп системами.

Важную роль в теории групп играют субнормальные, нормальные и центральные ряды. П. р. (*) наз. субнормальным, если каждый его предыдущий член есть нормальная подгруппа следующего члена. Если, кроме того, каждая подгруппа G_i, i=0, 1, . . ., n, нормальна в G, то ряд (*) наз. нормальным рядом в G. Существует и иная терминология, в к-рой нормальным рядом наз. то, что здесь названо субнормальным, а для второго определенного здесь понятия используется термин "инвариантный ряд" (преобладает, однако, первая терминология). Факторгруппы G_i+1/G_i наз. факторами, а число n - длиной субнормального ряда. Нормальный ряд (*) наз. центральным, если все его факторы центральны, т. е. G_i+1/G_i- лежит в центре группы G/G_i для всех iили, что равносильно, взаимный коммутант G_i+1 и G лежит в G_i для всех i. Если G_i+1/G_i в точности совпадает с центром группы G/G_i (соответственно коммутант G_i+1 и G совпадает с G_i) для всех i, то ряд (*) наз. верхним центральным рядом (соответственно нижним центральным рядом) группы G.

Пусть в группе G заданы субнормальный (соответственно нормальный или центральный) ряд и нек-рая подгруппа п пусть , i=0, 1, . . ., п. Тогда цепочка

является субнормальным (соответственно нормальным или центральным) рядом в Н, а факторы этого ряда изоморфны подгруппам соответствующих факторов ряда (*). Если G/N- нек-рая факторгруппа группы G, то цепочка

является субнормальным (соответственно нормальным или центральным) рядом в G/N, а факторы этого ряда суть гомоморфные образы соответствующих факторов ряда (*).

Два субнормальных (в частности, нормальных) ряда группы наз. изоморфными, если они имеют одинаковую длину и между их факторами существует взаимно однозначное соответствие, при к-ром соответствующие факторы изоморфны. Если всякая подгруппа одного ряда совпадает с одной иа подгрупп другого, то второй ряд наз. уплотнением первого. Неуплотняемый далее нормальный ряд наз. главным, а субнормальный - композиционным. Факторы этих рядов наз. соответственно главными и композиционными факторами. Любые два субнормальных (соответственно нормальных или центральных) ряда группы обладают изоморфными субнормальными (соответственно нормальными или центральными) уплотнениями. В частности, любые два главных (композиционных) ряда изоморфны (см. Жордана - Гёльдера теорема).

Лит.:[1] Каргаполов М. И., Мерзляков Ю. И., Основы теории группы, 3 изд., М., 1982; [2] Черников С. Н., Группы с заданными свойствами системы подгрупп, М., 1980. Я. С. Романовский.