В теории групп , раздел математики, то Нильсен-Шрайер теорема утверждает , что каждая подгруппа из свободной группы сама свободна. [1] [2] [3] Он назван в честь Якоба Нильсена и Отто Шрайера .
Формулировка теоремы
Свободная группа может быть определена из группового представления, состоящего из набора генераторов без отношений. То есть каждый элемент является произведением некоторой последовательности образующих и их обратных, но эти элементы не подчиняются никаким уравнениям, кроме тех, которые тривиально следуют из gg −1 = 1. Элементы свободной группы можно описать как все возможные сокращенные слова , те цепочки генераторов и их обратных, в которых ни один генератор не смежен со своим собственным обратным. Два сокращенных слова можно умножить, объединив их и затем удалив любые пары генератор-инверсия, которые возникают в результате объединения.
Теорема Нильсена – Шрайера утверждает, что если H является подгруппой свободной группы G , то H сама изоморфна свободной группе. То есть, существует множество S элементов , которые генерируют H , без каких - либо нетривиальных соотношений между элементами S .
Формула Нильсена – Шрайера или формула индекса Шрайера количественно определяет результат в случае, когда подгруппа имеет конечный индекс: если G - свободная группа ранга n (свободная от n образующих), а H - подгруппа конечного индекса [ G : H ] = e , то H не имеет ранга. [4]
Пример
Пусть G - свободная группа с двумя образующими, и пусть H - подгруппа, состоящая из всех приведенных слов четной длины (произведения четного числа букв). Тогда H порождается своими шестью элементамиФакторизация любого сокращенного слова в H на эти образующие и их обратные может быть построена просто путем взятия последовательных пар букв в сокращенном слове. Однако это не бесплатное представление H, потому что последние три генератора могут быть записаны в терминах первых трех как. Скорее, H создается как свободная группа тремя элементамикоторые не имеют между собой отношений; или вместо этого несколькими другими тройками из шести генераторов. [5] Кроме того, G свободна на n = 2 генераторах, H имеет индекс e = [ G : H ] = 2 в G , а H свободен на 1 + e ( n –1) = 3 генераторах. Теорема Нильсена – Шрайера утверждает, что, как и H , любая подгруппа свободной группы может быть порождена как свободная группа, и если индекс группы H конечен, ее ранг определяется формулой индекса.
Доказательство
Короткое доказательство теоремы Нильсен-Шрейер использует алгебраическую топологию из основных групп и накрытий . [1] Свободная группа G на множестве образующих - это фундаментальная группа букета окружностей , топологического графа X с единственной вершиной и петлей-ребром для каждой образующей. [6] Любая подгруппа H фундаментальной группы сама является фундаментальной группой связного накрывающего пространства Y → X. Пространство Y является (возможно, бесконечным) топологическим графом, граф смежных классов Шрайера имеет по одной вершине для каждого смежного класса в G / H . [7] В любом подключенном топологического графа, то можно сжать края в остовного дерева графа, производя букет кругов , который имеет ту же основную группу H . Поскольку H - фундаментальная группа букета окружностей, она сама свободна. [6]
Симплициальные гомологии позволяют вычислить ранг H , который равен h 1 ( Y ), первому числу Бетти накрывающего пространства, количеству независимых циклов. Для G , не имеющего ранга n , граф X имеет n ребер и 1 вершину; в предположении, что H имеет конечный индекс [ G : H ] = e , покрывающий граф Y имеет en ребер и e вершин. Первое число Бетти графа равно количеству ребер минус количество вершин плюс количество связанных компонентов; следовательно, ранг H равен:
Это доказательство принадлежит Райнхольду Бэру и Фридриху Леви ( 1936 ); первоначальное доказательство с помощью Шрейер формирует график шрейеровского по-другому , как частное от деления графа Кэлей из G по модулю действия H . [8]
Согласно лемме Шрайера о подгруппах , набор генераторов для свободного представления H может быть построен из циклов в покрывающем графе, образованном путем конкатенации пути остовного дерева от базовой точки (смежного класса идентичности) к одному из смежных классов, a единственное ребро, не являющееся деревом, и обратный путь остовного дерева от другой конечной точки ребра до базовой точки. [9] [8]
Аксиоматические основы
Хотя известно несколько различных доказательств теоремы Нильсена – Шрайера, все они зависят от выбранной аксиомы . Например, в доказательстве, основанном на фундаментальных группах букетов, аксиома выбора появляется в виде утверждения, что каждый связный граф имеет остовное дерево. Использование этой аксиомы необходимо, поскольку существуют модели теории множеств Цермело – Френкеля, в которых аксиома выбора и теорема Нильсена – Шрайера неверны. Теорема Нильсена – Шрайера, в свою очередь, влечет более слабую версию аксиомы выбора для конечных множеств. [10] [11]
История
Теорема Нильсена – Шрайера является неабелевым аналогом более старого результата Ричарда Дедекинда о том , что каждая подгруппа свободной абелевой группы является свободной абелевой . [3]
Якоб Нильсен ( 1921 ) первоначально доказал ограниченную форму теоремы, утверждая, что любая конечно порожденная подгруппа свободной группы свободна. Его доказательство включает выполнение последовательности преобразований Нильсена на порождающем множестве подгруппы, которые уменьшают их длину (как сокращенные слова в свободной группе, из которой они взяты). [1] [12] Отто Шрайер доказал теорему Нильсена – Шрайера во всей ее общности в своей докторской диссертации 1926 года Die Untergruppen der freien Gruppe , также опубликованной в 1927 году в Abh. математика. Сем. Гамбург. Univ. [13] [14]
Топологическое доказательство, основанное на фундаментальных группах букетов кругов, принадлежит Рейнхольду Бэру и Фридриху Леви ( 1936 ). Другой топологическое доказательство, основанное на теории Басса-Серра из групповых действий на деревьях , была опубликована Жан-Пьер Серр ( 1970 ). [15]
Смотрите также
- Основная теорема циклических групп , аналогичный результат для циклических групп, который в бесконечном случае можно рассматривать как частный случай теоремы Нильсена – Шрайера.
Заметки
- ^ a b c Стиллвелл (1993) , раздел 2.2.4, Теорема Нильсена – Шрайера, стр. 103–104.
- ^ Magnus, Karass & Солитер 1976 , Следствие 2.9, с. 95.
- ^ a b Джонсон (1980) , раздел 2, Теорема Нильсена – Шрайера, стр. 9–23.
- ↑ Fried & Jarden (2008) , стр. 355
- Перейти ↑ Johnson (1997) , ex. 15, стр. 12.
- ^ a b Стиллвелл (1993) , раздел 2.1.8, Свобода генераторов, стр. 97.
- ^ Стиллвелл (1993) , раздел 2.2.2, Свойство подгруппы, стр. 100–101.
- ^ a b Боллобас, Бела (1998). «Глава VIII.1». Современная теория графов . Springer Verlag. п. 262. ISBN. 978-0-387-98488-9.
- ^ Stillwell (1993) , раздел 2.2.6, шрейеровы Трансверсаль, стр. 105-106.
- ^ Läuchli (1962)
- ^ Ховард (1985) .
- ^ Magnus, Karass & Солитер 1976 , Раздел 3.2, Процесс восстановления, стр. 121–140.
- ^ О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. , "Теорема Нильсена – Шрайера" , Архив истории математики MacTutor , Университет Сент-Эндрюс
- ^ Хансен, Ван Лундсгаард (1986), Якоб Нильсен, Сборник математических статей: 1913-1932 , Биркхойзер, стр. 117, ISBN 978-0-8176-3140-6.
- ^ Ротман (1995) , Теорема Нильсена – Шрайера, стр. 383–387.
Рекомендации
- Баер, Рейнхольд ; Леви, Фридрих (1936), "Freie Produkte und ihre Untergruppen", Compositio Mathematica , 3 : 391–398.
- Фрид, Майкл Д .; Джарден, Моше (2008), Полевая арифметика , Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, 11 (3-е изд.), Springer-Verlag , p. 70, ISBN 978-3-540-77269-9, Zbl 1145,12001.
- Ховард, Пол Э. (1985), "Подгруппа свободной группы и аксиомы выбора", журнал символической логики , 50 (2): 458-467, DOI : 10,2307 / 2274234 , JSTOR 2274234 , MR 0793126.
- Джонсон, Д. Л. (1980), Темы теории представлений групп , серия лекций Лондонского математического общества, 42 , Cambridge University Press, ISBN 978-0-521-23108-4.
- Johnson, DL (1997), Presentations of Groups , Тексты студентов Лондонского математического общества, 15 (2-е изд.), Cambridge University Press, ISBN 978-0-521-58542-2.
- Läuchli, Hans (1962), "Auswahlaxiom in der Algebra", Commentarii Mathematici Helvetici , 37 : 1–18, doi : 10.1007 / bf02566957 , hdl : 20.500.11850 / 131689 , MR 0143705.
- Магнус, Вильгельм ; Каррасс, Авраам; Солитэр, Дональд (1976), комбинаторная теория групп (2-е пересмотренное издание), Dover Publications.
- Нильсен, Якоб (1921), "Om regning med ikke-kommutative faktorer og dens anvendelse i gruppeteorien", Math. Tidsskrift Б (Датский), тысяча девятьсот двадцать одна : 78-94, СУЛ 48.0123.03.
- Ротман, Джозеф Дж. (1995), Введение в теорию групп , Тексты для выпускников по математике, 148 (4-е изд.), Springer-Verlag, ISBN 978-0-387-94285-8.
- Серр, Ж.-П. (1970), Groupes Discretes , Extrait de I'Annuaire du College de France, Париж.
- Серр, Ж.-П. (1980), Деревья , Springer-Verlag, ISBN 3-540-10103-9.
- Стиллвелл, Джон (1993), Классическая топология и комбинаторная теория групп , Тексты для выпускников по математике, 72 (2-е изд.), Springer-Verlag.