То есть группа петель в R^3\K, в которой произведение это последовательный проход сначала одной петли, потом другой.
Если узел "сплющить" до диаграммы почти-в-плоскости, то очень естественно поставить отмеченную точку, в которой петли начинаются и заканчиваются, на бесконечности над этой плоскостью.
Тогда легко увидеть, что фундаментальная группа порождается петлями вида "спустились к диаграмме, обошли вокруг одной из нитей, поднялись обратно":
Тогда легко увидеть, что фундаментальная группа порождается петлями вида "спустились к диаграмме, обошли вокруг одной из нитей, поднялись обратно":
А соотношения приходят из перекрёстков: два обхода "нижних" нитей перекрёстка сопрягаются обходом верхней нити:
На этом рисунке γ_j=γ_i^{-1} γ_k γ_i:
спускаясь в южный квадрант, мы уходим не сразу в западный, а сначала в восточный (это γ_i), потом в верхний (γ_k), и наконец, в восточный (γ_i^{-1}).
спускаясь в южный квадрант, мы уходим не сразу в западный, а сначала в восточный (это γ_i), потом в верхний (γ_k), и наконец, в восточный (γ_i^{-1}).
Так вот: раз фундаментальная группа G=π_1(R^3\K) это инвариант, то инвариант и всё, что по ней можно построить.
Давайте посчитаем число гомоморфизмов из G в группу перестановок S_3 трёх элементов — но не любых, а таких, чтобы петля-один обход нити переходила бы в транспозицию. (Поскольку все такие обходы сопряжены, то это тоже инвариантное условие.)
Давайте посчитаем число гомоморфизмов из G в группу перестановок S_3 трёх элементов — но не любых, а таких, чтобы петля-один обход нити переходила бы в транспозицию. (Поскольку все такие обходы сопряжены, то это тоже инвариантное условие.)
И это и будут наши три цвета: ведь условие "a^{-1} b a = c" для транспозиций a,b,c из S_3 равносильно условию "либо все три совпадают, либо все три различны".
Вот, собственно, и всё — условие на правильность раскраски оказалось условием на гомоморфизм фундаментальной группы в S_3 (что соотношения выполняются). И число правильных раскрасок — это число вот таких гомоморфизмов.
Последний комментарий в виде ассоциации — шестая задача отсюда:
http://math.mosolymp.ru/upload/files/2017/khamovniki/10-1/2016.09.26_Vesa.pdf
http://math.mosolymp.ru/upload/files/2017/khamovniki/10-1/2016.09.26_Vesa.pdf
(Не буду объяснять, почему, будет подсказка, но если что, рядом лежат и решения: via http://math.mosolymp.ru/2017_khamovniki_10_1 )
math.mosolymp.ru
Хамовники — группа 10-1 | Подготовка школьников Москвы к олимпиадам по математике
Кружок в Хамовниках — 2016–2017 уч. год — группа 10-1
И на этом севшая батарея ноутбука намекает, что пора на сегодня прекратить дозволенные речи.
Вообще-то я собирался рассказывать про другое, но вчерашний доклад Микеле Триестино поменял мои планы:
Рассмотрим вот такую группу:
H_4=< a,b,c,d | aba^{-1}=b^2,
bcb^{-1}=c^2,
cdc^{-1}=d^2,
dad^{-1}=a^2 >
H_4=< a,b,c,d | aba^{-1}=b^2,
bcb^{-1}=c^2,
cdc^{-1}=d^2,
dad^{-1}=a^2 >
Собственно, индекс 4 подсказывает, что есть и группа H_n. У неё n образующих — a_1,...,a_n — и n соотношений:
a_i a_{i+1} a_i^{-1} = a_{i+1}^2.
a_i a_{i+1} a_i^{-1} = a_{i+1}^2.
Просто группы H_2 и H_3 оказываются тривиальны — а вот группа H_4 уже бесконечна. Что, впрочем, неочевидно, но пока мы в это поверим.
Так вот, с помощью этой группы Хигман в 1951-м построил первый пример бесконечной конечно-порождённой простой группы.
Так вот, с помощью этой группы Хигман в 1951-м построил первый пример бесконечной конечно-порождённой простой группы.
А именно, оказывается, что верно вот такое утверждение —
Теорема (Хигман, 1951): у группы H_n нет нетривиальных конечных факторов.