Четность в теории узловВ работе исследуются теории узлов, обладающие свойством четности перекрестков: каждый перекресток объявляется четным или нечетным со-гласно некоторому наперед заданному правилу. Если это правило удовле-творяет набору простых аксиом, связанных с движениями Рейдемейстера, это приводит к возможности построения простых инвариантов, решающих проблему минимальности, а также инвариантных отображений на множе-стве узлов.Самым главным примером теории узлов с четностью является теория виртуальных узлов. С использованием четности, происходящей из гауссо-вых диаграмм, мы показываем, что даже резкое упрощение теории вир-туальных узлов -теория свободных узлов -допускает простые и глубоко нетривиальные инварианты, что является решением проблемы Тураева, предположившего, что все свободные узлы тривиальны.В работе доказывается, что свободные узлы, вообще говоря, не обра-тимы, и приводятся инварианты, распознающие обратимость свободных узлов.Переход к обычным виртуальным узлам позволяет усиливать извест-ные инварианты (такие, как скобка Кауфмана) посредством соображений, связанных с четностью.Обсуждаются другие примеры теорий узлов с четностью. Библиография: 27 названий.Ключевые слова: узел, зацепление, граф, атом, виртуальный узел, четность, скобка Кауфмана, минимальность. § 1. Введение Как известно со времен К. Гаусса, узел можно кодировать хордовой диаграм-мой с некоторой дополнительной информацией. Рассматривая диаграмму узла как погружение окружности в плоскость и соединяя на окружности хордами те точки, которые имеют одинаковые образы, мы получаем хордовую диаграмму. Гауссовой диаграммой называется хордовая диаграмма, снабженная дополни-тельной информацией: указанием на хорде знака перекрестка (плюс для и минус для ), а также стрелкой, направленной от прообраза дуги, образующей переход, к прообразу дуги, образующей проход.Скажем, что две хорды зацеплены, если концы одной из них лежат в разных компонентах связности множества, полученного удалением из окружности кон-цов другой. Назовем хорду четной, если количество хорд, зацепленных с ней, Работа выполнена при частичной поддержке Российского фонда фундаментальных ис-следований (грант № 07-01-00648) и Аналитической ведомственной целевой программы "Раз-витие научного потенциала высшей школы". четно, и нечетной в противном случае (считается, что хорда не зацеплена са-ма с собой). Далее для хорд a, b будем писать ⟨a, b⟩ = 0 ∈ Z 2 , если a, b не зацеплены, и ⟨a, b⟩ = 1 ∈ Z 2 , если они зацеплены.Как было замечено Гауссом, все хорды гауссовой диаграммы классического узла четные.Движения Рейдемейстера для диаграмм классических узлов естественным образом переписываются на языке гауссовых диаграмм. При этом не всякая гауссова диаграмма реализует классический узел. В частности, к таким нере-ализуемым диаграммам относятся диаграммы, имеющие нечетные хорды.Виртуальный узел (см.[1]) возникает как естественное обобщение класси-ческого узла. Это класс эквивалентности произвольных гауссовых диаграмм по формальным движениями Рейдемейстера. Оказывается, наличие нечетных ...