Циклічний запис (комбінаторика)

Матеріал з testwiki
Версія від 19:48, 14 липня 2024, створена imported>Олюсь
(різн.) ← Попередня версія | Поточна версія (різн.) | Новіша версія → (різн.)
Перейти до навігації Перейти до пошуку
Перестановка 8-ми елементів з двома фіксованими елементами та одним циклом на 6 елементів

.

Циклічний запис (Шаблон:Lang-en) — це угода щодо запису переставки у вигляді циклів, що в ній є.[1] Також називають коловий запис (Шаблон:Lang-en), а переставку — колова (циклічна) переставка (Шаблон:Lang-en).[2]

Визначення

Перестановка 8-ми елементів з двома фіксованими елементами та двома циклами

.

Для скінченної множини S з різними елементами

a1,,ak,k2

Вираз (a1  ak) позначає σ чиїми діями є

a1a2a3aka1.

Для кожного індексу i,

σ(ai)=ai+1,

де ak+1 означає a1.

Існує k різних виразів для того самого циклу; всі наступні представляють один цикл:

(a1 a2 a3  ak)=(a2 a3  ak a1)==(ak a1 a2  ak1).

1-елементний цикл на кшталт (3) — це тотожна переставка.[3] Тотожну переставку також можна записати як порожній цикл, "()".[4]

Приклад

Приведення переставки із двострокового запису у циклічний запис:

σ=(123456356421)=(136254361524)=(136)(25)(4)=(136)(25).

Переставка як добуток циклів

Нехай π буде переставкою в S, і нехай

S1,,SkS,k

будуть орбітами π з кількістю елементів більшою ніж 1. Розглянемо елемент Sj, j=1,,k, нехай nj позначає потужність Sj,|Sj| =nj. Також, виберемо a1,jSj, і визначимо

ai+1,j=π(ai,j),i.

Тепер ми можемо виразити π як добуток неперетинних циклів, as a product of disjoint cycles, а саме

π=(a1,1 an1,1)(a1,2  an2,2)(a1,k  ank,k).

Зауважимо, що звична домовленість в циклічному записі визначає множення зліва направо (на відміну від композиції функцій, яка зазвичай виконується справа наліво). Наприклад, добуток (1 2)(2 3) дорівнює (1 3 2), але ні (1 2 3).

Класи спряженості

Використаємо 24-елементну симетричну групу на {1,2,3,4} виражену через використання циклічного запису, і груповану відповідно до класів спряженості:

()
(12),(13),(14),(23),(24),(34) (транспозиції)
(123),(132),(124),(142),(134),(143),(234),(243)
(12)(34),(13)(24),(14)(23)
(1234),(1243),(1324),(1342),(1423),(1432)

Див. також

Примітки

Шаблон:Reflist

Джерела

  1. Fraleigh 2002:89; Hungerford 1997:230
  2. Dehn 1930:19
  3. Hungerford 1997:231
  4. Johnson 2003:691