Pygame實作 Flappy Bird pygame是什麽 -跨平台的python庫 -專為電子游戲設計 代碼 游戲對象 玩家 class Player(pygame.sprite.Sprite): def __init__(self):

取自Serge Lang 的 Algebra. 證明 先證明$N$和$N'$分別在$G$和$G'$中是正規子群. 假設存在$(a,c),(b,c)\in H$，則$(ab^{-1},e'),(b^{-1}a,e')\in H$，其中$e'$是$G'$的單位元. 那麽$ab^{-1},b^{-1}a$就屬於$N=ker(p_2)$，既$a\in bN$和$a\in Nb$. 因此$N$是$G$的正規子群，相似的可以證明$N'$是$G'$的正規子群. 此時我們定義$\phi(a,b)\rightarrow (aN,bN')$，顯然這是同態，這時只要證明對於每個像的左分量都對應唯一一個右分量. 假設有$\phi(a,b)=(aN,bN')$和$\phi(a',b)=(a'N,bN')$，則$a(a')^{-1}\in N$，因此$aN=a'N$. 於是有$$G/N\cong G'/N'$$.