Подгрупп ряд

- конечная цепочка вложенных одна в другую подгрупп группы G: [img: http://localhost:8080/file/041719-175.jpg] (*) или [img: http://localhost:8080/file/041719-176.jpg] Рассматриваются также бесконечные цепочки вложенных подгрупп (убывающие и возрастающие), занумерованные порядковыми числами или даже элементами упорядоченного множества. Их чаще наз, подгрупп системами. Важную роль в теории групп играют субнормальные, нормальные и центральные ряды. П. р. (*) наз. субнормальным, если каждый его предыдущий член есть нормальная подгруппа следующего члена. Если, кроме того, каждая подгруппа Gi, i=0, 1,..., n, нормальна в G, то ряд (*) наз. нормальным рядом в G. Существует и иная терминология, в к-рой нормальным рядом наз. то, что здесь названо субнормальным, а для второго определенного здесь понятия используется термин "инвариантный ряд" (преобладает, однако, первая терминология). Факторгруппы Gi+1/Gi наз. факторами, а число n - длиной субнормального ряда. Нормальный ряд (*) наз. центральным, если все его факторы центральны, т. е. Gi+1/Gi- лежит в центре группы G/Gi для всех iили, что равносильно, взаимный коммутант Gi+1 и G лежит в Gi для всех i. Если Gi+1/Gi в точности совпадает с центром группы G/Gi (соответственно коммутант Gi+1 и G совпадает с Gi) для всех i, то ряд (*) наз. верхним центральным рядом (соответственно нижним центральным рядом) группы G. Пусть в группе G заданы субнормальный (соответственно нормальный или центральный) ряд и нек-рая подгруппа [img: http://localhost:8080/file/041719-177.jpg] п пусть [img: http://localhost:8080/file/041719-178.jpg], i=0, 1,..., п. Тогда цепочка [img: http://localhost:8080/file/041719-179.jpg] является субнормальным (соответственно нормальным или центральным) рядом в Н, а факторы этого ряда изоморфны подгруппам соответствующих факторов ряда (*). Если G/N- нек-рая факторгруппа группы G, то цепочка [img: http://localhost:8080/file/041719-180.jpg] является субнормальным (соответственно нормальным или центральным) рядом в G/N, а факторы этого ряда суть гомоморфные образы соответствующих факторов ряда (*). Два субнормальных (в частности, нормальных) ряда группы наз. изоморфными, если они имеют одинаковую длину и между их факторами существует взаимно однозначное соответствие, при к-ром соответствующие факторы изоморфны. Если всякая подгруппа одного ряда совпадает с одной иа подгрупп другого, то второй ряд наз. уплотнением первого. Неуплотняемый далее нормальный ряд наз. главным, а субнормальный - композиционным. Факторы этих рядов наз. соответственно главными и композиционными факторами. Любые два субнормальных (соответственно нормальных или центральных) ряда группы обладают изоморфными субнормальными (соответственно нормальными или центральными) уплотнениями. В частности, любые два главных (композиционных) ряда изоморфны (см. Жордана - Гёльдера теорема).