為什麼這篇代數 group鄉民發文收入到精華區：因為在代數 group這個討論話題中，有許多相關的文章在討論，這篇最有參考價值！作者jason8002 (一個人一杯咖啡)看板Math標題[代數] group中的subgroup時...
代數 group 在 ??? 政大 | 科系職涯訪談 | 個人成長 | IG經營 Instagram 的最佳解答
2021-07-11 08:50:48
到底要選數A還是數B？ 帶你快速了解差異！ 還在迷茫的人也有解法！ 這次想要跟大家分享的是數A、數B的比較 勇了表格的方式呈現希望大家更能夠理解 如果大家覺得受用，可以分享給你們的朋友！ 那因為Jin最近真的有點忙 （雖然已經考完期末了… 所以最近邀請Jin的表妹來幫忙撰寫一些文章 那圖片的部...
一般來說
group有四個定義
給定一個集合G,我們在集合內做"*"運算,並且都符合以下四個定義:
1.封閉性(若a,b包含於G 則 a*b包含於G)
2.{associative law}結合律(若a,b,c包含於G,則(a*b)*c=a*(b*c)
3.identity(在G中存在一個e使得所有G中元素g都有
g*e=e*g=g)
4.inverse(對G任一元素g都可在G中找到某一元素g'得
g*g'=g'*g=e)
問題來了
對於subgroup的驗證,我們只需檢查第1點(封閉性)跟第4點(inverse)
為何第2點跟第3點不用驗證?
第二點是很好理解啦
第三點我就不太懂了@@"
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 122.116.117.59
推 znmkhxrw :第三點要阿 可是你只要確定那個e落在你的subset即可 08/11 22:45
→ jason8002 :他說不用 說是第一點跟第四點就可以推得第三點 08/11 22:48
→ kemowu :先用4再用1 08/11 22:54
→ Vulpix :你應該還需要那個"subgroup"非空…… 08/11 23:08
→ Vulpix :而通常我們都選擇驗證「e \in G」 08/11 23:11
→ lucifiel1618:因為g和g'都在G裡面，而G又有封閉性，那g*g'=e當然在 08/11 23:23
→ lucifiel1618:G裡面 08/11 23:23
→ jason8002 :那還需證明"subgroup"非空? 08/11 23:27
→ Vulpix :注意第1,4點，開頭都是「for all elements in G...」 08/12 00:24
→ Vulpix :所以如果那個"subgroup"空掉了，這兩敘述都自然成立 08/12 00:25
→ Vulpix :但是真的subgroup一定不是空的啊 08/12 00:26