Общая алгебра

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

Примерами алгебраических структур с бинарной операцией являются полугруппы, моноиды, группы, квазигруппы, полурешётки, с двумя бинарными операциями — кольца, почтикольца, поля, решётки. Более сложными примерами алгебраических структур являются модули над кольцами, векторные пространства, алгебры над кольцами, алгебры Ли. Особо изучаются тернарные алгебры, полиадические алгебры (например, полиадические группы), многосортные алгебры.

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

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