執位

執位（permutation）係一類代數類型。佢係由一堆函數組成，佢哋嘅性質就係將個集/群入面嘅嘢調亂。情形就好似一班學生排排坐好，之後將佢哋嘅位執過。

呢個概念喺19世紀中已經有數學家討論，直到1850年左右數學家Cayley用抽象群嘅概念討論執位。

定義

執位係一個由集$A$打返去集$A$嘅可逆函數，即係$\phi :A\to A$。

執位群（Permutation Group）係一個群，入面全部都係$A$嘅執位。二元運算就係組合函數$\circ$。

例子

同微積分唔同嘅就係喺代數世界入面好少用一條公式嚟代表一個函數。例如：$\phi$係$\{1,2,3,4\}$嘅換位。可以定義，

$$\phi (1)=1,\phi (2)=4,\phi (3)=2,\phi (4)=3$$

我哋可以用一個矩陣嚟代表$\phi$：

$$\phi ={\begin{bmatrix}1&2&3&4\\\phi (1)&\phi (2)&\phi (3)&\phi (4)\end{bmatrix}}={\begin{bmatrix}1&2&3&4\\1&4&2&3\end{bmatrix}}$$

如果$\{1,2,3,4,5\}$有兩個執位

$$\phi ={\begin{bmatrix}1&2&3&4&5\\2&4&3&5&1\\\end{bmatrix}};\sigma ={\begin{bmatrix}1&2&3&4&5\\5&4&1&2&3\\\end{bmatrix}}$$

咁

$$\sigma \phi ={\begin{bmatrix}1&2&3&4&5\\2&4&3&5&1\\\end{bmatrix}}{\begin{bmatrix}1&2&3&4&5\\5&4&1&2&3\\\end{bmatrix}}={\begin{bmatrix}1&2&3&4&5\\1&5&2&4&3\\\end{bmatrix}}$$

$\sigma \phi$嘅意思係$\sigma \circ \phi$，先做$\phi$再做$\sigma$。 所以，$\sigma \phi (1)=\sigma (\phi (1))=\sigma (5)=1$。

對稱群一

三邊對稱群$S_{3}$，係所有嗚$\{1,2,3\}$自己入面嘅單對單函數。咁$S_{3}$係一個執位群，佢有六嚿嘢。

$e={\begin{bmatrix}1&2&3\\1&2&3\\\end{bmatrix}}$，$a={\begin{bmatrix}1&2&3\\2&3&1\\\end{bmatrix}}$，$a^{2}={\begin{bmatrix}1&2&3\\3&1&2\\\end{bmatrix}}$，

$b={\begin{bmatrix}1&2&3\\1&3&2\\\end{bmatrix}}$，$ab={\begin{bmatrix}1&2&3\\2&1&3\\\end{bmatrix}}$，$a^{2}b={\begin{bmatrix}1&2&3\\3&2&1\\\end{bmatrix}}$。

計下：

$ab={\begin{bmatrix}1&2&3\\2&3&1\\\end{bmatrix}}{\begin{bmatrix}1&2&3\\1&3&2\\\end{bmatrix}}={\begin{bmatrix}1&2&3\\2&1&3\\\end{bmatrix}}$

$ba={\begin{bmatrix}1&2&3\\1&3&2\\\end{bmatrix}}{\begin{bmatrix}1&2&3\\2&3&1\\\end{bmatrix}}={\begin{bmatrix}1&2&3\\1&3&2\\\end{bmatrix}}$

明顯$ab\neq ba$，所以$S_{3}$唔係阿標群。

對稱群二

如果$A=\{1,2,3,\cdots ,n\}$，一個集集合曬所有$A$嘅執位係一個$n$次對稱群，用$S_{n}$表示。

$S_{n}$嘅嘢係咁嘅樣$\sigma ={\begin{bmatrix}1&2&\cdots &n\\\sigma (1)&\sigma (2)&\cdots &\sigma (n)\end{bmatrix}}$。

對稱群有好多子群。例如：$S_{4}$有$30$個子群，$S_{5}$就有超過$100$個。

正方形旋轉反射群

將正方形嘅四隻角用$\{1,2,3,4\}$代表。將個正方形旋轉同反射組合咁佢就係一個四次嘅旋轉反射群，$D_{4}$。

佢都係一類執位群：

旋轉$90^{\circ }$就係$\rho ={\begin{bmatrix}1&2&3&4\\2&3&4&1\end{bmatrix}}$；

打橫反射就係$\phi ={\begin{bmatrix}1&2&3&4\\2&3&1&4\end{bmatrix}}$。

$D_{4}$係$S_{4}$嘅子群。

執位嘅總數

執位嘅方法總數係 $\operatorname {P} _{r}^{n}={\frac {n!}{(n-r)!}}$

睇埋

• 群
• 子群
• 循環表示
• 執位性質
• 群同位轉換