Теория групп - Group theory

Популярная головоломка Кубик Рубика изобретен в 1974 г. Эрне Рубик был использован как иллюстрация группы перестановок. Увидеть Группа Кубик Рубика.

В математика и абстрактная алгебра, теория групп изучает алгебраические структуры известный как группы. Концепция группы занимает центральное место в абстрактной алгебре: другие известные алгебраические структуры, такие как кольца, поля, и векторные пространства, все можно рассматривать как группы, наделенные дополнительными операции и аксиомы. Группы повторяются в математике, а методы теории групп повлияли на многие разделы алгебры. Линейные алгебраические группы и Группы Ли это две ветви теории групп, которые достигли прогресса и стали самостоятельными предметными областями.

Различные физические системы, такие как кристаллы и атом водорода, может быть смоделирован группы симметрии. Таким образом, теория групп и тесно связанные с ней теория представлений имеют много важных приложений в физика, химия, и материаловедение. Теория групп также занимает центральное место в криптография с открытым ключом.

Рано история теории групп датируется 19 веком. Одно из важнейших математических достижений ХХ века.^[1] были совместными усилиями, занявшими более 10 000 страниц журнала и в основном опубликованными в период с 1960 по 1980 годы, которые завершились полным классификация конечных простых групп.

Основные классы групп

Спектр рассматриваемых групп постепенно расширялся с конечный группы перестановок и специальные примеры матричные группы к абстрактным группам, которые могут быть указаны через презентация от генераторы и связи.

Группы перестановок

Первый класс групп для проведения систематического исследования было группы перестановок. Учитывая любой набор Икс и коллекция г из биекции из Икс в себя (известный как перестановки), замкнутая относительно композиций и инверсий, г это группа играет роль на Икс. Если Икс состоит из п элементы и г состоит из все перестановки, г это симметричная группа S_п; вообще любая группа перестановок г это подгруппа симметрической группы Икс. Раннее строительство из-за Кэли выставляет любую группу как группу перестановок, действующую на себя (Икс = г) с помощью левой регулярное представительство.

Во многих случаях структуру группы перестановок можно изучить, используя свойства ее действия на соответствующем множестве. Например, таким образом доказывается, что для п ≥ 5, то переменная группа А_п является просто, т.е. не допускает собственно нормальные подгруппы. Этот факт играет ключевую роль в невозможность решения общего алгебраического уравнения степени п ≥ 5 в радикалах.

Матричные группы

Следующий важный класс групп - это матричные группы, или линейные группы. Вот г это множество, состоящее из обратимых матрицы данного порядка п через поле K что закрывается под продуктами и перевернутыми. Такая группа действует на п-мерное векторное пространство K^п от линейные преобразования. Это действие делает группы матриц концептуально похожими на группы перестановок, а геометрия действия может быть с пользой использована для установления свойств группы. г.

Группы трансформации

Группы перестановок и группы матриц являются частными случаями группы трансформации: группы, которые действуют в определенном пространстве Икс сохраняя присущую ему структуру. В случае групп перестановок Икс это набор; для групп матриц, Икс это векторное пространство. Концепция группы преобразований тесно связана с концепцией группы преобразований. группа симметрии: группы преобразований часто состоят из все преобразования, сохраняющие определенную структуру.

Теория групп преобразований образует мост, связывающий теорию групп с дифференциальная геометрия. Длинная линия исследований, начатая Ложь и Кляйн, рассматривает групповые действия на коллекторы от гомеоморфизмы или диффеоморфизмы. Сами группы могут быть дискретный или непрерывный.

Абстрактные группы

Большинство групп, рассматриваемых на первом этапе развития теории групп, были «конкретными», реализованными посредством чисел, перестановок или матриц. Лишь в конце девятнадцатого века идея абстрактной группы как множества с операциями, удовлетворяющими определенной системе аксиом, начала укрепляться. Типичный способ определения абстрактной группы - через презентация от генераторы и отношения,

{ Displaystyle G = langle S | R rangle.}

Значительный источник абстрактных групп дается построением факторная группа, или факторгруппа, г/ЧАС, группы г по нормальная подгруппа ЧАС. Группы классов из поля алгебраических чисел были одними из первых примеров факторных групп, вызывающих большой интерес в теория чисел. Если группа г группа перестановок на множестве Икс, факторная группа г/ЧАС больше не действует на Икс; но идея абстрактной группы позволяет не беспокоиться об этом несоответствии.

