Группа — это математическая структура, задаваемая множеством и операцией, удовлетворяющими замкнутости, ассоциативности, существованию нейтрального элемента и обратимости.Группа в математике — множество объектов (чисел, симметрий) с операцией их соединения (сложение, последовательное выполнение преобразований). При этом соединение любых двух объектов даёт объект из того же множества, порядок соединения не влияет на итог (ассоциативность), есть нейтральный элемент, не меняющий результат, и для каждого элемента существует обратный. Например, целые числа со сложением — группа, потому что сумма целых — целое, ноль нейтрален, а для 5 обратным служит −5. Вращения треугольника тоже образуют группу. Группы классифицируют по свойствам: абелевы (коммутативные) и неабелевы, конечные и бесконечные, простые и разрешимые.
Истоки понятия группы лежат в работах Лагранжа и Гаусса, но решающий вклад внёс Эварист Галуа (1830), применивший группы к разрешимости алгебраических уравнений. Артур Кэли дал первое абстрактное определение. Феликс Клейн связал группы с геометрией в Эрлангенской программе. Анри Пуанкаре использовал группы в топологии, а Эмми Нётер доказала теорему, связывающую непрерывные симметрии с законами сохранения в физике.
Изучение группы опирается на её действие на множествах, например, вращения правильных многоугольников или перестановки координат. Важными инструментами являются подгруппы, гомоморфизмы, ядра и факторгруппы. В физике группы Ли (непрерывные группы) описывают симметрии пространства-времени и калибровочные симметрии, а теорема Нётер утверждает соответствие между каждой непрерывной симметрией и сохраняющейся величиной.
Криптографические протоколы (например, обмен ключами) опираются на свойства групп; в физике группы симметрии объясняют, почему сохраняются энергия или заряд.
Все возможные перестановки колоды из 52 карт образуют группу, содержащую 52! (факториал 52) элементов — число с 68 знаками, намного превышающее количество атомов в наблюдаемой Вселенной.
| U | переменная | открытое множество (топологическое пространство) — topological space |
| r | переменная | число независимых множителей Z/2Z — rank |
| x | переменная | входное значение |
| f(x) | переменная | выходное значение |
| θ* | переменная | Значение неподвижной точки — fixed point |
| F(θ*) | переменная | Функция, вычисленная в неподвижной точке — значение функции |




