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

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

  Исторический очерк

  Начальное развитие. Алгебре предшествовала арифметика, как собрание постепенно накопленных практических правил для решения повседневных житейских задач. Эти правила арифметики сводились к сложению, вычитанию, умножению и делению чисел, вначале только целых, а затем - постепенно и в очень медленном развитии - и дробных, Характерное отличие А. от арифметики заключается в том, что в А. вводится неизвестная величина; действия над ней, диктуемые условиями задачи, приводят к уравнению, из которого уже находится сама неизвестная. Намёк на такую трактовку арифметических задач есть уже в древнеегипетском папирусе Ахмеса (1700-2000 до н. э.), где искомая величина называется словом «куча» и обозначается соответствующим знаком - иероглифом (см. ) .Древние египтяне решали и гораздо более сложные задачи (например, на арифметическую и геометрическую прогрессии). Как формулировка задачи, так и решение давались в словесной форме и только в виде конкретных численных примеров. И все же за этими примерами чувствуется наличие накопленных общих методов, если не по форме, то по существу равносильных решению уравнений 1-й и иногда 2-й степеней. Имеются и первые математические знаки (например, особый знак для дробей).

  В начале 20 в. были расшифрованы многочисленные математические тексты (клинописи) и другой из древнейших культур - вавилонской (см. ) .Это открыло миру высоту математической культуры, существовавшей уже за 4000 лет до наших дней. Вавилоняне с помощью обширных специальных таблиц умели решать разнообразные задачи; некоторые из них равносильны решению квадратных уравнений и даже одного вида уравнения 3-й степени. Среди учёных, разрабатывающих историю математики, возник спор о том, в какой мере математику вавилонян можно считать А. Нельзя, однако, забывать, что древняя математика едина. Разделение произошло гораздо позднее.

  В Древней Греции была отчётливо выделена геометрия. У древнегреческих геометров впервые сознательно поставлено исследование, каждый шаг которого оправдан логическим доказательством. Мощь этого метода так велика, что и чисто арифметические или алгебраические вопросы переводились на язык геометрии: величины трактовались как длины, произведение двух величин - как площадь прямоугольника и т. д. И в современном математическом языке сохранилось, например, название «квадрат» для произведения величины на самоё себя. Характерное для более древних культур единство научных знаний и практических приложений было в древнегреческой математике разорвано: геометрию считали логической дисциплиной, необходимой школой для философского ума, а всякого рода исчисления, т. е. вопросы арифметики и А., идеалистическая философия Платона не считала достойным предметом науки. Несомненно, эти отрасли также продолжали развиваться (на основе вавилонских и египетских традиций), но до нашего времени дошёл только трактат Александрийского «Арифметика» (вероятно, 3 в.), в котором он уже довольно свободно оперирует с уравнениями 1-й и 2-й степеней; в зачаточной форме у него можно найти и употребление отрицательных чисел.

  Наследие древнегреческой науки восприняли учёные средневекового Востока - Средней Азии, Месопотамии, Северной Африки. Международным научным языком служил для них арабский язык (подобно тому как для учёных средневекового Запада таким языком был латинский), поэтому этот период в истории математики иногда называют «арабским». В действительности же одним из крупнейших научных центров этого времени (9-15 вв.) была Средняя Азия. Среди многих примеров достаточно назвать деятельность узбекского математика и астронома 9 в., уроженца Хорезма Мухаммеда и великого учёного-энциклопедиста ,создание в 15 в. обсерватории в Самарканде, Учёные средневекового Востока передали Европе математику греков и индийцев в оригинальной переработке, причём особенно много они занимались именно А. Само слово «алгебра» - арабское (аль-джебр) и является началом названия одного из сочинений Хорезми (аль-джебр означало один из приёмов преобразования уравнений). Со времени Хорезми А. можно рассматривать как отдельную отрасль математики.

  Математики средневекового Востока все действия излагали словами. Дальнейший прогресс А. стал возможным только после появления во всеобщем употреблении удобных символов для обозначения действий (см. ). Этот процесс шёл медленно и зигзагами, Выше упоминалось о знаке дроби у древних египтян. У Диофанта буква i (начало слова isos, т. е. равный) применялась как знак равенства, были подобные сокращения и у индийцев (5-7 вв.), но затем эта зарождавшаяся символика снова терялась. Дальнейшее развитие А. принадлежит итальянцам, перенявшим в 12 в. математику средневекового Востока. Леонардо Пизанский (13 в.) - наиболее выдающийся математик этой эпохи, занимавшийся алгебраическими проблемами. Постепенно алгебраические методы проникают в вычислительную практику, в первое время ожесточённо конкурируя с арифметическими. Приспособляясь к практике, итальянские учёные вновь переходят к удобным сокращениям, например вместо слов «плюс» и «минус» стали употреблять латинские буквы pи tс особой чёрточкой сверху. В конце 15 в. в математических сочинениях появляются принятые теперь знаки + и -, причём есть указания, что эти знаки задолго до этого употреблялись в торговой практике для обозначения избытка и недостатка в весе.

  Быстро следует введение и всеобщее признание остальных знаков (степени, корня, скобок и т. д.). К середине 17 в. полностью сложился аппарат символов современной А. - употребление букв для обозначения не только искомого неизвестного, но и всех вообще входящих в задачу величин. До этой реформы, окончательно закрепленной Ф. (конец 16 в.), в А. и арифметике как бы нет общих правил и доказательств; рассматриваются исключительно численные примеры. Почти невозможно было высказать какие-либо общие суждения. Даже элементарные учебники этого времени очень трудны, т. к. дают десятки частных правил вместо одного общего, Виет первый начал писать свои задачи в общем виде, обозначая неизвестные величины гласными А, Е, I, ...,а известные - согласными В, С, D, ....Эти буквы он соединяет введёнными уже в то время знаками математических операций. Т. о. впервые возникают буквально формулы, столь характерные для современной А. Начиная с Р. (17 в.) для неизвестных употребляют преимущественно последние буквы алфавита ( х, у, z) .

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

  Содержание А. охватывало во время Диофанта уравнения 1-й и 2-й степеней. К уравнениям 2-й степени (т. н. квадратным) древнегреческие математики пришли, по-видимому, геометрическим путём, т. к. задачи, приводящие к этим уравнениям, естественно, возникают при определении площадей и построении окружности по различным данным. Однако в одном, очень существенном отношении решение уравнений у древних математиков отличалось от современного: они не употребляли отрицательных чисел. Поэтому даже уравнение 1-й степени (с точки зрения древних)не всегда имело решение. При рассмотрении уравнений 2-й степени приходилось различать много частных случаев (по знакам коэффициентов). Решающий шаг - применение отрицательных чисел - был сделан индийскими математиками (10 в.), но ученые средневекового Востока не пошли по этому пути. С отрицательными числами свыклись постепенно; этому особенно способствовали коммерческие вычисления, в которых отрицательные числа имеют наглядный смысл убытка, расхода, недостатка и т. д. Окончательно же отрицательные числа были приняты только в 17 в., после того как Декарт воспользовался их наглядным геометрическим представлением для построения аналитической геометрии.

  Возникновение было вместе с тем и торжеством А. Если раньше, у древних греков, чисто алгебраические задачи облекались в геометрическую форму, то теперь, наоборот, алгебраические средства выражения оказались уже настолько удобными и наглядными, что геометрические задачи переводились на язык алгебраических формул. Подробнее о постепенном расширении области чисел, употребляемых в математике, о введении отрицательных, иррациональных, мнимых чисел см. в ст. .Здесь же надо отметить, что необходимость введения всех этих чисел особенно настоятельно ощущалась как раз в А.: так, например, квадратные иррациональности (корни) возникают при решении уравнений 2-й степени. Конечно, уже древнегреческие и среднеазиатские математики не могли пройти мимо извлечения корней и придумали остроумные способы приближенного вычисления их; но взгляд на иррациональность как на число установился значительно позже. Введение же комплексных или «мнимых» чисел относится к следующей эпохе (18 в.).

  Итак, если оставить в стороне мнимые числа, то к 18 в. А. сложилась приблизительно в том объёме, который до наших дней преподаётся в средней школе. Эта А. охватывает действия сложения и умножения, с обратными им действиями вычитания и деления, а также возведение в степень (частный случай умножения) и обратное ему - извлечение корня. Эти действия производились над числами или буквами, которые могли обозначать положительные или отрицательные, рациональные или иррациональные числа. Указанные действия употреблялись в решении задач, по существу сводившихся к уравнениям 1-й и 2-й степеней. Теперь А. в этом объёме владеет каждый образованный человек. Эта «элементарная» А. применяется повседневно в технике, физике и др. областях науки и практики. Но содержание науки А. и её приложений этим далеко не ограничивается. Трудны и медленны были только первые шаги. С 16 в. и особенно с 18 в. начинается быстрое развитие А., а в 20 в. она переживает новый расцвет.

  На русском языке изложение элементарной А. в том виде, как она сложилась к началу 18 в., было впервые дано в знаменитой «Арифметике» Л. Ф. ,вышедшей в 1703.

  Алгебра в 18-19 вв. В конце 17 - начале 18 вв. произошёл величайший перелом в истории математики и естествознания: был создан и быстро распространился анализ бесконечно малых (дифференциальное и интегральное исчисления). Этот перелом был вызван развитием производительных сил, потребностями техники и естествознания того времени и подготовлен он был всем предшествующим развитием А. В частности, буквенные обозначения и действия над ними ещё в 16-17 вв. способствовали зарождению взгляда на математические величины как на переменные, что так характерно для анализа бесконечно малых, где непрерывному изменению одной величины обычно соответствует непрерывное изменение другой - её функции.

  А. и анализ развивались в 17-18 вв. в тесной связи. В А. проникали функциональные представления, в этом направлении её обогатил И. .С другой стороны, А. принесла анализу свой богатый набор формул и преобразований, игравших большую роль в начальный период интегрального исчисления и теории дифференциальных уравнений. Крупным событием в А. этого периода было появление курса алгебры Л. ,работавшего тогда в Петербургской академии наук. Этот курс вышел сначала на русском языке (1768-69), а затем неоднократно издавался на иностранных языках. Отличие А. от анализа в 18-19 вв. характеризуется тем, что А. имеет своим основным предметом прерывное, конечное. Эту особенность А. подчеркнул в 1-й половине 19 в. Н. И. ,назвавший свою книгу «Алгебра, или Вычисление конечных» (1834). А. занимается основными операциями (сложение и умножение), производимыми конечное число раз.

  Простейшим результатом умножения является одночлен, например 5a ³bx ²y. Сумма конечного числа таких одночленов (с целыми степенями) называется .Если обратить внимание на одну из входящих в многочлен букв, например x, то можно придать ему вид: a ₀x ⁿ+ a ₁x ^n-1+ ... + a _n, гдекоэффициенты a _o, a ₁, ...., a _nуже не зависят от х. Это - многочлен n-йстепени (другое наименование - полином, целая рациональная функция). А. 18-19 вв. и есть прежде всего А. многочленов.

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

  Если приравнять многочлен нулю (или вообще какому-либо определённому числу), мы получим алгебраическое уравнение. Исторически первой задачей А. было решение таких уравнений, т. е. нахождение их корней - тех значений неизвестной величины х,при которых многочлен равен нулю. С древних времён известно решение квадратного уравнения х ²+ px + q =0в виде формулы:

  Алгебраическое решение уравнения 3-й и 4-й степеней было найдено в 16 в. Для уравнения вида x ³+ px + q =0 (к которому можно привести всякое уравнение 3-й степени) оно даётся формулой:

 Эта формула называется формулой Кардано, хотя вопрос о том, была ли она найдена самим Дж. или же заимствована им у других математиков, нельзя считать вполне решенным. Метод решения алгебраических уравнений 4-й степени указал Л. .После этого начались настойчивые поиски формул, которые решали бы уравнения и высших степеней подобным образом, т. с. сводили бы решение к извлечениям корней («решение в радикалах»). Эти поиски продолжались около трёх столетий, и лишь в начале 19 в. Н. и Э. доказали, что уравнения степеней выше 4-й в общем случае в радикалах не решаются: оказалось, что существуют неразрешимые в радикалах уравнения n-йстепени для любого n,большего или равного 5. Таково, например, уравнение x ⁵- 4x - 2 = 0. Это открытие имело большое значение, т. к. оказалось, что корни алгебраических уравнений - предмет гораздо более сложный, чем радикалы. Галуа не ограничился этим, так сказать, отрицательным результатом, а положил начало более глубокой теории уравнений, связав с каждым уравнением подстановок его корней. Решение уравнения в радикалах равносильно сведению первоначального уравнения к цепи уравнений вида: y ^m = а, которое и выражает собой, что

  Сведение к таким уравнениям оказалось в общем случае невозможным, но возник вопрос: к цепи каких более простых уравнений можно свести решение уравнения заданного? Например, через корни каких уравнений корни заданного уравнения выражаются рационально, т. е. при помощи четырёх действий - сложения, вычитания, умножения и деления. В таком более широком понимании продолжает развиваться вплоть до нашего времени.

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

  Приближённое вычисление корней алгебраических уравнений является важной задачей вычислительной математики, и к настоящему времени разработано огромное число приёмов её решения, в частности с использованием современной вычислительной техники. Но математика состоит не только из описания способов вычисления. Не менее важна - даже для приложений - другая сторона математики: уметь чисто теоретическим путём, без вычислений, дать ответ на поставленные вопросы. В области теории алгебраических уравнений таким является вопрос о числе корней и их характере. Ответ зависит от того, какие числа мы рассматриваем. Если допустить положительные и отрицательные числа, то уравнение 1-й степени всегда имеет решение и притом только одно. Но уже квадратное уравнение может и не иметь решений среди т. н. действительных чисел; например, уравнение x ²+ 2 =0 не может быть удовлетворено ни при каком положительном или отрицательном х,т. к. слева всегда окажется положительное число, а не нуль. Представление решения в виде

 не имеет смысла, пока не будет разъяснено, что такое квадратный корень из отрицательного числа. Именно такого рода задачи и натолкнули математиков на т. н. мнимые числа. Ещё раньше отдельные смелые исследователи ими пользовались, но окончательно они были введены в науку только в 19 в. Эти числа оказались важнейшим орудием не только в А., но и почти во всех разделах математики и её приложений. По мере того как привыкали к мнимым числам, они теряли всякую таинственность и «мнимость», почему теперь их и называют чаще всего не мнимыми, а .

 Если допускать и комплексные числа, то оказывается, что любое уравнение n-й степени имеет корни, причём это верно и для уравнений с любыми комплексными коэффициентами. Эта важная теорема, носящая название основной теоремы А., была впервые высказана в 17 в. французским математиком А. Жираром, но первое строгое доказательство её было дано в самом конце 18 в. К. ,с тех пор были опубликованы десятки различных доказательств. Все эти доказательства должны были, в той или иной форме, прибегнуть к непрерывности; т. о., доказательство основной теоремы А. само выходило за пределы А., демонстрируя лишний раз неразрывность математической науки в целом.

  Если x _i-один из корней алгебраического уравнения

