группа

Гру́ппа в математике — непустое множество, на котором определена ассоциативная бинарная операция, причём для этой операции имеется нейтральный элемент (аналог единицы для умножения), и каждый элемент множества имеет обратный. Ветвь общей алгебры, занимающаяся группами, называется теорией групп. Один из примеров группы — множество целых чисел, снабжённое операцией сложения: сумма любых двух целых чисел также даёт целое число, роль нейтрального элемента играет ноль, а число с противоположным знаком является обратным элементом.Другие примеры — множество вещественных чисел с операцией сложения, множество вращений плоскости вокруг начала координат.Благодаря определению группы через систему аксиом, не привязанной к специфике её элементов, создан универсальный аппарат для изучения широкого класса математических объектов самого разнообразного происхождения с точки зрения общих свойств их структуры.Вездесущность групп в математике и за её пределами делает их важнейшей конструкцией в современной математике и её приложениях. Группа фундаментально родственна понятию симметрии и является важным инструментом в изучении всех её проявлений. Например, группа симметрии отражает свойства геометрического объекта: она состоит из множества преобразований, оставляющих объект неизменным, и операции комбинирования двух таких преобразований, следующих друг за другом. Такие группы симметрии, как точечные группы симметрии, помогают понять явление молекулярной симметрии в химии; группа Пуанкаре характеризует симметрию физического пространства-времени, а специальные унитарные группы применяются в стандартной модели физики элементарных частиц. Понятие группы ввёл Эварист Галуа, изучая многочлены в 1830-е годы. Современная теория групп является активным разделом математики. Один из наиболее впечатляющих результатов достигнут в классификации простых конечных групп, которая была завершена в 1981 году: доказательство теоремы составляет десятки тысяч страниц сотен научных статей более ста авторов, опубликованных с 1955 года, но статьи продолжают появляться из-за обнаруживаемых пробелов в доказательстве. С середины 1980-х годов значительное развитие получила геометрическая теория групп, изучающая конечно-порождённые группы как геометрические объекты.