Смена точки зрения от конкретных к абстрактным группам делает естественным рассмотрение свойств групп, которые не зависят от конкретной реализации, или, говоря современным языком, инвариантных относительно изоморфизм, а также классы группы с заданным таким свойством: конечные группы, периодические группы, простые группы, разрешимые группы, и так далее. Вместо того, чтобы исследовать свойства отдельной группы, каждый стремится установить результаты, применимые ко всему классу групп. Новая парадигма имела первостепенное значение для развития математики: она предвещала создание математики. абстрактная алгебра в работах Гильберта, Эмиль Артин, Эмми Нётер, и математики своей школы.^{[нужна цитата ]}

Группы с дополнительной структурой

Важное развитие концепции группы происходит, если г наделен дополнительной структурой, в частности, топологическое пространство, дифференцируемое многообразие, или алгебраическое многообразие. Если групповые операции м (умножение) и я (инверсия),

{ displaystyle m: G times G to G, (g, h) mapsto gh, quad i: G to G, g mapsto g ^ {- 1},}

совместимы с этой структурой, т. е. они непрерывный, гладкий; плавный или регулярный (в смысле алгебраической геометрии) отображения, то г это топологическая группа, а Группа Ли, или алгебраическая группа.^[2]

Наличие дополнительной структуры связывает эти типы групп с другими математическими дисциплинами и означает, что для их изучения доступно больше инструментов. Топологические группы образуют естественную область для абстрактный гармонический анализ, в то время как Группы Ли (часто реализуемые как группы трансформации) являются основой дифференциальная геометрия и унитарный теория представлений. Некоторые вопросы классификации, которые не могут быть решены в целом, могут быть решены для особых подклассов групп. Таким образом, компактные связные группы Ли были полностью засекречены. Между бесконечными абстрактными группами и топологическими группами существует плодотворная связь: всякий раз, когда группа Γ может быть реализован как решетка в топологической группе г, геометрия и анализ, относящиеся к г дать важные результаты о Γ. Сравнительно недавнее направление в теории конечных групп использует их связи с компактными топологическими группами (проконечные группы ): например, одиночный п-адическая аналитическая группа г имеет семейство конечных частных п-группы различных порядков и свойств г перевести в свойства его конечных частных.

Разделы теории групп

Теория конечных групп

В течение двадцатого века математики очень глубоко исследовали некоторые аспекты теории конечных групп, особенно теорию локальная теория конечных групп и теории разрешимый и нильпотентные группы.^{[нужна цитата ]} Как следствие, полный классификация конечных простых групп была достигнута, а это означает, что все эти простые группы из которых могут быть построены все конечные группы, теперь известны.

Во второй половине двадцатого века математики, такие как Chevalley и Steinberg также расширило наше понимание конечных аналогов классические группы, и другие связанные группы. Одно такое семейство групп - семейство общие линейные группы над конечные поля. Конечные группы часто встречаются при рассмотрении симметрия математических или физических объектов, когда эти объекты допускают лишь конечное число структурных преобразований. Теория Группы Ли, который можно рассматривать как имеющий отношение к "непрерывная симметрия ", сильно зависит от связанных Группы Вейля. Это конечные группы, порожденные отражениями, действующими на конечномерную Евклидово пространство. Таким образом, свойства конечных групп могут играть роль в таких предметах, как теоретическая физика и химия.

Представление групп

Сказать, что группа г действует на съемочной площадке Икс означает, что каждый элемент г определяет биективное отображение на множестве Икс способом, совместимым со структурой группы. Когда Икс имеет большую структуру, полезно дополнительно ограничить это понятие: представление г на векторное пространство V это групповой гомоморфизм:

{ displaystyle rho: G to operatorname {GL} (V),}

где GL (V) состоит из обратимых линейные преобразования из V. Другими словами, каждому элементу группы г назначается автоморфизм ρ(г) такие, что ρ(г) ∘ ρ(час) = ρ(gh) для любого час в г.

Это определение можно понимать в двух направлениях, каждое из которых ведет к появлению совершенно новых областей математики.^[3] С одной стороны, это может дать новую информацию о группе. г: часто групповая работа в г дано абстрактно, но через ρ, это соответствует умножение матриц, что очень ясно.^[4] С другой стороны, если хорошо изученная группа воздействует на сложный объект, это упрощает изучение рассматриваемого объекта. Например, если г конечно, это известный это V выше разлагается на неприводимые части. С этими частями, в свою очередь, гораздо легче управлять, чем с целым V (через Лемма Шура ).

