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

Исторический очерк. Простейшие алгебраич. операции - арифметич. действия над натуральными и положительными рациональными числами - встречаются в самых ранних математич. текстах, свидетельствующих о том, что уже в глубокой древности были известны все основные свойства этих действий. Значительное влияние на развитие алгебраич. идей и символики оказала, в частности, "Арифметика" Диофанта (3 в. н. э.). Термин "А." происходит от названия сочинения Мухаммеда аль-Хорезми "Альджебр аль-мукабала" (9 в.), содержащего общие приемы для решения задач, сводящихся к алгебраич. уравнениям 1-й и 2-й степеней. В конце 15 в. вместо громоздкого словесного описания алгебраич. действий, господствовавшего ранее, в математич. сочинениях появляются принятые теперь знаки + и -, затем знаки степеней, корней, скобки. Ф. Виет ( конец 16 в.) первым стал применять буквенные обозначения как для неизвестных, так и для заданных в задаче величин. К сер. 17 в. в основном сложилась современная алгебраич. символика и тем самым завершилась "предыстория" А. Развитие собственно А. происходило в три последующих столетия, причем точка зрения на ее предмет несколько раз существенно менялась.

В 17-18 вв. под А. понималась наука о буквенных вычислениях - тождественных преобразованиях буквенных формул, решения алгебраических уравнений и т. п., - в отличие от арифметики, занимавшейся вычислениями над конкретными числами. Предполагалось, однако, что под буквами подразумеваются числа, целые или дробные. Вот краткое содержание одного из лучших руководств того времени - "Введения в алгебру" Л. Эйлера (L. Euler): целые числа, обыкновенные и десятичные дроби, корни, логарифмы, алгебра-ич. уравнения 1-й - 4-й степеней, прогрессии, соединения, бином Ньютона, диофантовы уравнения. Таким образом, к сер. 18 в. А. сложилась в том приблизительно объеме, к-рый теперь принято наз. "элементарной" А. А. 18-19 вв. есть прежде всего А. многочленов. Исторически первой задачей А. было решение алгебраич. уравнений с одним неизвестным, т. е. уравнений вида:

Имелось в виду отыскание формул, выражающих корни уравнения через его коэффициенты при помощи сложения, умножения, вычитания, деления и извлечения корней ("решение в радикалах"). С древнейших времен математики умели решать уравнения 1-й и 2-й степеней. В 16 в. существенное продвижение было сделано итальянскими математиками - сначала была найдена формула для решения уравнений 3-й степени (см. Кардана формула), а затем и метод решения (см. Феррари метод).уравнения 4-й степени. В течение почти трех последующих столетий продолжались безуспешные попытки найти аналогичные формулы для решения уравнений высших степеней, в связи с чем приобрела большой интерес задача найти хотя бы "бесформульное" доказательство существования комплексного корня для произвольного алгебраич. уравнения с комплексными коэффициентами. Эта теорема была впервые высказана в 17 в. А. Жираром (A. Girard), но первое строгое доказательство ее дал К. Гаусс (С. Gauss) в конце 18 в. (см. Алгебры основная теорема). Наконец, в 1824 Н. Абель (N. Abel) установил, что уравнения выше 4-й степени в общем случае в радикалах не разрешимы, а в 1830 Э. Галуа (Е. Galois) указал общий критерий разрешимости алгебраич. уравнения в радикалах (см. Галуа теория). Другие задачи отходят в это время на второй план, и под А. понимается "анализ уравнений", как отмечает Ж. Серре (J. Serret) в своем курсе высшей алгебры (1849).

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

