子羣的判定定理
子羣判定定理:
設G是一個羣 ,H是其子羣。 若H的左陪集與右陪集總是相等(對任何的a∈G,aH=Ha), 則稱H是G的正規子羣或不變子羣,記爲H⊴G。
注:(1) 任何羣G都有正規子羣,因爲G的兩個平凡子羣G和{e}都是G的正規子羣。 (2) 若G是交換羣, 則G的所有子羣都是正規子羣。
驗證H爲G的一個子羣H≤G,需要驗證下面幾條:
1. G的運算是H的運算,運算封閉性
2. 存在單位元
3. 每個元素都存在逆元。
結合律不需要驗證,在大的集合G中滿足結合律,在小集合H內自然滿足。
實際上我們不需要驗證這三條。
定理2:設G 是羣,則非空子集合H≤G當且僅當:
[公式]
證明:(1)說明G的運算也是H的運算,(2)說明H中每個元素都有逆。從而 [公式] ,H有單位元。
我們更常用的是將這兩條結合在一起的子羣判定定理:
定理3:設G 是羣,則非空子集合H≤G當且僅當:
[公式]
顯然,只需證明充分性:(1) [公式]
(2) [公式] (3)[公式]
對於一個有限子集合,我們甚至可以只驗證運算是封閉的,也就是是子集合上的運算。
推論1:設G是羣,則非空有限子集合H≤G當且僅當: ∀a,b∈H⇒ab∈H.
證明:(充分性)有限子集H上運算滿足消去律,從而是羣. 當然也可以直接構造出單位元和每個元素的逆元。由運算封閉性 [公式] ,只需注意H是有限集合,故必存在某個s>t,使得 [公式] ,在羣G中利用消去律,可得 [公式]
-
工大科雅溫控器費電嗎
不費電的。這個東西一般由傳感器、信號處理與顯示和執行電路、電磁閥或微電機執行機構等組成,沒有加熱器沒有大電機,所以功率很小。...
-
1997年11月19日是幾歲2021
1997年11月19日是2021年是24週歲。出生於11月19日的人,總是喜歡將自己所學所感「秀」給別人知道。如果是內向的人可能會選擇透過日記、書信、短文等文字形式,或素描、繪畫等藝術形式,將肚子裏的墨水「秀」出來。至於外向的人乾脆就直接透過與社會的互動,來貢獻自己...
-
你像誰怎麼幽默回答
你可以回答他:我像你呀,你看我們兩個都是兩條眉毛,兩個眼睛,一個鼻子,一個嘴巴,兩個耳朵,兩條胳膊,兩隻手,兩條腿,兩個腳。而且我們都是黃面板,我們都是黑頭髮,而且我們還都是黑眼珠,你看我們兩個長的多像呀,難道我們就是失散多年的姐妹嗎...
-
37度室外溫度什麼概念
室外溫度37度算是一個較熱的天氣,指的就是37度的高溫,其實在我們眼裏其實算是比較高的了。如果呆在戶外我們會流汗。...