|
สมัครสมาชิก | คู่มือการใช้ | รายชื่อสมาชิก | ปฏิทิน | ข้อความวันนี้ | ค้นหา |
|
เครื่องมือของหัวข้อ | ค้นหาในหัวข้อนี้ |
#1
|
|||
|
|||
ปัญหาชิงรางวัลข้อที่ 15: Group Theory
ให้ $(G,*)$ เป็น group ที่มีเอกลักษณ์คือ $e_G$
ถ้า $H\subseteq G$ และ $(H,*)$ เป็น group ที่มีเอกลักษณ์คือ $e_H$ จงพิสูจน์ว่า $e_G=e_H$ ป.ล. เรื่อง group เนี่ยครั้งหนึ่งเคยอยู่ในหลักสูตร ม.ปลาย แต่ปัจจุบันนี้โดนตัดออกไปแล้ว (ต้องขอขอบคุณ คุณ gon ไว้ ณ.ที่นี้ด้วยที่ให้ข้อมูลเรื่องนี้กับผม) ดังนั้นโจทย์ข้อนี้จึงถือว่าเกินหลักสูตรไปนิดหน่อย แต่ผมเห็นว่ามันน่าสนใจมาก จึงอดไม่ได้ที่จะเอามาเป็นปัญหาชิงรางวัล เรื่อง group เบื้องต้นนี่ก็ไม่มีอะไรมากครับ ใครไม่รู้ก็ศึกษาเอาจากนิยามแบบง่ายๆที่ผมให้ไว้ข้างล่างนี่ได้เลย เราจะเรียก $(G,*)$ ว่าเป็น group ถ้า $G$ เป็นเซ็ตที่ไม่ใช่เซ็ตว่าง และ $*$ เป็น operation โดยที่ $(G,*)$ มีสมบัติ 4 ข้อต่อไปนี้ 1. $a*b\in G$ สำหรับทุก $a,b\in G$ (สมบัติปิด) 2. $(a*b)*c= a*(b*c)$ สำหรับทุก $a,b,c\in G$ (สมบัติการจัดหมู่) 3. มี $e\in G$ ที่ทำให้ $a*e=e*a=a$ สำหรับทุก $\,a\in G$ เราเรียก $e$ ว่าเป็นเอกลักษณ์ของ group $(G,*)$ 4. สำหรับแต่ละ $a\in G$ จะมี $b\in G$ ที่ทำให้ $a*b=b*a=e$ เราเรียก $b$ ว่าเป็น inverse ของ $a$ และเขียนแทนด้วยสัญลักษณ์ $a^{-1}$ นิยามอันนี้ผมเขียนเอาจากในหัว ไม่ได้เปิดหนังสือ ดังนั้นถ้ามีข้อผิดพลาดประการใดก็ช่วยท้วงติงด้วยนะครับ ตัวอย่างของ group ก็เช่น $(\mathbb Z,+)$ และ $(\mathbb R^+,\times)$ แต่ $(\mathbb R,\times)$ ไม่เป็น group ครับ |
#2
|
||||
|
||||
จาก $\forall a\in H\ \Rightarrow\ a\in G$ จะได้ $e_H=aa^{-1}=e_G$
__________________
คนไทยร่วมใจอย่าใช้ภาษาวิบัติ ฝึกพิมพ์สัญลักษณ์สักนิด ชีวิต(คนตอบและคนถาม)จะง่ายขึ้นเยอะ (จริงๆนะ) Stay Hungry. Stay Foolish. |
#3
|
|||
|
|||
ยังไม่ถูกนะครับ เพราะเรายังไม่ทราบว่า inverse ของ $a$ ใน $G$ กับ inverse ของ $a$ ใน $H$ คือตัวเดียวกัน (เราจะรู้ว่าเป็นตัวเดียวกันก็ต่อเมื่อเราพิสูจน์ได้แล้วว่า $e_G=e_H$ ครับ)
|
#4
|
|||
|
|||
ที่ $(\mathbb R,\times)$ ไม่ใช่นี่
เพราะว่า ผิดกฏข้อ 4 ไหมครับ เพราะถ้าเลือก $a\ =\ 0$ แล้ว จะมี $b$ ซึ่ง $0\times b = b\times 0\ =\ 1$ ซึ่งไม่จริง ใช่จุดนี้ไหมครับ
__________________
[[:://R-Tummykung de Lamar\\::]] || (a,b,c > 0,a+b+c=3) $$\sqrt a+\sqrt b+\sqrt c\geq ab+ac+bc$$ |
#5
|
|||
|
|||
ใช่แล้วครับ
|
#6
|
|||
|
|||
ขอตอบเล่นๆ ไม่เอาคะแนนได้มั้ยครับเนี่ย แค่อยากจะเคาะสนิมวิชา algebra เฉยๆ อ่ะ
เพราะ$ e_{G}*e_{H}=e_{H}=e_{H}*e_{H} $...(*) และจาก $ e_{H}\in H \subset G \quad $ ดังนั้น มี $ e_{H}^{-1}\in G $ ซึ่ง $ e_{H}*e_{H}^{-1}=e_{G} $ จาก (*) จะได้ $\begin{array}{cr} (e_{G}*e_{H})*e_{H}^{-1}=(e_{H}*e_{H})*e_{H}^{-1} \\ e_{G}*(e_{H}*e_{H}^{-1})=e_{H}*(e_{H}*e_{H}^{-1}) \\ e_{G}*e_{G}=e_{H}*e_{G} \\ e_{G}=e_{H} \end{array} $
__________________
เกษียณตัวเอง ปลายมิถุนายน 2557 แต่จะกลับมาเป็นครั้งคราว |
#7
|
|||
|
|||
ผมสงสัยนะครับ ว่า $H$ เป็นกรุ้ปที่ได้ group structure จาก $G$ นี่ครับ (เพราะได้การคูณมาจาก $G$)
และเป็นที่ทราบกันดีว่าแต่ละกรุ้ปมี identity เพียงหนึ่งเดียว ดังนั้นมันก็แน่นอนสิครับว่า $H$ ต้องเป็น subgroup ของ $G$ (มากกว่าแค่เป็น subset) ดังนั้น $e_H=e_G$
__________________
INEQUALITY IS EVERYWHERE |
#8
|
|||
|
|||
อ้างอิง:
สำหรับคำตอบของคุณ passer-by นั้นถูกต้องแล้ว ดังนั้นคุณ passer-by จำเป็นต้องรับคะแนนไป 5 คะแนนครับ ส่วนเฉลยของผมเป็นดังนี้ครับ ให้ $e_H^{-1}$ เป็น inverse ของ $e_H$ ใน $(G,*)$ ดังนั้นเราจะได้ว่า $$e_H= e_H*e_G= e_H*(e_H*e_H^{-1})= (e_H*e_H)*e_H^{-1}= e_H*e_H^{-1}= e_G$$ อ้างอิง:
ขอเริ่มจากการแนะนำให้รู้จักกับ monoid ครับ นิยามของ monoid ก็เหมือนกับ group ที่เขียนไว้ข้างบน ต่างกันแค่จุดเดียวครับคือ monoid ไม่จำเป็นต้องมีสมบัติข้อ 4. นั่นคือ group ทุกอันเป็น monoid $(\mathbb R,\times)$ ก็เป็น monoid แต่ไม่เป็น group ครับ เป็นที่รู้กันดีว่าเอกลักษณ์ของ monoid นั้น unique เช่นเดียวกับของ group (พิสูจน์ ให้ $e$ เป็นเอกลักษณ์ของ monoid $(G,*)$ ถ้า $e'$ ก็เป็นเอกลักษณ์ของ $(G,*)$ ด้วย เราจะได้ว่า $e=e*e'=e'$) คำถาม ให้ $(G,*)$ เป็น monoid ที่มีเอกลักษณ์คือ $e_G$ ถ้า $H\subset G$ และ $(H,*)$ ก็เป็น monoid ด้วย โดยที่ $(H,*)$ มีเอกลักษณ์คือ $e_H$ จงแสดงว่า $e_H$ ไม่จำเป็นต้องเท่ากับ $e_G$ 20 กุมภาพันธ์ 2006 18:33 : ข้อความนี้ถูกแก้ไขแล้ว 1 ครั้ง, ครั้งล่าสุดโดยคุณ warut |
#9
|
|||
|
|||
ลึกซึ้งจริงๆขอคาราวะครับ
บางครั้ง common sense ก็อาจจะไม่จริง เยี่ยมจริงๆคับคุณ warut เพราะยังงี้ผมเลยไม่ชอบ algebra เลยครับ ละเอียดอ่อนจริงๆ ยิ่งเป็น semigroup ยิ่งเข้าป่าเลย
__________________
INEQUALITY IS EVERYWHERE |
#10
|
|||
|
|||
A Counterexample if we replace 'Group' with 'Monoid' :
Let G be a monoid with at least two idempotent elements. Let eH be another idempotent element distinct from eG and let H = {eH}. Then H is a subsemigroup of G. In fact, H is a group. P.S. An element a is called idempotent if a2 = a*a = a.
__________________
site:mathcenter.net คำค้น |
#11
|
|||
|
|||
ว้าว ตอบกันเร็วจริงแฮะข้อนี้ คุณ nooonuii รับไปอีก 5 คะแนนครับสำหรับคำตอบที่ถูกต้อง
เนื่องจากคำตอบของคุณ nooonuii เป็นภาษาอังกฤษ และตัวอย่างค่อนข้าง abstract ผมขออธิบายเพิ่มเติม เผื่อมีน้องๆคนไหนไม่เข้าใจนะครับ จะเห็นว่า monoid $(\mathbb R,\times)$ มี 1 เป็นเอกลักษณ์ และมี $0=0^2\ne1$ เป็น idempotent element ดังนั้นเราจึงได้ $\{0\}\subset\mathbb R$ และ $(\{0\}, \times)$ เป็น monoid (จริงๆแล้วเป็น group ด้วย) ที่มีเอกลักษณ์คือ $0\ne1$ ถ้างั้นถามต่อเลยนะครับ มีตัวอย่างที่ $H$ มีสมาชิกมากกว่า 1 ตัวไหมครับ |
#12
|
|||
|
|||
อ้างอิง:
แต่นึกไม่ออกว่าคุณ warut บอกไว้ที่ไหน ผมไปหาในกระทู้ปักหมุด ก็ไม่เจอ มาซ่อนอยู่ที่ปัญหาข้อ2 นั่นเอง อย่างงี้ จะโดนโหวตออกมั้ยครับ ท่านผู้คุมกฎ
__________________
เกษียณตัวเอง ปลายมิถุนายน 2557 แต่จะกลับมาเป็นครั้งคราว |
#13
|
|||
|
|||
ลองพิจารณาสองเซตนี้ครับ
\( G = \{ \bmatrix{0 & 0 \\ 0 & 0}, \bmatrix{1 & 0 \\ 0 & 1}, \bmatrix{1 & 1 \\ 0 & 0} \} \) \( H = \{ \bmatrix{0 & 0 \\ 0 & 0} , \bmatrix{1 & 1 \\ 0 & 0} \} \) G และ H เป็น monoid ภายใต้การคูณปกติของ matrix โดยที่ \( e_G = \bmatrix{1 & 0 \\ 0 & 1} \ \) และ \( e_H = \bmatrix{1 & 1 \\ 0 & 0} \) General Example : Let G be a monoid with at least 3 idempotent elements and two of them are the zero and identity elements, say $0_G$ and $e_G$ respectively. Let $e_H$ be another idempotent element distinct from $e_G$ and $0_G$ and let $H = \{ 0_G , e_H \}$. Then H is a subsemigroup of G with the identity element $e_H$. In this case, H is not a group. P.S. An element a is called a (two-sided) zero of G if $a*x = x*a = a $ for all $x\in G$.
__________________
site:mathcenter.net คำค้น |
#14
|
|||
|
|||
แหม คุณ nooonuii นี่ขี้เหนียวจัง ขอครั้งแรกได้ $H$ มีสมาชิก 1 ตัว ขอครั้งที่ 2 ได้ $H$ มีสมาชิก 2 ตัว แต่ไม่เป็นไรผมก็ยังให้ได้อีก 3 คะแนนสำหรับตัวอย่างอันหลังครับ (เดิมทีผมตั้งใจจะขอตัวอย่างแค่อันเดียวเท่านั้นครับ)
ตัวอย่างของผมคือ ให้ $G$ เป็นเซ็ตของ real matrices ขนาด 2 x 2 นั่นคือ $$G= \bigg\{ \pmatrix{a&b \\ c&d} \bigg| \,a,b,c,d\in \mathbb R \bigg\}$$ ถ้า $\cdot$ คือการคูณปกติของ matrix เราจะได้ $(G,\cdot)$ เป็น monoid ที่มีเอกลักษณ์ $e_G= \pmatrix{1&0 \\0&1}$ ให้ $$H=\bigg\{ \pmatrix{a&0 \\ 0&0} \bigg| \,a\in \mathbb R \bigg\} \subset G$$ เราจะได้ว่า $(H,\cdot)$ เป็น monoid ที่มีเอกลักษณ์ $e_H= \pmatrix{1&0 \\0&0}\ne e_G$ ข้อนี้ทำเสร็จกันเร็วมากๆเลยนะครับ |
#15
|
|||
|
|||
อ่า ผมคิดต่อมาจากตัวอย่างก่อนหน้านี้น่ะครับ แหะแหะ
ตัวอย่างของคุณ Warut สวยดีครับ ทำให้เห็นมุมมองของเซตของจำนวนจริงในอีกรูปแบบหนึ่ง จริงๆแล้วเซต H ของคุณ Warut มัน admit ring structure ด้วยครับ(ด้วยการบวกปกติของ matrix) ซึ่งก็ไม่ใช่อะไรอื่นไกลเพราะมันคือ Field of Real Numbers นั่นเอง
__________________
site:mathcenter.net คำค้น |
หัวข้อคล้ายคลึงกัน | ||||
หัวข้อ | ผู้ตั้งหัวข้อ | ห้อง | คำตอบ | ข้อความล่าสุด |
E8 group? | passer-by | คณิตศาสตร์อุดมศึกษา | 9 | 18 กุมภาพันธ์ 2008 05:00 |
Group Theory | kanji | พีชคณิต | 3 | 23 กันยายน 2006 21:51 |
รบกวนไขข้อข้องใจหน่อยครับ ~ graph theory | prachya | ปัญหาคณิตศาสตร์ ม.ปลาย | 1 | 18 พฤษภาคม 2006 22:48 |
euclidean group คืออะไร? | B&B | ปัญหาคณิตศาสตร์ทั่วไป | 2 | 03 กรกฎาคม 2005 09:11 |
โจทย์เกี่ยวกับ group | warut | พีชคณิต | 10 | 21 ธันวาคม 2001 18:07 |
|
|