Начиная с сер. 19 в., центр тяжести в алгебраич. исследованиях постепенно перемещается с теории уравнений на изучение произвольных алгебраич. операций. Первоначальные попытки аксиоматич. изучения алгебраич. операций можно проследить уже в "теории отношений" Евклида, однако они не получили развития из-за невозможности геометрически интерпретировать даже простейшие действия над числами как отношениями длин или площадей. Дальнейший прогресс оказался возможным только после постепенного расширения и углубления понятия числа, а также в результате появления разнообразных примеров алгебраич. операций над объектами совсем иной природы, нежели числа,- первыми такими примерами (нач. 19 в.) явились "композиция двоичных квадратичных форм" К. Гаусса и умножение подстановок П. Руффини (P. Ruffini) и О. Коши (A. Cauchy). Явное выделение абстрактного понятия алгебраич. операции было сделано в сер. 19 в. в связи с исследованиями природы комплексных чисел. Возникают алгебра логики Дж. Буля (G. Boole), внешние алгебры Г. Грассмана (Н. Grassmann), кватернионы У. Гамильтона (W. Hamilton). А. Кэли (A. Cayley) создает матричное исчисление, К. Жордан (С. Jordan) публикует большой трактат о группах подстановок.

Эти работы подготовили вступление А. в конце 19 - нач. 20 вв. в современный этап ее развития, характеризующийся объединением ранее разрозненных алгебраич. идей на общей аксиоматич. основе и существенным расширением области приложений А. Современная точка зрения на А. как на общую теорию алгебраич. операций сформировалась в нач. 20 в. под влиянием работ Д. Гильберта (D. Hilbert), Э. Штейница (E.Steinitz), Э. Артина (Е. Artin), Э. Нётер (Е. Noether) и окончательно утвердилась с выходом в 1930 монографии Б. Л. ван дер Вардена (В. L. van der Waerden) "Современная алгебра".

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

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

Один из наиболее важных и наиболее изученных типов алгебр - группы, т. е. алгебры с одной ассоциативной бинарной операцией, содержащие единицу и для каждого элемента - обратный элемент. Понятие группы явилось исторически первым примером универсальной алгебры и послужило во многих отношениях образцом при перестройке А. и, вообще, математики на рубеже 19-20 вв. Значительно позже началось самостоятельное изучение таких обобщений групп, как полугруппы, квазигруппы и лупы.

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

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

Линейные (или векторные) пространства над полем можно трактовать как универсальные алгебры с одной бинарной операцией - сложением и набором унарных операций - умножений на скаляры из основного поля. Рассматриваются также линейные пространства над телами. Если за множество скаляров взять кольцо, то получается более широкое понятие модуля. Изучению линейных пространств, модулей, а также их линейных преобразований и смежным вопросам посвящен важный раздел А.- линейная алгебра, частью к-рой являются сформировавшиеся еще в 19 в. теория линейных уравнений и теория матриц. К линейной алгебре тесно примыкает полилинейная алгебра.

Первые работы по общей теории произвольных универсальных алгебр (иногда сама эта теория наз. универсальной алгеброй) относятся к 30-м гг. 20 в. и принадлежат Г. Биркгофу (G. Birkhoff). В те же годы А. И. Мальцев и А. Тарский (A. Tarski) заложили основы теории моделей, т. е. множеств с отмеченными на них отношениями. В дальнейшем теория универсальных алгебр и теория моделей столь тесно переплелись между собой, что привели к возникновению новой дисциплины, пограничной между А. и математич. логикой,- теории алгебраических систем, изучающей множества с определенными на них алгебраич. операциями и отношениями.

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

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

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

Алгебраич. понятия и методы широко применяются в теории чисел (см. Алгебраическая теория чисел), в функциональном анализе, в теории дифференциальных уравнений, в геометрии (см. Инвариантов теория, Проективная геометрия, Тензорная алгебра).и в других математич. дисциплинах.

Наряду с фундаментальной ролью внутри математики А. имеет большое прикладное значение - следует отметить ее выходы в физику (теория представлений конечных групп в квантовой механике, дискретные группы в кристаллографии), в кибернетику (автоматов теория), в математич. экономику ( линейные неравенства).