Учитывая группу г, теория представлений затем спрашивает, какие представления г существует. Настроек несколько, и используемые методы и полученные результаты в каждом случае различаются: теория представлений конечных групп и представления Группы Ли это две основные области теории. Совокупность представлений регулируется групповыми символы. Например, Полиномы Фурье можно интерпретировать как персонажи U (1), группа сложные числа из абсолютная величина 1, действуя на L² -пространство периодических функций.

Теория лжи

А Группа Ли это группа это тоже дифференцируемое многообразие, со свойством совместимости групповых операций с гладкая структура. Группы лжи названы в честь Софус Ли, заложившие основы теории непрерывного группы трансформации. Период, термин группы де Ли впервые появился на французском языке в 1893 году в диссертации ученика Ли Артур Тресс, стр. 3.^[5]

Группы Ли представляют собой наиболее развитую теорию непрерывная симметрия из математические объекты и структуры, что делает их незаменимыми инструментами для многих разделов современной математики, а также для современных теоретическая физика. Они обеспечивают естественную основу для анализа непрерывных симметрий дифференциальные уравнения (дифференциальная теория Галуа ) почти так же, как группы перестановок используются в Теория Галуа для анализа дискретных симметрий алгебраические уравнения. Распространение теории Галуа на случай непрерывных групп симметрии было одним из основных мотивов Ли.

Комбинаторная и геометрическая теория групп

Группы можно описать по-разному. Конечные группы можно описать, записав групповой стол состоящий из всех возможных умножений г • час. Более компактный способ определения группы - это генераторы и отношения, также называемый презентация группы. Учитывая любой набор F генераторов ${ displaystyle {g_ {i} } _ {я in I}}$ , то свободная группа Сгенерированно с помощью F сюрпризы на группу г. Ядро этого отображения называется подгруппой отношений, порожденной некоторым подмножеством D. Презентация обычно обозначается ${ displaystyle langle F mid D rangle.}$ Например, групповая презентация ${ displaystyle langle a, b mid aba ^ {- 1} b ^ {- 1} rangle}$ описывает группу, изоморфную ${ displaystyle mathbb {Z} times mathbb {Z}.}$ Строка, состоящая из символов образующих и их обратных, называется слово.

Комбинаторная теория групп изучает группы с точки зрения генераторов и отношений.^[6] Это особенно полезно там, где выполняются предположения конечности, например, конечно порожденные группы или конечно определенные группы (т.е., кроме того, отношения конечны). Область использует подключение графики через их фундаментальные группы. Например, можно показать, что каждая подгруппа свободной группы свободна.

Есть несколько естественных вопросов, возникающих при представлении группы. В проблема со словом спрашивает, являются ли два слова одним и тем же элементом группы. Связав проблему с Машины Тьюринга, можно показать, что в целом нет алгоритм решение этой задачи. Другой, обычно более сложной, алгоритмически неразрешимой проблемой является проблема группового изоморфизма, который спрашивает, действительно ли две группы, заданные разными представлениями, изоморфны. Например, группа с презентацией ${ displaystyle langle x, y mid xyxyx = e rangle,}$ изоморфна аддитивной группе Z целых чисел, хотя это может быть не сразу видно.^[7]

Граф Кэли группы ⟨x, y ∣⟩, свободной группы ранга 2.

Геометрическая теория групп решает эти проблемы с геометрической точки зрения, рассматривая группы как геометрические объекты или находя подходящие геометрические объекты, над которыми действует группа.^[8] Первая идея уточняется с помощью Граф Кэли, вершины которого соответствуют элементам группы, а ребра соответствуют правому умножению в группе. Учитывая два элемента, один строит слово метрика задается длиной минимального пути между элементами. Теорема о Милнор и Сварц затем говорит, что учитывая группу г действовать разумным образом метрическое пространство Икс, например компактный коллектор, тогда г является квазиизометрический (т.е. выглядит похожим на расстоянии) на пространство Икс.

Связь групп и симметрия

Учитывая структурированный объект Икс любого рода, симметрия - отображение объекта на себя, сохраняющее структуру. Это происходит во многих случаях, например

