Группа (математика)


В математике группа — это множество, снабженное операцией , которая объединяет любые два элемента для образования третьего элемента таким образом, что операция является ассоциативной , существует единичный элемент и каждый элемент имеет обратный . Эти три условия, называемые групповыми аксиомами, справедливо для систем счисления и многих других математических структур. Например, целые числа вместе с операцией сложения образуют группу. Концепция группы и ее определение с помощью групповых аксиом были разработаны для унифицированной обработки основных структурных свойств объектов самой разной математической природы (таких как числа, геометрические фигуры и полиномиальные корни ). Из-за повсеместного распространения групп во многих областях (как внутри математики, так и за ее пределами) некоторые авторы считают их центральным организующим принципом современной математики. [1] [2]

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

Понятие группы возникло в результате изучения полиномиальных уравнений , начиная с Эвариста Галуа в 1830-х годах, который ввел термин группа ( группа , по-французски) для группы симметрии корней уравнения, теперь называемого группой Галуа . После вклада других областей, таких как теория чисел и геометрия, понятие группы было обобщено и прочно утвердилось примерно в 1870 году. Современная теория групп — активная математическая дисциплина — изучает группы как таковые. Чтобы исследовать группы, математики разработали различные понятия, чтобы разбить группы на более мелкие, более понятные части, такие как подгруппы., факторгруппы и простые группы . В дополнение к своим абстрактным свойствам теоретики групп также изучают различные способы, которыми группа может быть выражена конкретно, как с точки зрения теории представлений (то есть через представления группы ), так и с точки зрения вычислительной теории групп . Была разработана теория конечных групп , кульминацией которой стала классификация конечных простых групп , завершенная в 2004 году. С середины 1980-х годов геометрическая теория групп , изучающая конечно порожденные группы как геометрические объекты, стала активной областью теории групп. .

Целые числа вместе с операцией образуют математический объект, принадлежащий к широкому классу, имеющему схожие структурные аспекты. Чтобы правильно понимать эти структуры как коллектив, разработано следующее определение .

Аксиомы для группы кратки и естественны... Тем не менее, за этими аксиомами каким-то образом скрывается чудовищная простая группа , огромный и необычный математический объект, который, кажется, существует благодаря многочисленным причудливым совпадениям. Аксиомы для групп не дают очевидного намека на существование чего-либо подобного.


Манипуляции с кубиком Рубика образуют группу кубика Рубика .
Основная группа плоскости минус точка (выделена жирным шрифтом) состоит из петель вокруг недостающей точки. Эта группа изоморфна целым числам.
Часы на часах образуют группу, в которой используется сложение по модулю  12. Здесь 9 + 4 ≡ 1 .
Комплексные корни 6-го порядка из единицы образуют циклическую группу. является примитивным элементом, но не является таковым, потому что нечетные степени не являются степенью .
Вращения и отражения образуют группу симметрии большого икосаэдра .
Два вектора (левая иллюстрация), умноженные на матрицы (средняя и правая иллюстрации). На среднем рисунке показан поворот по часовой стрелке на 90°, а на крайнем правом -координата увеличивается в 2 раза.
Единичная окружность на комплексной плоскости при комплексном умножении является группой Ли и, следовательно, топологической группой. Он топологический, поскольку комплексное умножение и деление непрерывны. Это многообразие и, следовательно, группа Ли, потому что каждый маленький кусочек , такой как красная дуга на рисунке, выглядит как часть реальной линии (показанной внизу).