Лит.:[1] История математики с древнейших времен до начала XIX столетия, т. 1-3, М., 1970-72; [2] Мальцев А. И., К истории алгебры в СССР за первые 2-5 лет, "Алгебра и логика", 1971, т. 10, № 1,с. 103-18; [3] Математика, ее содержание, методы и значение. Сб. статей, т. 1-3, М., 1956; [4] Курош А. Г., Курс высшей алгебры, 10 изд., М., 1971; [5] Бурбаки Н., Алгебра. Алгебраические структуры. Линейная и полилинейная алгебра, пер. с франц., М., 1962; [6] Вандер Варден Б. Л., Алгебра, пер. с нем., М., 1976; [7] Ленг С., Алгебра, пер. с англ., М., 1968; [8] Мальцев А. И., Алгебраические системы, М., 1970.

См. также лит. при статьях об отдельных алгебраических дисциплинах. Ю. И. Мерзляков, А. И. Ширшов.

С* -АЛГЕБРА - банахова алгебра А над полем комплексных чисел, снабженная такой инволюцией, что норма и инволюция связаны соотношением для любого элемента были введены в 1943 (см. [1]) под назв. вполне регулярных колец, их наз. также -алгебрами.

Важнейшие примеры С*- А . 1) Алгебра непрерывных комплекснозначных функций на локально компактном хаусдорфовом пространстве X, стремящихся к нулю на бесконечности (т. е. таких непрерывных функций f на X, что для любого множество точек удовлетворяющих условию компактно в X); снабжается равномерной нормой

инволюция в определяется как переход к комплексно сопряженной функции: Любая коммутативная С*- А . Аизометрически и симметрически изоморфна С*- А . (т. е. изоморфна как банахова алгебра А с инволюцией) где X - пространство максимальных идеалов алгебры А, снабженное топологией Гельфанда (см. [1], [2], [3]).

2) Алгебра L)Н).всех ограниченных линейных операторов в гильбертовом пространстве Н, рассматриваемая относительно обычных линейных операций и умножения операторов; инволюция в L)Н).определяется как переход к сопряженному оператору, норма - как обычная норма оператора.

Подмножество наз. самосопряженным, если , где Любая замкнутая самосопряженная подалгебра В С*- А . А является С*- А . относительно линейных операций, умножения, инволюции и нормы, заимствованных из А; В наз. -подалгеброй А. Всякая С*- А . изометрически и симметрически изоморфна С*-подалгебре нек-рой С*- А . вида Любой замкнутый двусторонний идеал Iв С*- А . Асамосопряжен (поэтому I есть С*-подалгебра А), факторалгебра снабженная естественными линейными операциями, умножением, инволюцией и нормой факторпространства, есть С*-А. Множество К)Н).вполне непрерывных линейных операторов в гильбертовом пространстве Несть замкнутый двусторонний идеал в L)H). Если Аесть - алгебра с инволюцией, получаемая из Априсоединением единичного элемента, то на существует единственная норма, превращающая в С*-А. и продолжающая норму на А. Кроме того, для С*-А. определены операции ограниченной прямой суммы и тензорного произведения (см. [3], [4]).

Как и во всякой симметричной банаховой алгебре, в С*-А. Аможно выделить подмножества: действительное линейное пространство эрмитовых элементов; множество нормальных элементов; мультипликативную группу Uунитарных элементов (если Асодержит единичный элемент); множество положительных элементов. Множество есть замкнутый конус в и конус превращает в упорядоченное действительное векторное пространство. Если Асодержит единичный элемент 1. то 1 - внутренняя точка конуса Линейный функционал на Аназ. положительным, если для всех такой функционал непрерывен. Если где Весть -подалгебра А, то спектр элемента хв Всовпадает со спектром х в А. Спектр эрмитова элемента действителен, спектр унитарного элемента лежит на единичной окружности, спектр положительного элемента неотрицателен. Построено функциональное исчисление для нормальных элементов С*- А . Любая С*- А . А имеет аппроксимативную единицу, лежащую в единичном шаре алгебры Аи образованную положительными элементами из А. Если - замкнутые двусторонние идеалы в А, то - замкнутый двусторонний идеал в A и J+. Если I - замкнутый двусторонний идеал в J, J - замкнутый двусторонний идеал в А, то I - замкнутый двусторонний идеал в А. Всякий замкнутый двусторонний идеал есть пересечение содержащих его двусторонних примитивных идеалов; всякий замкнутый левый идеал в А - есть пересечение содержащих его максимальных регулярных левых идеалов.

