In de combinatoriek , een deelgebied van de wiskunde , is de cykelnotatie een nuttige conventie voor het uitschrijven van een permutatie in termen van haar constituerende cykels
Laat
S
{\displaystyle S}
eindige verzameling zijn en laat
a
1
,
…
,
a
k
,
k
≥
2
{\displaystyle a_{1},\ldots ,a_{k},\quad k\geq 2}
verschillende elementen van
S
{\displaystyle S}
(
a
1
…
a
k
)
{\displaystyle (a_{1}\ \ldots \ a_{k})}
duidt de cykel σ aan. De groepsactie van σ is
a
1
↦
a
2
↦
a
3
…
a
k
↦
a
1
.
{\displaystyle a_{1}\mapsto a_{2}\mapsto a_{3}\ldots a_{k}\mapsto a_{1}.}
Voor elke index i ,
σ
(
a
i
)
=
a
i
+
1
,
{\displaystyle \sigma (a_{i})=a_{i+1},}
waar
a
k
+
1
{\displaystyle a_{k+1}}
a
1
{\displaystyle a_{1}}
Er zijn
k
{\displaystyle k}
(
a
1
a
2
a
3
…
a
k
)
=
(
a
2
a
3
…
a
k
a
1
)
=
⋯
=
(
a
k
a
1
a
2
…
a
k
−
1
)
.
{\displaystyle (a_{1}\ a_{2}\ a_{3}\ \ldots \ a_{k})=(a_{2}\ a_{3}\ \ldots \ a_{k}\ a_{1})=\cdots =(a_{k}\ a_{1}\ a_{2}\ \ldots \ a_{k-1}).\,}
Een 1-element cykel heeft dezelfde betekenis als de identiteitspermutatie en wordt daarom weggelaten. Het is gebruikelijk om de identiteitspermutatie simpelweg uit te drukken als
(
)
{\displaystyle ()\,}
Permutatie als een product van cykels [ bewerken ] Laat
π
{\displaystyle \pi }
S
{\displaystyle S}
S
1
,
…
,
S
k
⊂
S
,
k
∈
N
{\displaystyle S_{1},\ldots ,S_{k}\subset S,\quad k\in \mathbb {N} }
de banen van
π
{\displaystyle \pi }
j
=
1
,
…
,
k
{\displaystyle j=1,\ldots ,k}
n
j
{\displaystyle n_{j}}
kardinaliteit van
S
j
{\displaystyle S_{j}}
a
1
,
j
∈
S
j
{\displaystyle a_{1,j}\in S_{j}}
a
i
+
1
,
j
=
π
(
a
i
,
j
)
,
i
∈
N
.
{\displaystyle a_{i+1,j}=\pi (a_{i,j}),\quad i\in \mathbb {N} .\,}
Men kan nu
π
{\displaystyle \pi }
π
=
(
a
1
,
1
…
a
n
1
,
1
)
(
a
1
,
2
…
a
n
2
,
2
)
…
(
a
1
,
k
…
a
n
k
,
k
)
.
{\displaystyle \pi =(a_{1,1}\ \ldots a_{n_{1},1})(a_{1,2}\ \ldots \ a_{n_{2},2})\ldots (a_{1,k}\ \ldots \ a_{n_{k},k}).\,}
Er zijn 24 elementen in de symmetrische groep
{
1
,
2
,
3
,
4
}
{\displaystyle \{1,2,3,4\}}
conjugatieklassen :
(
)
{\displaystyle ()\,}
(
12
)
,
(
13
)
,
(
14
)
,
(
23
)
,
(
24
)
,
(
34
)
{\displaystyle (12),\;(13),\;(14),\;(23),\;(24),\;(34)}
transposities )
(
123
)
,
(
132
)
,
(
124
)
,
(
142
)
,
(
134
)
,
(
143
)
,
(
234
)
,
(
243
)
{\displaystyle (123),\;(132),\;(124),\;(142),\;(134),\;(143),\;(234),\;(243)}
(
12
)
(
34
)
,
(
13
)
(
24
)
,
(
14
)
(
23
)
{\displaystyle (12)(34),\;(13)(24),\;(14)(23)}
(
1234
)
,
(
1243
)
,
(
1324
)
,
(
1342
)
,
(
1423
)
,
(
1432
)
{\displaystyle (1234),\;(1243),\;(1324),\;(1342),\;(1423),\;(1432)}
