Русская Википедия:Лампочная группа
Лампочная группа — группа, определённым образом описывающая деятельность фонарщика. Также используются названия группа мигающих лампочек и группа фонарщика (от Шаблон:Lang-en).
Лампочная группа является важным примером в геометрической теории групп. Впервые исследовалась в 1983 году Анатолием Вершиком и Вадимом Каймановичем в контексте случайных блужданий[1].
Определение
Лампочная группа изоморфна прямому сплетению
- <math>\mathbb{Z}/2\mathbb{Z} \wr \mathbb{Z} = \left(\bigoplus_{-\infty}^\infty \mathbb{Z}/2\mathbb{Z} \right)\rtimes \mathbb{Z} </math>
циклической группы порядка два и бесконечной циклической группы.
Название группы восходит к её интерпретации как группы, действующей на конфигурациях из бесконечных в обе стороны последовательностях уличных фонарей
- <math>\dots,l_{-2},l_{-1},l_0,l_1,l_2,l_3,\dots</math>,
каждый из которых может быть включён или выключен, и фонарщика, находящегося напротив одного из фонарей <math>l_k</math>. Так, положение фонарщика кодируется элементом <math>k</math> группы <math>\mathbb Z</math>. Конфигурация фонарей же задаётся элементом бесконечной прямой суммы
- <math>\bigoplus_{-\infty}^{\infty}\mathbb{Z}/2\mathbb{Z},</math>
копий циклической группы <math>\mathbb{Z}/2\mathbb{Z}=\{0,1\}</math> порядка два, где элемент <math>0</math> соответствует потушенной керосиновой лампе, а <math>1</math> — зажжённой, причем, как подразумевает определение прямой суммы, в каждой такой конфигурации зажжено лишь конечное число ламп.
Лампочная группа имеет две образующие: <math>t</math> и <math>a</math>. Образующая <math>t</math> увеличивает на единицу число <math>k</math>, то есть перемещает фонарщика к следующей лампе, так что обратный элемент <math>t^{-1}</math> уменьшает число <math>k</math> на единицу. Образующая <math>a</math> изменяет состояние лампы <math>l_k</math> на противоположное, то есть зажигает выключенные лампы и тушит горящие. Умножение элементов группы соответствует последовательному применению данных операций.
Данное действие лампочной группы аналогично действию машины Тьюринга. Головка машины Тьюринга аналогична фонарщику. Поскольку действие каждого элемента лампочной группы изменяет состояния лишь конечного количества ламп, в каждый момент времени их зажжено лишь конечное число. Общее же количество заженных ламп, однако, неограничено. Машина Тьюринга также имеет неограниченную память, но использует лишь конечное количество памяти в каждый момент времени.
Свойства
Лампочная группа бесконечна и, как следует из её описания в виде полупрямого произведения, разрешима.
Копредставление
Стандартное задание лампочной группы возникает из структуры прямого cплетения:
- <math>\langle a, t \mid a^2=1;\ [ t^m a t^{-m} , t^n a t^{-n}]=1</math> для <math>m, n \in \mathbb{Z} \rangle</math>,
которое может быть упрощено до
- <math>\langle a, t \mid a^2=1;\ (a t^n a t^{-n})^2=1</math> для <math>n \in \mathbb{Z} \rangle</math>.
Отсутствие конечного задания
Указанное выше задание образующими и соотношениями имеет бесконечное количество соотношений. В действительности лампочная группа не является конечно представимой.
Рост
В образующих <math>a</math> и <math>t</math> лампочная группа имеет экспоненциальную степень роста. При замене этих образующих образующими <math>a</math> и <math>at</math> логарифм роста уменьшается практически в два раза.
Матричное представление
Лампочная группа изоморфна[2] группе матриц вида
- <math>\begin{pmatrix}x^k & P(x) \\ 0 & 1 \end{pmatrix},</math>
где <math>k \in \mathbb{Z}</math> и <math>P(x)</math> пробегает множество всех многочленов из <math>\mathbb{Z}/2\mathbb{Z}[x,x^{-1}]</math>. Изоморфизм имеет вид
- <math>\begin{align}
t &\mapsto \begin{pmatrix}x & 0 \\ 0 & 1 \end{pmatrix} \\
a &\mapsto \begin{pmatrix}1 & 1 \\ 0 & 1 \end{pmatrix}.
\end{align}</math>
Вариации и обобщения
Простейшим развитием описанного выше действия является действие групп <math>\mathbb{Z}/n\mathbb{Z} \wr \mathbb{Z}</math> на аналогичных конфигурациях, в которых лампы могут иметь не два состояния, а <math>n \in \mathbb N</math>. При таком обобщении многие свойства групп поменяются незначительно.
Интерпретация, аналогичная описанной выше, может быть дана произвольным спелетениям <math>G \wr H</math>. В этом случае элементы группы <math>H</math> могут быть мыслимы как фонари, а элементы группы <math>G</math> — как их некоторые состояния. Выбирая образующие групп <math>G</math> и <math>H</math>, можно считать, что фонарщик перемещается по графу Кэли группы <math>H</math> и на каждом шаге применяет к ближайшему фонарю одну из операций, соответствующих образующим группы <math>G</math>.
Примечания
Литература
- Volodymyr Nekrashevych, 2005, Self-Similar Groups, Mathematical Surveys and Monographs v. 117, American Mathematical Society, Шаблон:Isbn.