Если Икс - множество без дополнительной структуры, симметрия - это биективный карта из набора в себя, давая начало группы перестановок.
Если объект Икс это множество точек на плоскости со своим метрика структура или любой другой метрическое пространство, симметрия - это биекция множества к самому себе, что сохраняет расстояние между каждой парой точек ( изометрия ). Соответствующая группа называется группа изометрии из Икс.
Если вместо этого углы сохранились, говорят о конформные карты. Конформные карты приводят к Клейнианские группы, Например.
Симметрии не ограничиваются геометрическими объектами, но также включают алгебраические объекты. Например, уравнение ${ displaystyle x ^ {2} -3 = 0}$ имеет два решения ${ displaystyle { sqrt {3}}}$ и ${ displaystyle - { sqrt {3}}}$ . В этом случае группа, которая меняет местами два корня, является Группа Галуа принадлежащий уравнению. Каждое полиномиальное уравнение от одной переменной имеет группу Галуа, то есть определенную группу перестановок на его корнях.

Аксиомы группы формализуют существенные аспекты симметрия. Симметрии образуют группу: они закрыто потому что если вы возьмете симметрию объекта, а затем примените другую симметрию, результатом все равно будет симметрия. Тождество, удерживающее объект фиксированным, всегда является симметрией объекта. Существование инверсий гарантируется отменой симметрии, а ассоциативность исходит из того факта, что симметрии являются функциями в пространстве, а композиция функций ассоциативна.

Теорема Фрухта говорит, что каждая группа является группой симметрии некоторого график. Итак, каждая абстрактная группа на самом деле является симметрией некоторого явного объекта.

Поговорку о «сохранении структуры» объекта можно уточнить, работая в категория. Карты, сохраняющие структуру, тогда являются морфизмы, а группа симметрии - это группа автоморфизмов рассматриваемого объекта.

Приложения теории групп

Применений теории групп предостаточно. Практически все строения в абстрактная алгебра являются частными случаями групп. Кольца, например, можно рассматривать как абелевы группы (соответствует сложению) вместе со второй операцией (соответствующей умножению). Следовательно, теоретико-групповые аргументы лежат в основе большей части теории этих сущностей.

Теория Галуа

Теория Галуа использует группы для описания симметрий корней многочлена (или, точнее, автоморфизмов алгебр, порожденных этими корнями). В основная теорема теории Галуа обеспечивает связь между расширения алгебраических полей и теория групп. Он дает эффективный критерий разрешимости полиномиальных уравнений в терминах разрешимости соответствующих Группа Галуа. Например, S₅, то симметричная группа в 5 элементах, не разрешима, что означает, что общая уравнение пятой степени не могут быть решены радикалами, как уравнения более низкой степени. Теория, являющаяся одним из исторических корней теории групп, до сих пор плодотворно применяется для получения новых результатов в таких областях, как теория поля классов.

Алгебраическая топология

Алгебраическая топология это еще один домен, который соратники групп к объектам, интересующим теорию. Там группы используются для описания определенных инвариантов топологические пространства. Их называют «инвариантами», потому что они определены таким образом, что не изменяются, если пространство подвергается некоторым деформация. Например, фундаментальная группа «считает», сколько путей в пространстве существенно различаются. В Гипотеза Пуанкаре, доказано в 2002/2003 гг. Григорий Перельман, является ярким примером применения этой идеи. Однако влияние не является однонаправленным. Например, алгебраическая топология использует Пространства Эйленберга – Маклейна которые являются пространствами с предписанными гомотопические группы. так же алгебраическая K-теория в некотором роде полагается на классификация пространств групп. Наконец, название торсионная подгруппа бесконечной группы показывает наследие топологии в теории групп.

Тор. Его абелева групповая структура индуцирована отображением C → C/(Z + τZ), где τ параметр, живущий в верхняя полуплоскость.

Алгебраическая геометрия

Алгебраическая геометрия аналогично во многом использует теорию групп. Абелевы разновидности были введены выше. Наличие групповой операции дает дополнительную информацию, которая делает эти разновидности особенно доступными. Также они часто служат проверкой новых домыслов.^[9] Одномерный случай, а именно эллиптические кривые изучается особенно подробно. Они интересны как теоретически, так и практически.^[10] В другом направлении, торические многообразия находятся алгебраические многообразия действовал тор. Тороидальные заделки недавно привели к успехам в алгебраическая геометрия, особенно разрешение особенностей.^[11]

Алгебраическая теория чисел

Алгебраическая теория чисел использует группы для некоторых важных приложений. Например, Формула произведения Эйлера,