a ₀x ⁿ+ a ₁x ^n-1+ ... + a _n= 0,

  то легко доказать, что многочлен, стоящий в левой части уравнения, делится без остатка на х - x _i.Из основной теоремы А. легко выводится, что всякий многочлен n-йстепени распадается на nтаких множителей 1-й степени, т. е. тождественно:

a ₀ x ⁿ+ a ₁ x ^n-1+ ... + a _n= a ₀( x- x ₁)( x- x ₂) ... ( x- x _n),

причём многочлен допускает лишь одно единственное разложение на множители такого вида.

  Таким образом, уравнение n-й степени имеет n «корней». В частных случаях может оказаться, что некоторые из множителей равны, т. е. некоторые корни повторяются несколько раз (кратные корни); следовательно, число различных корней может быть и меньше n.Часто не так важно вычислить корни, как разобраться в том, каков характер этих корней. Как пример приведём найденное еще Декартом «правило знаков»: уравнение имеет не больше положительных корней, чем число перемен знака в ряду его коэффициентов (а если меньше, то на чётное число). Например, в рассмотренном выше уравнении x ⁵- 4x -2 =0 одна перемена знака (первый коэффициент - положительный, остальные - отрицательные). Значит, не решая уравнения, можно утверждать, что оно имеет один и только один положительный корень. Общий вопрос о числе действительных корней в заданных пределах решается .Очень важно, что y уравнения с действительными коэффициентами комплексные корни могут являться только парами: наряду с корнем а+ biкорнем того же уравнения всегда будет и a- bi.Приложения ставят иногда и более сложные задачи этого рода; так, в механике доказывается, что движение устойчиво, если некоторое алгебраическое уравнение имеет только такие корни (хотя бы и комплексные), у которых действительная часть отрицательна, и это заставило искать условия, при которых корни уравнения обладают этим свойством (см. ).

  Многие теоретические и практические вопросы приводят не к одному уравнению, а к целой системе уравнений с несколькими неизвестными. Особенно важен случай системы линейных уравнений, т. е. системы туравнений 1-й степени с nнеизвестными:

