終于,最后的
通宵證猜想!
兩人對(duì)視一眼,表情微妙。
“你有思路嗎?”楚龍問(wèn)。
“有一點(diǎn)。”宋河道,“你呢?”
“也有一點(diǎn)。”
“要不……一起試試?”
“上白板!”楚龍當(dāng)即決定。
宋河和楚龍同時(shí)起身,手里抓著一把寫(xiě)滿的打草紙,一路小跑穿過(guò)整個(gè)禮堂,跑到最前面的講臺(tái)上。
楚龍從后臺(tái)拖出了全部的五塊大白板,一字排開(kāi)擺在臺(tái)上。
宋河找了塊抹布,快速將白板上的字全都擦干凈。
“我寫(xiě)你寫(xiě)?”宋河問(wèn)。
“我先吧。”楚龍回頭,望向呆滯的仇靈珊,“珊珊你也來(lái)看看。”
楚龍從白板底部找到一支半殘的馬克筆,舉起胳膊在白板上快速板書(shū),急速寫(xiě)下一大串證明過(guò)程。
“我的思路是這樣,群g1對(duì)于子群n1的每個(gè)陪集都是一個(gè)等價(jià)類,通過(guò)陪集實(shí)現(xiàn)元素分類,把g1的元素映射到這里……”楚龍嘴皮子飛快地講述起來(lái)。
宋河抱著胳膊在一旁觀看,眉頭緊鎖,片刻后插話。
“有沒(méi)有考慮過(guò)把具有相同性質(zhì)的子群商掉?這樣用n2陪集是不是能代表性質(zhì)相同的全體元素?”
“我試過(guò)了,但解下來(lái)會(huì)出現(xiàn)問(wèn)題,如果你只考慮分類,后面用到的同態(tài)基本定理……”楚龍繼續(xù)板書(shū)。
宋河直搖頭,“老楚你誤入歧途了,其實(shí)用很簡(jiǎn)單的數(shù)形結(jié)合就能把這里理清。”
宋河走上前兩步,接過(guò)楚龍手中的馬克筆,在另一塊白板上快速作圖,一邊標(biāo)注圖像一邊講解。
“我把這里的陪集們看成某個(gè)取定子群的復(fù)制,就像dna分裂一樣。”
“母鏈的子群成為一個(gè)正規(guī)子群,陪集分解就能做成性質(zhì)好許多的商群,畢竟我們的目的就是分解大群,對(duì)吧?”
“所以你剛剛寫(xiě)的這一步到這一步,其實(shí)可以簡(jiǎn)略掉。”宋河畫(huà)了個(gè)大圈,“這里我講的對(duì)嗎?有沒(méi)有問(wèn)題?”
楚龍沉吟片刻,認(rèn)真點(diǎn)點(diǎn)頭,“你的辦法更快一些,但往后該怎么辦?”
“珊珊,你覺(jué)得有問(wèn)題嗎?沒(méi)問(wèn)題我們就往下走。”
宋河回頭,詢問(wèn)臺(tái)下的仇靈珊。