{ displaystyle { begin {align} sum _ {n geq 1} { frac {1} {n ^ {s}}} & = prod _ {p { text {prime}}} { frac {1} {1-p ^ {- s}}}, конец {выровнено}} !}

захватывает факт что любое целое число уникальным образом разлагается на простые числа. Несостоятельность этого утверждения для более общие кольца дает начало группы классов и обычные простые числа, которые представлены в Куммера лечение Последняя теорема Ферма.

Гармонический анализ

Анализ на группах Ли и некоторых других группах называется гармонический анализ. Меры Хаара, т. е. инвариантные относительно сдвига интегралы в группе Ли, используются для распознавание образов и другие обработка изображений техники.^[12]

Комбинаторика

В комбинаторика, понятие перестановка группа и концепция группового действия часто используются для упрощения подсчета набора предметов; см. в частности Лемма Бернсайда.

Круг пятых может быть наделен циклической групповой структурой.

Музыка

Наличие 12-периодичность в круг пятых дает приложения элементарная теория групп в теория музыкального набора. Трансформационная теория моделирует музыкальные преобразования как элементы математической группы.

Физика

В физика, группы важны, потому что они описывают симметрии, которым, кажется, подчиняются законы физики. Согласно с Теорема Нётер, каждой непрерывной симметрии физической системы соответствует закон сохранения системы. Физиков очень интересуют представления групп, особенно групп Ли, поскольку эти представления часто указывают путь к «возможным» физическим теориям. Примеры использования групп в физике включают Стандартная модель, калибровочная теория, то Группа Лоренца, а Группа Пуанкаре.

Химия и материаловедение

В химия и материаловедение, точечные группы используются для классификации правильных многогранников, а симметрии молекул, и космические группы классифицировать кристаллические структуры. Назначенные группы затем можно использовать для определения физических свойств (например, химическая полярность и хиральность ), спектроскопические свойства (особенно полезны для Рамановская спектроскопия, инфракрасная спектроскопия, спектроскопия кругового дихроизма, спектроскопия магнитного кругового дихроизма, УФ / видимая спектроскопия и флуоресцентная спектроскопия), и построить молекулярные орбитали.

Молекулярная симметрия отвечает за многие физические и спектроскопические свойства соединений и предоставляет важную информацию о том, как протекают химические реакции. Чтобы назначить точечную группу любой данной молекуле, необходимо найти набор операций симметрии, присутствующих на ней. Операция симметрии - это действие, такое как вращение вокруг оси или отражение через плоскость зеркала. Другими словами, это операция, которая перемещает молекулу так, что она неотличима от первоначальной конфигурации. В теории групп оси вращения и зеркальные плоскости называются «элементами симметрии». Эти элементы могут быть точкой, линией или плоскостью, относительно которой выполняется операция симметрии. Операции симметрии молекулы определяют конкретную точечную группу для этой молекулы.

Молекула воды с осью симметрии

В химия, есть пять важных операций симметрии. Это операция идентификации (E), вращение или правильное вращение (C_п), операция отражения (σ), инверсия (я) и операция отражения вращения или неправильное вращение (S_п). Операция идентификации (E) состоит в том, чтобы оставить молекулу такой, какая она есть. Это эквивалентно любому количеству полных оборотов вокруг любой оси. Это симметрия всех молекул, тогда как группа симметрии хиральный молекула состоит только из тождественной операции. Операция идентичности характерна для каждой молекулы, даже если она не имеет симметрии. Вращение вокруг оси (C_п) состоит из поворота молекулы вокруг определенной оси на определенный угол. Это вращение на угол 360 ° /п, где п является целым числом относительно оси вращения. Например, если воды молекула вращается на 180 ° вокруг оси, проходящей через кислород атом и между водород атомов, он находится в той же конфигурации, что и был запущен. В таком случае, п = 2, поскольку его двойное применение приводит к операции идентификации. В молекулах с более чем одной осью вращения ось Cn, имеющая наибольшее значение n, является осью вращения или главной осью высшего порядка. Например Боран (BH3) высший порядок оси вращения C₃, поэтому главная ось вращения оси C₃.

