Кольцо́ в общей алгебре — алгебраическая структура, в которой определены операция обратимого сложения и операция умножения, по свойствам похожие на соответствующие операции над числами. Простейшими примерами колец являются совокупности чисел, совокупности числовых функций, определённых на заданном множестве. Во всех случаях имеется множество, похожее на совокупности чисел в том смысле, что его элементы можно складывать и умножать, причём эти операции ведут себя естественным образом.
В этой статье приведены основные термины, используемые в теории групп. Курсив обозначает внутреннюю ссылку на данный глоссарий. В конце приводится таблица основных обозначений, применяемых в теории групп.
Норма́льная подгру́ппа — подгруппа особого типа, левый и правый смежные классы по которой совпадают. Такие группы важны, поскольку позволяют строить факторгруппу.
Гру́ппа — множество, на котором определена ассоциативная бинарная операция, причём для этой операции имеется нейтральный элемент, и каждый элемент множества имеет обратный. Раздел общей алгебры, занимающийся группами, называется теорией групп.
Циклическая группа — группа , которая может быть порождена одним элементом a, то есть все её элементы являются степенями a. Математическое обозначение: .
Коммутант в общей алгебре — подсистема алгебр, содержащих групповую структуру, показывающая степень некоммутативности групповой операции.
Порядок группы — мощность носителя группы, то есть, для конечных групп — количество элементов группы. Обозначается или .
Факторгруппа — множество смежных классов группы по её нормальной подгруппе, само являющееся группой с определённой специальным образом групповой операцией.
Изоморфизм групп — взаимно-однозначное соответствие между элементами двух групп, сохраняющее групповые операции. Если существует изоморфизм между двумя группами, группы называются изоморфными. С точки зрения теории групп изоморфные группы имеют одни и те же свойства и их можно не различать.
Автоморфизм — изоморфизм между математическим объектом и им самим; отображение, изменяющее объект с сохранением всех его изначальных свойств. Множество всех автоморфизмов объекта образует группу автоморфизмов, которую можно рассматривать как обобщение группы симметрий объекта.
Теория групп — раздел общей алгебры, изучающий алгебраические структуры, называемые группами, и их свойства. Группа является центральным понятием в общей алгебре, так как многие важные алгебраические структуры, такие как кольца, поля, векторные пространства, являются группами с расширенным набором операций и аксиом. Группы возникают во всех областях математики, и методы теории групп оказывают сильное влияние на многие разделы алгебры. В процессе развития теории групп построен мощный инструментарий, во многом определивший специфику общей алгебры в целом, сформирован собственный глоссарий, элементы которого активно заимствуются смежными разделами математики и приложениями. Наиболее развитые ветви теории групп — линейные алгебраические группы и группы Ли — стали самостоятельными областями математики.
Внутренний автоморфизм — это вид автоморфизма группы, определённый в терминах фиксированного элемента группы, называемого сопрягающим элементом. Формально, если G — группа, а a — элемент группы G, то внутренний автоморфизм, определённый элементом a — это отображение f из G в себя, определённое для всех x из G по формуле
- f(x) = a−1xa.
Полная линейная группа относится к двум различным понятиям.
Упорядоченная группа — группа, для всех элементов которой определён линейный порядок, согласованный с групповой операцией. Вообще говоря, группа может быть не коммутативной.