Группа узла

Группа узла — характеристика узла, определяемая как фундаментальная группа его дополнения.

Связанные понятия

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

Сателлитный узел — конструкция позволяющая построить новый узел из двух узлов с определёнными дополнительными структурами.

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

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

Квазициклическая p-группа, для фиксированного простого числа p — это единственная p-группа, в которой из любого элемента можно извлечь ровно p корней p-й степени.

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

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

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

Тривиальный узел (или незаузлённый узел) — частный случай топологического узла, определённый объект математической теории узлов.

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

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

В математике свободная абелева группа (свободный Z-модуль) — это абелева группа, имеющая базис, то есть такое подмножество элементов группы, что для любого её элемента существует единственное его представление в виде линейной комбинации базисных элементов с целыми коэффициентами, из которых только конечное число являются ненулевыми. Элементы свободной абелевой группы с базисом B называют также формальными суммами над B. Свободные абелевы группы и формальные суммы используются в алгебраической топологии...

В теории узлов число пересечений узла — это наименьшее число пересечений на любой диаграмме узла. Число пересечений является инвариантом узла.

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

В теории узлов многочлен узла — это инвариант узла в виде многочлена, коэффициенты которого кодируют некоторые свойства данного узла.

Полная линейная группа векторного пространства V — это группа обратимых линейных операторов вида C: V → V. Роль групповой операции играет обычная композиция линейных операторов.

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

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

Действие группы на некотором множестве объектов позволяет изучать симметрии этих объектов с помощью аппарата теории групп.

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

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

Максимальная компактная подгруппа K топологической группы G — это компактное пространство с индуцированной топологией, максимальное среди всех подгрупп. Максимальные компактные подгруппы играют важную роль в классификации групп Ли и, особенно, в классификации полупростых групп Ли. Максимальные компактные подгруппы групп Ли в общем случае не единственны, но единственны с точностью до сопряжённости — они являются существенно сопряжёнными.

Бесконечная группа — группа с бесконечным числом элементов, в противоположность конечным группам.

В теории узлов хиральный узел — это узел, который не эквивалентен своему зеркальному отражению. Ориентированный узел, эквивалентный своему зеркальному отражению, называется амфихиральным узлом или ахиральным узлом. Хиральность узла является инвариантом узла. Хиральность узлов можно далее классифицировать в зависимости от того, обратим он или нет.

Группа классов преобразований поверхности — это группа гомеоморфизмов с точностью до непрерывной деформации.

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

В математической теории узлов, движением (преобразованием) Рейдемейстера называют одно из трёх...

Подробнее: Движение Рейдемейстера

Некоммутативная криптография — область криптологии, в которой шифровальные примитивы, методы и системы основаны на некоммутативных алгебраических структурах.

Группа G называется просто приводимой, или SR-группой (от англ. simply reducible), если она обладает следующими свойствами: каждый элемент группы G сопряжён со своим обратным и в разложении тензорного произведения любых двух неприводимых представлений группы G каждое неприводимое представление входит не более одного раза. Этот класс групп был введён лауреатом нобелевской премии по физике Юджином Вигнером в связи с задачами на собственные функции уравнения Шрёдингера квантовой механики. Данный класс...

В математике путь в топологическом пространстве X — это непрерывное отображение f из единичного отрезка I = в X...

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

Следующий список содержит конечные группы малого порядка с точностью до изоморфизма групп.

Таблица характеров — это двумерная таблица, строки которой соответствуют неприводимым представлениям группы, а столбцы которой соответствует классам сопряжённости элементов группы. Элементы матрицы состоят из характеров, следов матриц, представляющих группу элементов класса столбца в определяемом строкoй представлении группы.

В теории узлов число отрезков — это инвариант узла, определяющий наименьшее число прямых «отрезков», которые, соединяя конец к концу, образуют узел. Конкретнее, для любого узла K число отрезков K, обозначается stick(K), — это наименьшее число звеньев ломаной, эквивалентной K.

Система Штейнера (названа именем Якоба Штейнера) — вариант блок-схем, точнее, t-схемы с λ = 1 и t ≥ 2.

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

Подробнее: Узел (информатика)

В теории узлов мутация — это операция над узлом, которая может привести к другому узлу.

Функторы Ext — производные функторы функтора Hom. Они впервые появились в гомологической алгебре, где они играют центральную роль, например, в теореме об универсальных коэффициентах, но теперь они используются во многих разных областях математики.

Подробнее: Функтор Ext

Теорема о классификации простых конечных групп — теорема теории групп, классифицирующая с точностью до изоморфизма простые конечные группы.

Расшире́ние Галуа́ — алгебраическое расширение поля E/K, являющееся нормальным и сепарабельным. При этих условиях E будет иметь наибольшее количество автоморфизмов над K (если E конечно, то количество автоморфизмов также конечно и равно степени расширения ).

Сложные се́ти или комплексные сети (англ. complex networks) — это существующие в природе сети (графы) обладающие нетривиальными топологическими свойствами.

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

Цикломати́ческая сло́жность програ́ммы (англ. cyclomatic complexity of a program) — структурная (или топологическая) мера сложности компьютерной программы. Мера была разработана Томасом Дж. Маккейбом в 1976 году.

Фундамента́льная гру́ппа — определённая группа, которая сопоставляется топологическому пространству.

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

Гру́ппа Галуа́ — группа, ассоциированная с расширением поля. Играет важную роль при исследовании расширений полей, в частности, в теории Галуа. Это понятие (в контексте группы перестановок корней многочлена) ввёл в математику Эварист Галуа в 1832 году.

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

Подробнее: Фундаментальная область

Решётка (англ. Grid network, иногда также mesh, например 3D-mesh) — понятие из теории организации компьютерных сетей. Это топология, в которой узлы образуют регулярную многомерную решётку. При этом каждое ребро решётки параллельно её оси и соединяет два смежных узла вдоль этой оси. Не следует путать с понятием Грид, обозначающем вычислительную систему.

Топологи́ческая гру́ппа (непрерывная группа) — это группа, которая одновременно является топологическим пространством, причём умножение элементов группы G × G → G и операция взятия обратного элемента G...

Изоморфизм групп — взаимно-однозначное соответствие между элементами двух групп, сохраняющее групповые операции.

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