В операции отражения (σ) многие молекулы имеют зеркальные плоскости, хотя они могут быть неочевидными. Операция отражения меняется влево и вправо, как если бы каждая точка перемещалась перпендикулярно плоскости в положение, находящееся точно так же далеко от плоскости, как и при ее запуске. Когда плоскость перпендикулярна главной оси вращения, она называется σ_час (горизонтальный). Остальные плоскости, содержащие главную ось вращения, помечены как вертикальные (σ_v) или двугранный (σ_d).

Инверсия (i) - более сложная операция. Каждая точка перемещается через центр молекулы в положение, противоположное исходному положению и так далеко от центральной точки, где она начиналась. Многие молекулы, которые на первый взгляд кажутся имеющими центр инверсии, не имеют; Например, метан и другие четырехгранный молекулы лишены инверсионной симметрии. Чтобы увидеть это, возьмем модель метана с двумя атомами водорода в вертикальной плоскости справа и двумя атомами водорода в горизонтальной плоскости слева. Инверсия приводит к появлению двух атомов водорода в горизонтальной плоскости справа и двух атомов водорода в вертикальной плоскости слева. Следовательно, инверсия не является операцией симметрии метана, потому что ориентация молекулы после операции инверсии отличается от исходной ориентации. И последняя операция - неправильное вращение или операция отражения вращения (S_п) требует вращения на 360 ° /пс последующим отражением через плоскость, перпендикулярную оси вращения.

Статистическая механика

Теория групп может использоваться для разрешения неполноты статистических интерпретаций механики, разработанной Уиллард Гиббс, относящийся к суммированию бесконечного числа вероятностей для получения значимого решения.^[13]

Криптография

Очень большие группы простого порядка, построенные в криптография на основе эллиптических кривых служить для криптография с открытым ключом. Криптографические методы такого типа выигрывают от гибкости геометрических объектов, отсюда и их групповой структуры, вместе со сложной структурой этих групп, которые делают дискретный логарифм очень сложно подсчитать. Один из самых ранних протоколов шифрования, Шифр Цезаря, также можно интерпретировать как (очень простую) групповую операцию. Большинство криптографических схем так или иначе используют группы. В частности, при обмене ключами Диффи – Хеллмана используются конечные циклические группы. Таким образом, термин «групповая криптография» в основном относится к криптографическим протоколам, которые используют бесконечные неабелевы группы, такие как группа кос.

В циклическая группа Z₂₆ лежит в основе Шифр Цезаря.

История

Теория групп имеет три основных исторических источника: теория чисел, теория алгебраические уравнения, и геометрия. Теоретико-числовое направление было начато Леонард Эйлер, и разработан Гаусса работа над модульная арифметика и аддитивные и мультипликативные группы, относящиеся к квадратичные поля. Первые результаты о группы перестановок были получены Лагранж, Руффини, и Авель в их поисках общих решений полиномиальных уравнений высокой степени. Эварист Галуа придумал термин «группа» и установил связь, известную теперь как Теория Галуа, между зарождающейся теорией групп и теория поля. В геометрии группы впервые стали важными в проективная геометрия и позже, неевклидова геометрия. Феликс Кляйн с Программа Эрланген провозгласил теорию групп организующим принципом геометрии.

Галуа, в 1830-х годах первым применил группы для определения разрешимости полиномиальные уравнения. Артур Кейли и Огюстен Луи Коши продвинули эти исследования дальше, создав теорию группы перестановок. Второй исторический источник для групп происходит из геометрический ситуации. В попытке разобраться с возможными геометрическими формами (такими как евклидов, гиперболический или проективная геометрия ) используя теорию групп, Феликс Кляйн инициировал Программа Эрланген. Софус Ли, в 1884 году начал использовать группы (теперь называемые Группы Ли ) прикреплен к аналитический проблемы. В-третьих, группы сначала неявно, а затем явно использовались в алгебраическая теория чисел.

Различный объем этих ранних источников привел к разным представлениям о группах. Теория групп была унифицирована, начиная примерно с 1880 года. С тех пор влияние теории групп постоянно росло, что привело к рождению абстрактная алгебра в начале 20 века, теория представлений, и многие другие влиятельные дополнительные области. В классификация конечных простых групп представляет собой обширную работу середины 20 века, в которой классифицируются все конечный простые группы.

Смотрите также

Заметки

