Связанные понятия
Фраза
группа лиева типа обычно означает конечную группу, которая тесно связана с группой рациональных точек редуктивной линейной алгебраической группы со значениями в конечном поле. Термин «группа лиева типа» не имеет общепризнанного точного определения, но важный набор конечных простых групп лиева типа точное определение имеет и они составляют большинство групп в классификации простых конечных групп.
Группа G называется
просто приводимой, или SR-группой (от англ. simply reducible), если она обладает следующими свойствами: каждый элемент группы G сопряжён со своим обратным и в разложении тензорного произведения любых двух неприводимых представлений группы G каждое неприводимое представление входит не более одного раза. Этот класс групп был введён лауреатом нобелевской премии по физике Юджином Вигнером в связи с задачами на собственные функции уравнения Шрёдингера квантовой механики. Данный класс...
В математике свободная абелева группа (свободный Z-модуль) — это абелева группа, имеющая базис, то есть такое подмножество элементов группы, что для любого её элемента существует единственное его представление в виде линейной комбинации базисных элементов с целыми коэффициентами, из которых только конечное число являются ненулевыми. Элементы свободной абелевой группы с базисом B называют также формальными суммами над B. Свободные абелевы группы и формальные суммы используются в алгебраической топологии...
Максимальная компактная подгруппа K топологической группы G — это компактное пространство с индуцированной топологией, максимальное среди всех подгрупп. Максимальные компактные подгруппы играют важную роль в классификации групп Ли и, особенно, в классификации полупростых групп Ли. Максимальные компактные подгруппы групп Ли в общем случае не единственны, но единственны с точностью до сопряжённости — они являются существенно сопряжёнными.
Коммутант в общей алгебре — подсистема алгебр, содержащих групповую структуру (подгруппа, подкольцо, в наиболее общем случае — подгруппа мультиоператорной группы), показывающая степень некоммутативности групповой операции.
Гру́ппа в математике — множество, на котором определена ассоциативная бинарная операция, причём для этой операции имеется нейтральный элемент (аналог единицы для умножения), и каждый элемент множества имеет обратный. Ветвь общей алгебры, занимающаяся группами, называется теорией групп.
Аменабельная группа — локально компактная топологическая группа G, в которой возможно ввести операцию усреднения на ограниченных функциях на этой группе, инвариантную относительно умножения на любой элемент группы.
Следующий
список содержит конечные группы малого порядка с точностью до изоморфизма групп.
Теория групп — раздел общей алгебры, изучающий алгебраические структуры, называемые группами, и их свойства. Группа является центральным понятием в общей алгебре, так как многие важные алгебраические структуры, такие как кольца, поля, векторные пространства, являются группами с расширенным набором операций и аксиом. Группы возникают во всех областях математики, и методы теории групп оказывают сильное влияние на многие разделы алгебры. В процессе развития теории групп построен мощный инструментарий...
АТ-группа или группа алёшинского типа — группа автоморфизмов бесконечного слойно однородного дерева, порожденная корневыми и продольными автоморфизмами (аналог активного и пассивного порождающего в сплетениях групп).
Полная линейная группа векторного пространства V — это группа обратимых линейных операторов вида C: V → V. Роль групповой операции играет обычная композиция линейных операторов.
Действие группы на некотором множестве объектов позволяет изучать симметрии этих объектов с помощью аппарата теории групп.
Категория абелевых групп (обозначается Ab) — категория, объекты которой — абелевы группы, а морфизмы — гомоморфизмы групп. Является прототипом абелевой категории., в действительности, любая малая абелева категория может быть вложена в Ab.
Бесконечная группа — группа с бесконечным числом элементов, в противоположность конечным группам.
Монстр Тарского — бесконечная группа, каждая нетривиальная подгруппа которой является циклической группой фиксированного простого порядка.
Система Штейнера (названа именем Якоба Штейнера) — вариант блок-схем, точнее, t-схемы с λ = 1 и t ≥ 2.
Таблица характеров — это двумерная таблица, строки которой соответствуют неприводимым представлениям группы, а столбцы которой соответствует классам сопряжённости элементов группы. Элементы матрицы состоят из характеров, следов матриц, представляющих группу элементов класса столбца в определяемом строкoй представлении группы.
Степень роста группы — характеристика в теории групп, показывающая скорость прироста конечнопорождённых групп в виде класса функций, ставящих в соответствие количеству порождающих элементов порядок группы. Введена советским математиком Шварцем (1955) в рамках исследования вопроса о росте универсальных накрывающих римановых пространств и независимо от него американским математиком Милнором (1968) в связи с проблемами фундаментальных групп компактных римановых многообразий с ограничениями на кривизну...
Подгруппа Ивахори — это подгруппа редуктивной алгебраической группы над локальным полем, которая аналогична борелевской подгруппе алгебраической группы. Парахорическая подгруппа — это подгруппа, которая является конечным объединением двойных смежных классов подгрупп Ивахори, так что она является аналогом борелевской подгруппы алгебраической группы. Группы Ивахори названы именем по имени Нагаёси Ивахори, а термин "парахорическая" является слиянием слов «параболическая» и «Ивахори». Ивахори и Мацумото...
Группа антисимметрии в теории симметрии — группа, состоящая из преобразований, которые могут менять не только геометрическое положение объекта, но и также его некоторую двухзначную характеристику. Такой двухзначной характеристикой может быть, например, заряд (плюс-минус), цвет (чёрный-белый), знак вещественной функции, направление спина (вверх-вниз).
Бордизм , также бордантность — термин топологии, употребляющийся самостоятельно или в составе стандартных...
Сюрреальные числа (англ. surreal number — название принадлежит американскому математику Дональду Кнуту) впервые были использованы под другим названием («числа» — англ. number) в работах английского математика Джона Конвея для описания ряда аспектов теории игр.
Изоморфизм групп — взаимно-однозначное соответствие между элементами двух групп, сохраняющее групповые операции.
Решётка (ранее использовался термин структура) — частично упорядоченное множество, в котором каждое двухэлементное подмножество имеет как точную верхнюю (sup), так и точную нижнюю (inf) грани. Отсюда вытекает существование этих граней для любых непустых конечных подмножеств.
Гру́ппа Галуа ́ — группа, ассоциированная с расширением поля. Играет важную роль при исследовании расширений полей, в частности, в теории Галуа. Это понятие (в контексте группы перестановок корней многочлена) ввёл в математику Эварист Галуа в 1832 году.
n-Мерная
целочисленная решётка (или кубическая решётка), обозначается Zn, — это решётка в евклидовом пространстве Rn, точки которой являются n-кортежами целых чисел. Двумерная целочисленная решётка называется также квадратной решёткой. Zn является наиболее простым примером решётки корней. Целочисленная решётка является нечётной унимодулярной решёткой.
В математике термин
матрица Картана имеет три значения. Все они названы по имени французского математика Эли Картана. Фактически, матрицы Картана в контексте алгебр Ли впервые исследовал Вильгельм Киллинг, в то время как форма Киллинга принадлежит Картану.
Точечная группа в трёхмерном пространстве — это группа изометрий в трёхмерном пространстве, не перемещающая начало координат, или группа изометрий сферы. Группа является подгруппой ортогональной группы O(3), группы всех изометрий, оставляющих начало координат неподвижным, или, соответственно, группы ортогональных матриц. O(3) сама является подгруппой евклидовой группы E(3) движений 3-мерного пространства.
Диэдральная группа (группа диэдра) — группа симметрии правильного многоугольника, включающая как вращения, так и осевые симметрии. Диэдральные группы являются простейшими примерами конечных групп и играют важную роль в теории групп, геометрии и химии. Хорошо известно и совершенно тривиально проверяется, что группа, образованная двумя инволюциями с конечным числом элементов в области определения является диэдральной группой.
Мно́жество — одно из ключевых понятий математики; это математический объект, сам являющийся набором, совокупностью, собранием каких-либо объектов, которые называются элементами этого множества и обладают общим для всех их характеристическим свойством. Изучением общих свойств множеств занимаются теория множеств, а также смежные разделы математики и математической логики.
Двенадцатикратный путь или двенадцать сценариев — это систематическая классификация 12 связанных перечислительных задач, касающихся двух конечных множеств, которые включают классические задачи подсчёта перестановок, сочетаний, мультимножеств и разбиений либо множества, либо числа. Идею классификации приписывают Джиану-Карло Роту, а название двенадцатикратный путь предложил Джоэл Спенсер. Название намекает, что используя те же подходы в 12 случаях, но с небольшими изменениями в условиях, мы получаем...
Обобщённый четырёхугольник — это структура инцидентности, главное свойство которой — отсутствие треугольников (однако структура содержит много четырёхугольников). Обобщённый четырёхугольник является по определению полярным пространством ранга два. Обобщённые четырёхугольники являются обобщёнными многоугольниками с n = 4 и почти 2n-угольниками с n = 2. Они являются также в точности частичными геометриями pg(s,t,α) с α = 1.
Граф циклов группы иллюстрирует различные циклы в группе и, в частности, используется для визуализации структуры малых конечных групп.
В статье суммируется информация о классах дискретных групп симметрии евклидовой плоскости. Группы симметрии, приведённые здесь, именуются по трём схемам именования: междурародная нотация, орбифолдная нотация и нотация Коксетера.
Подробнее: Список плоских групп симметрии
Кристаллографические группы, или фёдоровские группы — набор групп симметрий, которые описывают все возможные симметрии бесконечного количества периодически расположенных точек в трёхмерном пространстве.
Подробнее: Список кристаллографических групп
Символы Шёнфлиса — одно из обозначений точечных групп симметрии, наряду с символами Германа — Могена. Предложены немецким математиком Артуром Шёнфлисом в книге «Kristallsysteme und Kristallstruktur» в 1891.
Тео́рия катего́рий — раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов.
Если дано топологическое пространство и группа действий на нём, образы отдельной точки под действием группы действий образуют орбиты действий. Фундаментальная область — это подмножество пространства, которое содержит в точности по одной точке из каждой орбиты. Она даёт геометрическую реализацию абстрактного множества представителей орбит.
Подробнее: Фундаментальная область
Размерность Вапника — Червоненкиса или VC-размерность — это характеристика семейства алгоритмов для решения задачи классификации с двумя классами, характеризующая сложность или ёмкость этого семейства. Это одно из ключевых понятий в теории Вапника-Червоненкиса о статистическом машинном обучении, названное в честь Владимира Вапника и Алексея Червоненкиса.
В математике конечное правило подразделения — это рекурсивный способ деления многоугольника и других двумерных фигур на всё меньшие и меньшие части. Правила подразделения в этом смысле является обобщением фракталов. Вместо повторения одного и того же узора снова и снова здесь имеются небольшие изменения на каждом шаге, что позволяет получить более богатые структуры, сохраняя при этом поддержку элегантного стиля фракталов . Правила подразделения используются в архитектуре, биологии и информатике...
Группа Григорчука — первый пример конечнопорождённой группы промежуточного роста (то есть её рост быстрее полиномиального, но медленнее экспоненциального).
Расшире́ние Галуа ́ — алгебраическое расширение поля E/K, являющееся нормальным и сепарабельным. При этих условиях E будет иметь наибольшее количество автоморфизмов над K (если E конечно, то количество автоморфизмов также конечно и равно степени расширения ).
Простая группа — группа, не имеющая нормальных подгрупп, отличных от всей группы и единичной подгруппы.
Во многих областях математики полезную конструкцию часто можно рассматривать как «наиболее эффективное решение» определенной проблемы. Определение универсального свойства использует язык теории категорий, чтобы сделать это определение точным и изучать его теоретическими методами.
Подробнее: Универсальное свойство