[ครูนะ]

จากที่เคยถามไปว่า
1. ให้ G เป็นกรุปการเรียงสับเปลี่ยนบนเซต S a อยู่ใน S และให้ Ga = {c อยู่ใน G โดยที่ c(a) = a}
เราเรียก Ga ว่า ตัวทำให้เสถียร ของ a ใน G จงพิสูจน์ว่า Ga เป็นกรุปย่อยของ G
2. จากโจทย์ข้อ 1 ถ้า S = {1, 2, ... , n} จงพิสูจน์ว่า Gn สมสัณฐานกับ S ของ n - 1

รบกวนคุณ NOOONUII ช่วยผมด้วยครับ
ข้อ 1. มันจะง่ายแบบว่าให้ H เป็นกรุปย่อย พิสูจน์ว่า a*b ผกผัน อยู่ใน H หรือไม่
ข้อ 2. พิสูจน์ Well defined, Injection, Surjection และ Homomorphism หรือเปล่าครับ

ข้อ 1 ใช่ครับ ไม่มีอะไรซับซ้อนเลย

ข้อ 2 ทำตรงๆครับ

นิยาม φ:Ga→Sn−1 โดย

φ(π) = π*

เมื่อ π* เป็น restriction ของ π บนเซต {1,...,n−1}
............................................................................................................................

ข้อ 1
ให้ c, d^1 อยู่ใน Ga
จะได้ว่า c*d^-1(a) = a
เพราะฉะนั้น c*d^-1 อยู่ใน Ga
^ คือ ยกกำลัง

ข้อ 2
1. ความเป็น f:1-1
ให้ x, y อยู่ใน Gn ดังนั้นถ้า φ(x) = φ(y) แล้ว x = y
2. ความเป็น onto
จาก φ(π) = π* เห็นชัดว่าเป็น onto เนื่องจาก π* บนเซต {1,...,n−1} เป็น restriction ของ n
3. สาทิฐสัณฐาน
ให้ a, b อยู่ใน Gn
จะได้ว่า φ(a*b) = a*b
และ φ(a)*φ(b) = a*b ที่ทุก a, b อยู่ใน n*
นั่นคือ φ(a*b) = φ(a)*φ(b)

รบกวนคุณ NOOONUII ช่วยผมด้วยครับ ว่ามันผิดตรงจุดไหน และข้อ 2 จะพิสูจน์ Well Definded อย่างไรครับ

ช่วงนี้ผมติดภาระงานมาก ไม่สามารถจะไปสอบ Pure ได้ (ทั้งๆ ที่สมัครสอบไปแล้ว) คงต้องรอสอบปีหน้า ในระหว่างนี้ผมคงต้องเก็บความรู้ไปเรื่อยๆ ก่อนครับ
เสียดายจริงๆ