^ Элвес, Ричард (декабрь 2006 г.), «Огромная теорема: классификация конечных простых групп», Plus Magazine (41)
^ Этот процесс наложения дополнительной структуры был формализован с помощью понятия групповой объект в подходящем категория. Таким образом, группы Ли являются групповыми объектами в категории дифференцируемых многообразий, а аффинные алгебраические группы являются групповыми объектами в категории аффинных алгебраических многообразий.
^ Такие как групповые когомологии или эквивариантная K-теория.
^ В частности, если представление верный.
^ Артур Тресс (1893). "Sur les invariants différentiels des groupes continus de transformations" (PDF). Acta Mathematica. 18: 1–88. Дои:10.1007 / bf02418270.
^ Шупп и Линдон 2001
^ Письмо ${ displaystyle z = xy}$ , надо ${ Displaystyle G cong langle z, y mid z ^ {3} = y rangle cong langle z rangle.}$
^ Ла Харп 2000
^ Например, Гипотеза Ходжа (в некоторых случаях).
^ Увидеть Гипотеза Берча и Суиннертона-Дайера, один из проблемы тысячелетия
^ Абрамович, Дан; Кару, Калле; Мацуки, Кендзи; Влодарчик, Ярослав (2002), "Торификация и факторизация бирациональных отображений", Журнал Американского математического общества, 15 (3): 531–572, arXiv:математика / 9904135, Дои:10.1090 / S0894-0347-02-00396-X, Г-Н 1896232
^ Ленц, Райнер (1990), Теоретико-групповые методы обработки изображений, Конспект лекций по информатике, 413, Берлин, Нью-Йорк: Springer-Verlag, Дои:10.1007/3-540-52290-5, ISBN 978-0-387-52290-6
^ Норберт Винер, Кибернетика: или управление и коммуникация у животных и машин, ISBN 978-0262730099, Ch 2

использованная литература

Борель, Арман (1991), Линейные алгебраические группы, Тексты для выпускников по математике, 126 (2-е изд.), Берлин, Нью-Йорк: Springer-Verlag, Дои:10.1007/978-1-4612-0941-6, ISBN 978-0-387-97370-8, Г-Н 1102012
Картер, Натан С. (2009), Теория визуальных групп, Серия учебных материалов для учебных заведений, Математическая ассоциация Америки, ISBN 978-0-88385-757-1, Г-Н 2504193
Кэннон, Джон Дж. (1969), "Компьютеры в теории групп: обзор", Коммуникации ACM, 12: 3–12, Дои:10.1145/362835.362837, Г-Н 0290613
Фрухт, Р. (1939), "Herstellung von Graphen mit vorgegebener abstrakter Gruppe", Compositio Mathematica, 6: 239–50, ISSN 0010-437X, заархивировано из оригинал на 2008-12-01
Голубицкий, Мартин; Стюарт, Ян (2006), "Нелинейная динамика сетей: формализм группоидов", Бык. Амер. Математика. Soc. (Н.С.), 43 (03): 305–364, Дои:10.1090 / S0273-0979-06-01108-6, Г-Н 2223010 Показывает преимущество обобщения от группы к группоид.
Джадсон, Томас В. (1997), Абстрактная алгебра: теория и приложения Вводный текст для студентов в духе текстов Галлиана или Херштейна, охватывающий группы, кольца, области целостности, поля и теорию Галуа. Бесплатно загружаемый PDF-файл с открытым исходным кодом GFDL лицензия.
Кляйнер, Израиль (1986), "Эволюция теории групп: краткий обзор", Математический журнал, 59 (4): 195–215, Дои:10.2307/2690312, ISSN 0025-570X, JSTOR 2690312, Г-Н 0863090
Ла Харп, Пьер де (2000), Темы геометрической теории групп, Издательство Чикагского университета, ISBN 978-0-226-31721-2
Ливио, М. (2005), Уравнение, которое невозможно решить: как гений математики открыл язык симметрии, Саймон и Шустер, ISBN 0-7432-5820-7 Передает практическую ценность теории групп, объясняя, как она указывает на симметрии в физика и другие науки.
Мамфорд, Дэвид (1970), Абелевы разновидности, Oxford University Press, ISBN 978-0-19-560528-0, OCLC 138290
Ронан М., 2006. Симметрия и чудовище. Издательство Оксфордского университета. ISBN 0-19-280722-6. Для непрофессиональных читателей. Описывает поиск основных строительных блоков для конечных групп.
Ротман, Джозеф (1994), Введение в теорию групп, Нью-Йорк: Springer-Verlag, ISBN 0-387-94285-8 Стандартный современный справочник.
Шупп, Пол Э.; Линдон, Роджер С. (2001), Комбинаторная теория групп, Берлин, Нью-Йорк: Springer-Verlag, ISBN 978-3-540-41158-1
Скотт, В. Р. (1987) [1964], Теория групп, Нью-Йорк: Дувр, ISBN 0-486-65377-3 Недорогой и довольно читаемый, но несколько устаревший по акцентам, стилю и обозначениям.
Шац, Стивен С. (1972), Конечные группы, арифметика и геометрия, Princeton University Press, ISBN 978-0-691-08017-8, Г-Н 0347778
Вейбель, Чарльз А. (1994). Введение в гомологическую алгебру. Кембриджские исследования в области высшей математики. 38. Издательство Кембриджского университета. ISBN 978-0-521-55987-4. Г-Н 1269324. OCLC 36131259.

