[代數] Sylow子群的問題

看板Math作者 (nono)時間9年前 (2016/09/08 17:46), 9年前編輯推噓4(4013)
留言17則, 3人參與, 最新討論串1/1
設G是秩為p^2q^2的群,其中p,q是相異質數 要證明G的某一個Sylow子群必是正則子群 書上推論到p = 2,q = 3, 且3-Sylow子群有4個 並且2-Sylow子群的數目只能是1或3 接著假設2-Sylow子群的數目是3 然後說 找出 K normal in G ,|K|=6 ,K⊂H (其中H是某個2-Sylow子群的normalizer) 我不懂的是 為什麼|K| = 6 |K|不能 = 12嗎? 書上是有提到H不為G的正則子群 不過我看不懂是因為|K| = 6 所以H不是正則子群 還是因為H不是正則子群 所以|K|不能是12 ??? PS:另外,這是我的證明 令p<q 根據Sylow定理 1+qm = 1 or p or p^2 <case1>1+qm = 1 q-Sylow子群為正則子群 <case2>1+qm = p => q | (p-1) =>與p<q矛盾 <case3>1+qm = p^2 p^2個q-Sylow子群共有1+p^2(q^2-1) |G|=p^2q^2 因此只剩下p^2-1個元素 所以只有一個p-Sylow子群 書上則是寫了一大堆,不知道是不是因為 這個方法有哪裡不嚴謹,請順便幫我看看 感恩 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.253.1.181 ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1473328018.A.399.html

09/08 18:02, , 1F
先說後面 前面還在看
09/08 18:02, 1F

09/08 18:03, , 2F
不同的q-sylow 交集不見得是1
09/08 18:03, 2F

09/08 19:20, , 3F
喔喔對吼,感謝
09/08 19:20, 3F

09/08 21:32, , 4F
K是用group action做出來的kernel嗎
09/08 21:32, 4F

09/08 21:32, , 5F
K大小是6的話 那H應該的確不normal in G
09/08 21:32, 5F

09/08 21:36, , 6F
對,他是利用H作置換表現,我知道K若是6,H不是正則
09/08 21:36, 6F
因為[G:H]=3 根據定理(書上有提到的) 存在 K ,K is normal in G,K⊂H, 且[G:K] | [G:H]! 所以K可以等於12或6 我就是這邊不懂,為什麼不能等於12 ※ 編輯: nobrother (111.253.1.181), 09/08/2016 21:43:01

09/08 22:23, , 7F
如果=12, 則 H normal in G, 矛盾.
09/08 22:23, 7F

09/08 22:23, , 8F
為什麼H不能normal?
09/08 22:23, 8F

09/08 22:24, , 9F
因為sylow p取兩次normalizer=取一次 normalizer
09/08 22:24, 9F

09/08 22:38, , 10F
哇!第一次看到這個,我想一想
09/08 22:38, 10F

09/08 22:52, , 11F
QQ,我剛剛對H再取normalizer,還是沒甚麼想法
09/08 22:52, 11F

09/08 22:59, , 12F
假設 H=N_G(P), L=N_G(H). 有 H<L, 假設x屬於L
09/08 22:59, 12F

09/08 23:00, , 13F
則 xPx^{-1}<xHx^{-1}=H
09/08 23:00, 13F

09/08 23:00, , 14F
所以xPx^{-1}也是H的Sylow group, 因此存在y屬於H
09/08 23:00, 14F

09/08 23:02, , 15F
使得xPx^{-1}=yPy^{-1}=P, x屬於H
09/08 23:02, 15F
喔喔,太感謝了 所以L=H,否則H的Sylow group不只一個 跟P normal in H 矛盾 所以H不能在任何的G的子群裡面normal 請問我這樣的理解對嗎 ※ 編輯: nobrother (111.253.1.181), 09/09/2016 11:06:11

09/12 10:45, , 16F
其實上面已經說明完了!不需要再說明一次吧?
09/12 10:45, 16F

09/13 12:22, , 17F
哈哈,想說用自己的話再說一遍比較能理解
09/13 12:22, 17F
文章代碼(AID): #1NqJEIEP (Math)