a ₁₁ x ₁+...+ a _1n x _n= b ₁,

a ₂₁ x ₁+...+ a _2n x _n= b ₂,

...............................

a _m1 x ₁+...+ a _mn x _n= b _m.

  Здесь x ₁..., x _n  -неизвестные, а коэффициенты записаны так, что значки при них указывают на номер уравнения и номер неизвестного. Значение систем уравнений 1-й степени определяется не только тем, что они - простейшие. На практике (например, для отыскания поправок в астрономических вычислениях, при оценке погрешности в приближённых вычислениях н т. д.) часто имеют дело с заведомо малыми величинами, старшими степенями которых можно пренебречь (ввиду их чрезвычайной малости), так что уравнения с такими величинами сводятся в первом приближении к линейным. Не менее важно, что решение систем линейных уравнений составляет существенную часть при численном решении разнообразных прикладных задач. Ещё Г. (1700) обратил внимание на то, что при изучении систем линейных уравнений наиболее существенной является таблица, состоящая из коэффициентов a _ikи показал, как из этих коэффициентов (в случае m= n) строить т. н. ,при помощи которых исследуются системы линейных уравнений. Впоследствии такие таблицы, или ,стали предметом самостоятельного изучения, т. к. обнаружилось, что их роль не исчерпывается приложениями к теории систем линейных уравнений. Теория систем линейных уравнений и теория матриц в настоящее время стали частями важной отрасли науки - .

  (По материалам статьи А.Г. Куроша и О. Ю. Шмидта из 2-го изд. БСЭ).

  Современное состояние алгебры

 Сфера приложений математики расширяется с течением времени, и темп этого расширения возрастает. Если в 18 в. математика стала основой механики и астрономии, то уже в 19 в. она стала необходимой для различных областей физики, а ныне математические методы проникают даже в такие, казалось бы далекие от математики области знания, как биология, лингвистика, социология и т.д. Каждая новая область приложений влечёт создание новых глав внутри самой математики. Эта тенденция привела к возникновению значительного числа отдельных математических дисциплин, различающихся по областям исследования (теория функций комплексного переменного, теория вероятностей, теория уравнений математической физики и т. д.; более новые - теория информации, теория автоматического управления и т. д.). Несмотря на такую дифференциацию, математика остаётся единой наукой. Это единство сохраняется благодаря развитию и совершенствованию ряда общих, объединяющих идей и точек зрения. Тенденция к объединению лежит в существе математики как науки, пользующейся методом абстракции и, кроме того, часто стимулируется тем, что при исследовании задач, возникающих в различных областях знания, приходится пользоваться одним и тем же математическим аппаратом.

  Современная А., понимаемая как учение об операциях над любыми математическими объектами, является одним из разделов математики, формирующих общие понятия и методы для всей математики. Эту роль А. разделяет с ,в которой изучаются наиболее общие свойства непрерывных протяжённостей. А. и топология оказались, несмотря на различие объектов исследования, настолько связанными, что между ними трудно провести чёткую границу. Для современной А. характерно то, что в центре внимания оказываются свойства операций, а не объектов, над которыми производятся эти операции. Попытаемся объяснить на простом примере, как это происходит. Всем известна формула ( a+ b) ²= а ²+ 2 аb+ b ². Её выводом является цепочка равенств: ( а+ b) ²= ( a+ b)( а+ b) = ( a+ b) a+ ( а+ b) b= ( a ²+ ba) + ( ab+ b ²) = a ²+ ( ba+ ab)+ b ²= a ²+ 2 ab+ b ². Для обоснования мы дважды пользуемся законом :. с( а+ b) = ca+ cb(роль с играет а+ b) и ( a+ b) с= ac+ bc(роль сиграют аи b) ,закон при сложении позволяет перегруппировать слагаемые, наконец используется закон : ba= ab. Что представляют собой объекты, закодированные буквами аи b, остаётся безразличным; важно, чтобы они принадлежали системе объектов, в которой определены две операции - сложение и умножение, удовлетворяющие перечисленным требованиям, касающимся свойств операций, а не объектов. Поэтому формула останется верной, если аи bобозначают на плоскости или в пространстве, сложение принимается сперва как векторное сложение, потом как сложение чисел, умножение - как скалярное умножение векторов. Вместо аи bможно подставить коммутирующие матрицы (т. е. такие, что ab= ba, что для матриц может не выполняться), операторы дифференцирования по двум независимым переменным и т. д.

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

  Наиболее важными алгебраическими системами с одной операцией являются группы. Операция в группе ассоциативна [т. е. верно ( a _* b) _* с= а _*( b _* с) при любых а, b, сиз группы; звёздочкой _*обозначена операция, которая в разных ситуациях может иметь разные названия] и однозначно обратима, т.е. для любых аи bиз группы найдутся единственные х, у, такие, что а _* х= b, у _* а= b. Примерами групп могут служить: совокупность всех целых чисел относительно сложения, совокупность всех рациональных (целых и дробных) положительных чисел относительно умножения. В этих примерах операция (сложение в первом, умножение во втором) перестановочна. Такие группы называют абелевыми. Совокупности движений, совмещающих данную фигуру или тело с собой, образуют группу, если в качестве операции взять последовательное осуществление двух движений. Такие группы (группы симметрии фигуры) могут быть неабелевыми. Движения, совмещающие с собой атомную решётку кристалла, образуют т. н. федоровские группы, играющие основную роль в кристаллографии и через нее в физике твёрдого тела.