Икосианы


Икосианы — это некоммутативная алгебраическая система, обнаруженная ирландским математиком Уильямом Роуэном Гамильтоном в 1856 году[1][2]. В современной терминологии он нашёл задание группы вращений икосаэдра[англ.] с помощью генераторов и связей.

Открытие Гамильтона возникло из его попыток найти алгебру «троек» (3-кортежей), которые, как он верил, будут отражать оси координат. Икосианы можно отождествить с перемещениями по вершинам додекаэдра. Работа Гамильтона в этой области косвенно привела к гамильтоновым циклам и гамильтоновым путям в теории графов[3]. Он также изобрёл игру «Икосиан» для иллюстрации и популяризации своего открытия.

Алгебра основывается на трёх символах, которые являются корнями из единицы, так что последовательное применение любого из них через некоторое число шагов приводит к единице. Это:

Операция ассоциативна, но не коммутативна. Она образует группу 60-го порядка, изоморфную группе вращений правильного икосаэдра или додекаэдра, а потому знакопеременной группе пятой степени.

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

Представим себе жука, ползущего вдоль определённого ребра додекаэдра (с помеченными вершинами) в определённом направлении, скажем, от к . Мы можем представить это как ориентированную дугу .