首頁>Club>
7
回覆列表
  • 1 # 使用者8391795956327

    這裡有個我覺得挺簡潔但又很神奇的證明,用到的工具只有排列的逆序數。發現者是 19 世紀的俄國數學家 Zolotarev. 可以簡要說說。

    如果有 個字母的一個排列 ,它總可以寫成一串對換的乘積,寫法有很多,但用到的對換的個數的奇偶性是不變的,所以可以定義 的符號 ,用到偶數個對換的時候符號是 1,用到奇數個對換的時候符號是 -1.

    符號是一個同態:如果有兩個排列 , 則

    他們乘積的符號等於符號的乘積:

    證明的思路很神奇,找兩個排列 使得他們的符號分別是 , 然後乘積的符號是 ,就成了。

    對於兩個奇素數 , 取 個字母,填入 的方格內。

    比如 的情形,可以按從左到右從上到下的順序填入 0-9a-e 十五個字母。

    沿著對角線撿起來,再橫著填到填入一個 的方格,則得到了 0-9a-e 的一個排列 .

    這裡的對角線是貪食蛇模式,如果碰到了底部就從上面繼續,碰到了右邊就從左邊繼續。這個排列的意思就是 0 -> 0, 1 -> 6, 2 -> c, 3 -> 3, 4 -> 9, ...

    現在把這 的方格的內容橫著撿起來(0 6 c 3 9 a 1 7 d 4 5 b 2 8 e),按從左到右從上到下的順序填入一個 的方格

    這一步沒有重排字母(恆同對映),只是為下一步做個準備。

    現在在 的方格里橫著撿起來,沿對角線填入

    這是另一個排列 . 這次排列以後的結果很有意思,0 1 2 3 4 變成豎著寫的了:所以 的複合,相當於 “轉置” 了原來的方格(在 3 x 5 的方格里沿對角線撿起來,橫著放下去,再橫著撿起來,沿著對角線放到 5 x 3 的方格里去,中間兩項一抵消,剩下的當然就是轉置)

    注意轉置不是平凡的排列,是把 01234... 分別變成 05a16...

    下面來計算這幾個排列的符號。

    轉置的比較好算:要把

    “恢復” 成 0123456789abcde 需要幾個對換?計算“恢復”每個字母位置對符號帶來的貢獻就行——要把 1 放到 0 的後面,需要越過 5 和 a, 兩個對換,因為我們只關心奇偶性,所以無貢獻。要把 2 放到 1 的後面,需要越過 5, a, 6, b, 總共 4 個對換,也無貢獻。可以看出 0 1 2 3 4 歸位都是無貢獻的。5 也沒有,6 就比較有趣了,只需要越過 a, 貢獻了一個 -1. 7 呢?7 每往上移動一行貢獻一個 -1, 但是需要往上移動兩行,所以 無貢獻。8 貢獻了 ,9 貢獻了 ...

    一般地如果寫成 的方格,

    只有標 "o" 的地方能給出 -1 的因子(每個 o 需要越過奇數個字母奇數次),所以轉置的符號是. 這裡就有點二次互反律的影子了。

    那麼

    的符號怎麼計算呢?計算這個才是寫成 方格的原因——沿著對角線重寫的時候,可以觀察到,每個字母所在的列都沒有變化,只是行變了,所以 其實是五個置換的乘積(每個對應一列),而且我們可以透過 “旋轉密碼鎖” 的方式(每次旋轉不改變符號),看出 和下面這個置換有相同的符號

    而這個東西的符號,其實就是第一列那個置換的符號的五次方——等於第一列那個置換的符號。

    而第一列那個置換,可以證明,就是 “乘以5” 在 上定義的置換。也就是說, 的符號就是 “乘以5” 在 上的置換的符號。

    同理, 的符號就是 “乘以3” 在 上的置換的符號。

    一般地對於 , 把 “乘以 m” 在 上的置換的符號,記作 的話,我們已經證明了

    接下來只需說明 ,而這並不難—— 是素數的時候 都是 到 的滿同態(不是完全顯然的,想想為什麼是同態,為什麼滿),而這樣的同態只有一個,所以他們一定相等。這就贏了。

    我不知道這個證明是怎麼想出來的,但是證明本身似乎比數格點之類的證明好懂一點,也難忘一點。把一個群 ({±1}) 裡的一個等式(用同態)提升到某個複雜點(所以更有資訊量)的群 (S_n) 裡證明出來,很好用,也很需要創造力。

  • 中秋節和大豐收的關聯?
  • 誅仙飛昇15級以後怎麼升級快?