Любой *-изоморфизм С*- А . является изометрическим. Любой *-гомоморфизм банаховой алгебры с инволюцией Вв С*- А . А непрерывен и для всех В частности, все представления банаховой алгебры с инволюцией (т. е. *-гомоморфизм Вв С*- А . вида непрерывны. Теория представлений С*-А. составляют существенную часть теории С*-А., и приложения теории С*- А . связаны именно с теорией представлений С*-А. Свойства представлений С*- А . позволяют построить для каждой С*- А . А топологич. пространство А, наз. спектром С*-А., и снабдить это пространство Макки борелевской структурой. Спектр С*- А ., вообще говоря, не удовлетворяет никаким аксиомам отделимости, но является локально бикомпактным Бэра пространством.

С*- А. А наз. - алгеброй (соответственно GCR - алгеброй), если для любого ненулевого неприводимого представления С*- А . А в гильбертовом пространстве Нвыполняется соотношение (соответственно .

С*- А. <наз.>NGCR - алгеброй, если Ане содержит ненулевых замкнутых двусторонних GCR- идеалов (т. е. идеалов, являющихся GCR- алгебрами). Любая С*- А. А содержит максимальный двусторонний GCR- идеал I, и факторалгебра А/I есть NGCR- алгебра. Всякая GCR- алгебра содержит возрастающее семейство замкнутых двусторонних идеалов занумерованных порядковыми числами такое, что есть GCR - алгебра при всех для предельных порядковых чисел а. Спектр GCR - алгебры содержит открытое всюду плотное отделимое локально бикомпактное подмножество.

С*- А . А наз. С*-алгеброй типа I, если для любого представления С*- А . А в гильбертовом пространстве Неймана алгебра, порожденная семейством в , есть алгебра Неймана типа I. Для С*-А. Аследующие условия эквивалентны: а) Аесть С*-А. типа I; б) Аесть GCR - алгебра; в) любое факторпредставление С*- А . А кратно неприводимому. Если Аудовлетворяет этим условиям, то: 1) неприводимые представления С*- А . А эквивалентны тогда и только тогда, когда их ядра совпадают; 2) спектр С*- А . А есть Т ₀ пространство. Если А - сепарабельная С*-А., то каждое из условий 1) и 2) эквивалентно условиям а) - в). В частности, всякая сепарабельная С*- А ., имеющая единственное с точностью до эквивалентности неприводимое представление, изоморфна С*-А. К)Н).для нек-рого гильбертова пространства Н.

Пусть Аесть С*- А ., Р- множество таких элементов , что функция конечна и непрерывна на спектре С*- А . А. Если линейная оболочка множества Рвсюду плотна в A, то Аназ. С*-А. с непрерывным следом. Спектр таких С*-А. отделим, и при нек-рых дополнительных условиях С*-А. с непрерывным следом можно представить в виде алгебры вектор-функций на спектре (см. [3]).

Пусть Аесть F - множество положительных линейных функционалов на Ас нормой Р )А) - множество ненулевых крайних точек выпуклого множества F. Тогда Р)А) - множество чистых состояний А(см. Представления симметричных алгебр]. Пусть Весть С*-подалгебра А. Если Аесть GCR- алгебра и Вразделяет точки множества т. е. для любых существует , такой, что (теорема Стоуна - Вейерштрасса). Если А - произвольная С*- А . и В разделяет точки множества то В=А.

Второе сопряженное пространство А** с С*-А. Аестественным образом снабжается операцией умножения, превращающей А** в С*-А., изоморфную нек-рой алгебре Неймана; эта алгебра наз. обертывающей алгеброй Неймана С*- А . (см. [3], [4]).