Универсальная алгебра (Runfyjvgl,ugx gliyQjg)

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

Центральное понятие — алгебраическая система➤, объект максимальной общности, объемлющий значительную часть вариантов алгебраических структур; над этим объектом могут быть построены понятия гомоморфизма и факторсистемы, обобщающие соответствующие конструкции из теорий групп, колец, решёток и так далее. Развитое направление в разделе — изучение классов аксиоматизируемых алгебраических систем, прежде всего таких, как задающихся тождествами многообразия (в том числе свободные алгебры^[англ.]), и определяющихся квазитождествами квазимногообразия. В Математической предметной классификации универсальной алгебре присвоен раздел верхнего уровня 08.

История

Первое упоминание о разделе математики с таким наименованием относится к Альфреду Уайтхеду (его «Трактат об универсальной алгебре, с приложениями»^[1] выпущен в 1898 году)^[2], однако появление выделенной дисциплины, изучающей алгебраические структуры как произвольные множества с произвольными наборами операций и соотношений связано с работами Гаррета Биркхофа 1935 года^[3]^[4], в рамках работы над теорией решёток обратившего внимания на ряд параллельных конструкций, используемых в теории групп и колец: гомоморфизмы, факторгруппы и факторкольца, нормальные подгруппы и двухсторонние идеалы. Работы Биркхофа некоторое время не вызывали опубликованных откликов и развития, однако 1940-е годы отмечено появление определённого «фольклора», связанного таким универсальным подходом к алгебре, в частности, подход излагался в лекциях конца 1940-х годов, прочитанных Филипом Холлом (англ. Philip Hall) в Кембриджском университете^[2].

Следующим шагом к созданию универсальной алгебры как раздела математики отмечаются работы Альфреда Тарского по теории моделей и Кэндзиро Сёды по алгебрам с бинарными операциями, а также работы Леона Генкина^[5], Анатолия Мальцева^[6], Абрахама Робинсона^[7], Бьярни Йоунссона (исл. Bjarni Jónsson)^[8], обративших внимание на эффективность применения аппарата математической логики, используемого в рамках строящейся в те годы теории моделей, к исследованию алгебраических систем как структур, обобщающих модели и алгебры. При этом, работа Мальцева 1941 года^[9] отмечена как предвосхищающая логический подход к универсальной алгебре, но не получившая откликов и своевременного развития из-за войны, а лекция Тарского на Международном конгрессе математиков в 1950 году — как отправная точка для второго периода развития раздела^[10].

С конца 1950-х годов развитие получило направление, исследующее свободные алгебры, прежде всего, благодаря работам Эдварда Марчевского и последовавшей серии из более чем пятидесяти статей польских математиков в этом направлении^[11]. В середине 1950-х годов Филипом Хиггинсом введены и изучены мультиоператорные группы^[12]^[13] как структуры, в которых может быть обобщено понятие коммутанта и всякая конгруэнция представляется разложением на смежные классы по идеалам (по аналогии с соответствующими свойствами нормальной подгруппы и двухстороннего идеала кольца), позднее также изучены специальные классы мультиоператорных групп (мультиоператорные кольца и алгебры).

С начала 1960-х годов развивается теория квазимногообразий и вопросы их связи с аксиоматизируемыми классами алгебраических систем (Мальцев, Горбунов), наиболее бурно развивающимся направлением начала — середины 1970-х годов стали исследования многообразий конгруэнций (Бьярни Йоунссон, Гретцер).

К 1968 году библиография по универсальной алгебре насчитывала более 1 тыс. статей, к 1980 году — более 5 тыс.; в период с 1976 по 1988 год опубликовано 2 тыс. работ^[14].

Во второй половине 1970-х годов возникли приложения универсальной алгебры в информатике — теории абстрактных типов данных, теории систем управления базами данных^[15], приложения в основном строятся вокруг понятия многосортных алгебр. Среди основных направлений, наиболее активно развивавшиеся в 1980-е — 1990-е годы^[16] — теория квазимногообразий, теория коммутаторов для многообразий конгруэнций, теория естественной двойственности (англ. natural duality theory). В 2000-е годы получило интенсивное развитие отдельное направление — универсальная алгебраическая геометрия, обобщающая классическую алгебраическую геометрию, работающую с алгебраическими полями, на более широкие классы алгебраических систем^[17].