внешние ссылки

История концепции абстрактной группы
Теория многомерных групп Это представляет собой взгляд на теорию групп как на уровень один теории, которая распространяется во всех измерениях и имеет приложения в теории гомотопий и в неабелевых методах более высоких измерений для решения локальных и глобальных проблем.
Плюс пакет для учителей и учеников: Теория групп В этом пакете собраны все статьи по теории групп из Плюс, онлайн-журнал по математике, выпускаемый в рамках проекта Millennium Mathematics Project в Кембриджском университете, в котором изучаются приложения и недавние открытия, а также даются четкие определения и примеры групп.

[1] Элвес, Ричард (декабрь 2006 г.), «Огромная теорема: классификация конечных простых групп», Plus Magazine (41)

[2] Этот процесс наложения дополнительной структуры был формализован с помощью понятия групповой объект в подходящем категория. Таким образом, группы Ли являются групповыми объектами в категории дифференцируемых многообразий, а аффинные алгебраические группы являются групповыми объектами в категории аффинных алгебраических многообразий.

[3] Такие как групповые когомологии или эквивариантная K-теория.

[4] В частности, если представление верный.

[5] Артур Тресс (1893). "Sur les invariants différentiels des groupes continus de transformations" (PDF). Acta Mathematica. 18: 1–88. Дои:10.1007 / bf02418270.

[6] Шупп и Линдон 2001

[7] Письмо ${ displaystyle z = xy}$ , надо ${ Displaystyle G cong langle z, y mid z ^ {3} = y rangle cong langle z rangle.}$

[8] Ла Харп 2000

[9] Например, Гипотеза Ходжа (в некоторых случаях).

[10] Увидеть Гипотеза Берча и Суиннертона-Дайера, один из проблемы тысячелетия

[11] Абрамович, Дан; Кару, Калле; Мацуки, Кендзи; Влодарчик, Ярослав (2002), "Торификация и факторизация бирациональных отображений", Журнал Американского математического общества, 15 (3): 531–572, arXiv:математика / 9904135, Дои:10.1090 / S0894-0347-02-00396-X, Г-Н 1896232

[12] Ленц, Райнер (1990), Теоретико-групповые методы обработки изображений, Конспект лекций по информатике, 413, Берлин, Нью-Йорк: Springer-Verlag, Дои:10.1007/3-540-52290-5, ISBN 978-0-387-52290-6

[13] Норберт Винер, Кибернетика: или управление и коммуникация у животных и машин, ISBN 978-0262730099, Ch 2

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

Математика (области математики )
Фонды	Теория категорий Теория информации Математическая логика Философия математики Теория множеств
Алгебра	Абстрактные Коммутативный Элементарный Теория групп Линейный Полилинейный Универсальный
Анализ	Исчисление Реальный анализ Комплексный анализ Дифференциальные уравнения Функциональный анализ Гармонический анализ
Дискретный	Комбинаторика Теория графов Теория порядка Теория игры
Геометрия	Алгебраический Аналитический Дифференциальный Дискретный Евклидово Конечный
Теория чисел	Арифметика Алгебраическая теория чисел Аналитическая теория чисел Диофантова геометрия
Топология	Алгебраический Дифференциальный Геометрический
Применено	Теория управления Математическая биология Математическая химия Математическая экономика Математические финансы Математическая физика Математическая психология Математическая социология Математическая статистика Исследование операций Вероятность Статистика
Вычислительная	Информатика Теория вычислений Численный анализ Оптимизация Компьютерная алгебра
похожие темы	История математики Развлекательная математика Математика и искусство Математическое образование
Категория Портал Commons ВикиПроект