พชร พลอยเพ็ชร์
(จุฬาลงกรณ์มหาวิทยาลัย, 2562)
ในโครงงานนี้ กำหนดให้ X เป็นเซตจำกัดที่ไม่ใช่เซตว่าง เราศึกษากึ่งกรุปย่อย Tp,x ของกึ่งกรุปการแปลงเต็มบน X และศึกษาสับเซต Tp,k ของ Tp,x ซึ่งเป็นกึ่งกรุปย่อยปกติภายใต้การประกอบ และสุดท้ายได้ให้ตัวอย่างสมาชิกปกติของ Tp,x – Tp,k