Алгебраические системы, алгебры и модели

Базовый объект изучения раздела — алгебраическая система — произвольное непустое множество с заданным (возможно, бесконечным) набором конечноарных операций над ним и конечноарных отношений: ${\mathfrak {A}}=\langle A,\;F,\;R\rangle$ , $F=\langle f_{1}\colon A^{n_{1}}\to A,\;\ldots f_{i}\colon A^{n_{i}}\to A,\;\ldots \rangle$ , $R=\langle r_{1}\subseteq A^{m_{1}},\;\ldots r_{i}\subseteq A^{m_{i}},\;\ldots \rangle$ . Множество $A$ в этом случае называется носителем (или основным множеством) системы, набор функциональных и предикатных символов с их арностями $\langle F,\;R,\;\langle n_{1},\;\ldots n_{i},\;\ldots \rangle ,\;\langle m_{1}\ldots m_{i},\;\ldots \rangle \rangle$ — её сигнатурой. Система с пустым множеством отношений называется универсальной алгеброй (в контексте предмета — чаще просто алгеброй), а с пустым множеством операций — моделью^[18] или системой отношений, реляционной системой^[19].

В эту абстракцию вписываются все базовые общеалгебраические структуры, например частично упорядоченное множество — реляционная система, наделённая бинарным отношением частичного порядка, а группа — алгебра, снабжённая нульарной операцией^[20], выделяющей нейтральный элемент, унарной операцией получения обратного элемента и бинарной ассоциативной операцией.

Благодаря тому, что любую $n$ -арную операцию $f\colon A^{n}\to A$ можно представить как $(n+1)$ -мерное отношение $\mathrm {r} f=\{\langle a_{1},\;\ldots ,\;a_{n},\;a_{n+1}\rangle \mid a_{n+1}=f(a_{1},\;\ldots ,\;a_{n})\}$ , любые алгебраические системы могут быть исследованы как модели, теоретико-модельным инструментарием^[21].

Основные конструкции

Для алгебраических систем вводятся конструкции, характерные для всех базовых общеалгебраических структур: подсистема (подалгебра, подмодель), как подмножество носителя системы, замкнутое относительно всех операций и отношений, гомоморфизма систем, как отображения между системами одного типа, сохраняющий основные операции и отношения, изоморфизма, как обратимого гомоморфизма, автоморфизма как изоморфизма на себя. Введение понятия конгруэнции как стабильного отношения эквивалентности на системе позволяет построить такую конструкцию, как факторсистему (факторалгебру, фактормодель) — систему над классами эквивалентности. При этом доказана общая для всех алгебраических систем теорема о гомоморфизме, утверждающая, что для любого гомоморфизма $\varphi \colon {\mathfrak {A}}(A,\;\Sigma )\to {\mathfrak {A}}'(A',\;\Sigma )$ естественное отображение факторсистемы по ядерной конгурэнции ${\mathfrak {A}}/\{(x,\;y)\in A\times A'\mid \varphi (x)=\varphi (y)\}$ в ${\mathfrak {A}}'$ является гомоморфизмом, а в случае алгебр — изоморфизмом.

Все подсистемы алгебраической системы $\mathbf {Sub} \,{\mathfrak {A}}$ образуют полную решётку, кроме того, любая алгебраическая решётка (то есть решётка, каждый элемент которой представим как точная верхняя грань её компактных элементов) изоморфна решётке подалгебр некоторой универсальной алгебры^[22]. Исследованы группы автоморфизмов алгебраических систем $\mathbf {Aut} \,{\mathfrak {A}}$ ^[23], решётки конгруэнций $\mathbf {Con} \,{\mathfrak {A}}$ . В частности, показано, что для любой группы $G$ и решёток $L_{0}$ и $L_{1}$ существует такая универсальная алгебра ${\mathfrak {A}}$ , что $G\cong \mathbf {Aut} \,{\mathfrak {A}}$ , $L_{0}\cong \mathbf {Sub} \,{\mathfrak {A}}$ , $L_{1}\cong \mathbf {Con} \,{\mathfrak {A}}$ .

Над семейством алгебраических систем одного типа определяется прямое произведение $\prod _{i\in I}{{\mathfrak {A}}_{i}(A_{i},\;\langle f_{1}\colon A^{n_{1}}\to A,\;\ldots f_{i}\colon A^{n_{i}}\to A,\;\ldots \rangle ,\;\langle r_{1}\subseteq A^{m_{1}},\;\ldots r_{i}\subseteq A^{m_{i}},\;\ldots \rangle )}$ как система, операции и отношения которой покоординатно определены на декартовом произведении носителей: то есть для $f_{k}\colon (\prod _{i\in I}A_{i})^{n_{k}}\to \prod _{i\in I}A_{i}$ — $f_{k}(\langle \ldots a_{i,\;1}\ldots \rangle ,\;\ldots ,\;\langle \ldots a_{i,\;n_{k}}\ldots \rangle )=\langle \ldots ,\;f(a_{i,\;1},\;\ldots a_{i,\;n_{k}}),\;\ldots \rangle$ , а для $r_{k}\subseteq (\prod _{i\in I}A_{i})^{n_{k}}$ — $\{\langle \ldots ,\;r(a_{i,\;1},\;\ldots ,\;a_{i,\;k}),\;\ldots \rangle \mid a_{i,\;j}\in A_{i},\;i\in I,\;1\leqslant j\leqslant k\}$ . Проекциями прямого произведения являются естественные сюръективные гомоморфизмы $\pi _{k}\colon \prod _{i\in I}{{\mathfrak {A}}_{i}}\to {\mathfrak {A}}_{k}$ , восстанавливающие операции и отношения в компонентах произведения. Декартовой степенью алгебраической системы называется прямое произведение с самой собой: ${\mathfrak {A}}^{n}=\prod _{i=1}^{n}{{\mathfrak {A}}_{i}}$ ; решётку конгруэнций алгебры $\mathbf {Con} \,{\mathfrak {A}}$ в этом смысле можно рассмотреть как входящую в решётку подалгебр её декартова квадрата $\mathbf {Sub} \,{\mathfrak {A}}^{2}$ , притом установлено, что она является в ней полной подрешёткой^[24].

Многообразия

Многообразие алгебраических систем (или эквациональный класс) — класс алгебраических систем фиксированной сигнатуры, аксиоматизируемый набором тождеств, выраженных в термах сигнатуры, это понятие обобщает такие специальные аксиоматически заданные классы алгебр, как класс всех полугрупп, класс всех групп, класс всех колец. Основанием для изучения такой обобщённой конструкции как многообразия является теорема Биркгофа, утверждающая, что для аксиоматизируемости тождествами непустого класса алгебраических систем ${\mathfrak {K}}$ необходимо и достаточно, чтобы он содержал:

декартово произведение произвольной последовательности ${\mathfrak {K}}$ (был мультипликативно замкнутым);
любую подсистему произвольной ${\mathfrak {K}}$ -системы (являлся наследственным);
гомоморфный образ любой ${\mathfrak {K}}$ -системы (был гомоморфно замкнутым)^[25].

Третье условие эквивалентно замкнутости относительно факторсистем.

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

Дополнительно к многообразиям изучены такие более общие классы систем, как предмногообразия (реплично полные классы) — классы, замкнутые относительно подалгебр и декартовых произведений, содержащие одноэлементную систему и квазимногообразия — классы, аксиоматизируемые вместо набора тождеств набором квазитождеств (определёнными дизъюнктами Хорна), а также конечно-замкнутные варианты многообразий и квазимногообразий — псевдомногообразия и псевдоквазимногообразия.

Свободные алгебры

Специальные алгебры

Категории алгебраических систем

Приложения

Примечания

↑ Whitehead, Alfred North. A treatise on universal algebra, with applications. — Cambridge: Cambridge University Press, 1898. — 547 p.
↑ ¹ ² Кон, 1969, с. 11.
↑ Мальцев, 1970, с. 7.
↑ Гретцер, 2008, Although Whitehead recognized the need for universal algebra, he had no results. The first results were published by G. Birkhoff in the thirties, p. vii.
↑ Henkin L. Some interconnections between modern algebra and mathematical logic (англ.) // Transactions of the American Mathematical Society. — 1953. — Vol. 74. — P. 410—427. — ISSN 0002-9947. Архивировано 21 сентября 2015 года.
↑ А. И. Мальцев. К общей теории алгебраических систем (рус.) // Математический сборник. — 1954. — Т. 35, № 77. — С. 3—20.
↑ Abraham Robinson. Note on an embedding theorem for algebraic systems (англ.) // Journal of the London Mathamtical Society. — 1955. — Vol. 30. — P. 249—252.
↑ Bjarni Jónsson. Universal relational systems (англ.) // Mathematica Scandinavica. — 1957. — No. 5. — P. 224—229. — ISSN 0025-5521.
↑ Мальцев А. И. Об одном общем методе получения локальных теорем теории групп // Учёные записки Ивановского государственного педагогического института. Серия физико-математических наук. — 1941. — Т. 1, № 1. — С. 3—20.
↑ Гретцер, 2008, Mal'cev's 1941 paper was the first one, but it went unnoticed because of the war. After the war, A. Tarski, L. A. Henkin, and A. Robinson began working in this field and they started publishing their results about 1950. A. Tarski's lecture at the International Congress of Mathematicians (Cambridge, Massachusetts, 1950) may be considered as the beginning ofthe new period., p. viii.
↑ Гретцер, 2008, Marczewski emphasized the importance of bases of free algebras; he called them independent sets. As a result Marczewski, J. Mycielski, W. Narkiewicz, W. Nitka, J. Plonka, S. Swierczkowski, K. Urbanik, and others were responsible for more than 50 papers on the algebraic theory of free algebras, p. viii.
↑ Higgins P. J. Groups with multiple operators (англ.) // Proceedings of the London Mathematical Society. — 1956. — Vol. 6, no. 3. — P. 366—416. — doi:10.1112/plms/s3-6.3.366.
↑ Курош А. Г. Лекции по общей алгебре / под ред. О. Н. Головин — 2-е изд. — М.: Наука, 1973. — 400 с. — ISBN 978-5-8114-0617-3
↑ Общая алгебра, 1991, с. 45.
↑ Плоткин Б. И. Универсальная алгебра, алгебраическая логика и базы данных. — М.: Наука, 1991. — 448 с. — 3960 экз. — ISBN 5-02-014635-8.
↑ Гретцер, 2008, p. 584.
↑ Президиум РАН решил (октябрь—ноябрь 2007 г.) // Вестник Российской академии наук. — 2008. — Т. 78, вып. 3. — С. 286. Архивировано 9 декабря 2014 года.
↑ Мальцев, 1970.
↑ Гретцер, 2008, p. 8.
↑ Предполагается, что $A^{0}=\varnothing$
↑ Общая алгебра, 1991, с. 313.
↑ Гретцер, 2008, Theorem 2, p. 48.
↑ Плоткин Б. И. Группы автоморфизмов алгебраических систем. — М.: Наука, 1966. — 603 с. — 6000 экз.
↑ Общая алгебра, 1991, с. 302.
↑ Мальцев, 1970, pp. 337—339.

Литература

Артамонов В. А. . Глава VI. Универсальные алгебры // Общая алгебра / Под общ. ред. Л. А. Скорнякова. — М.: Наука, 1991. — Т. 2. — С. 295—367. — 480 с. — (Справочная математическая библиотека). — 25 000 экз. — ISBN 5-9221-0400-4.
Кон П. Универсальная алгебра. — М.: Мир, 1969. — 351 с.
Мальцев А. И. Алгебраические системы. — М.: Наука, 1970. — 392 с. — 17 500 экз.
Grätzer, George. Universal Algebra. — 2nd. — Springer, 2008. — 585 с. — ISBN 978-0-387-77486-2.

[1] Whitehead, Alfred North. A treatise on universal algebra, with applications. — Cambridge: Cambridge University Press, 1898. — 547 p.

[_238c8b7a9a9367e5-2] ¹ ² Кон, 1969, с. 11.

[_be28ea9b7dc39b17-3] Мальцев, 1970, с. 7.

[_28415f46967140a2-4] Гретцер, 2008, Although Whitehead recognized the need for universal algebra, he had no results. The first results were published by G. Birkhoff in the thirties, p. vii.

[5] Henkin L. Some interconnections between modern algebra and mathematical logic (англ.) // Transactions of the American Mathematical Society. — 1953. — Vol. 74. — P. 410—427. — ISSN 0002-9947. Архивировано 21 сентября 2015 года.

[6] А. И. Мальцев. К общей теории алгебраических систем (рус.) // Математический сборник. — 1954. — Т. 35, № 77. — С. 3—20.

[7] Abraham Robinson. Note on an embedding theorem for algebraic systems (англ.) // Journal of the London Mathamtical Society. — 1955. — Vol. 30. — P. 249—252.

[8] Bjarni Jónsson. Universal relational systems (англ.) // Mathematica Scandinavica. — 1957. — No. 5. — P. 224—229. — ISSN 0025-5521.

[9] Мальцев А. И. Об одном общем методе получения локальных теорем теории групп // Учёные записки Ивановского государственного педагогического института. Серия физико-математических наук. — 1941. — Т. 1, № 1. — С. 3—20.

[_23f0404fa2f6e73d-10] Гретцер, 2008, Mal'cev's 1941 paper was the first one, but it went unnoticed because of the war. After the war, A. Tarski, L. A. Henkin, and A. Robinson began working in this field and they started publishing their results about 1950. A. Tarski's lecture at the International Congress of Mathematicians (Cambridge, Massachusetts, 1950) may be considered as the beginning ofthe new period., p. viii.

[_2245b3179e256d2e-11] Гретцер, 2008, Marczewski emphasized the importance of bases of free algebras; he called them independent sets. As a result Marczewski, J. Mycielski, W. Narkiewicz, W. Nitka, J. Plonka, S. Swierczkowski, K. Urbanik, and others were responsible for more than 50 papers on the algebraic theory of free algebras, p. viii.

[12] Higgins P. J. Groups with multiple operators (англ.) // Proceedings of the London Mathematical Society. — 1956. — Vol. 6, no. 3. — P. 366—416. — doi:10.1112/plms/s3-6.3.366.

[13] Курош А. Г. Лекции по общей алгебре / под ред. О. Н. Головин — 2-е изд. — М.: Наука, 1973. — 400 с. — ISBN 978-5-8114-0617-3

[_3e6f72c10ff7b0b6-14] Общая алгебра, 1991, с. 45.

[15] Плоткин Б. И. Универсальная алгебра, алгебраическая логика и базы данных. — М.: Наука, 1991. — 448 с. — 3960 экз. — ISBN 5-02-014635-8.

[_1be87b00d92e42c3-16] Гретцер, 2008, p. 584.

[17] Президиум РАН решил (октябрь—ноябрь 2007 г.) // Вестник Российской академии наук. — 2008. — Т. 78, вып. 3. — С. 286. Архивировано 9 декабря 2014 года.

[_6d4c81ca37052860-18] Мальцев, 1970.

[_89ac7f469cd1d59a-19] Гретцер, 2008, p. 8.

[20] Предполагается, что $A^{0}=\varnothing$

[_0f21b00e21efb19a-21] Общая алгебра, 1991, с. 313.

[_237aa219a93900a4-22] Гретцер, 2008, Theorem 2, p. 48.

[23] Плоткин Б. И. Группы автоморфизмов алгебраических систем. — М.: Наука, 1966. — 603 с. — 6000 экз.

[_0f21af0e21efafc4-24] Общая алгебра, 1991, с. 302.

[_13ba9df31626eadc-25] Мальцев, 1970, pp. 337—339.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]