จะใช้ First Isomorphism Theorem
เราต้องสร้างให้ $f$ เป็นฟังก์ชันทั่วถึงครับ เราจึงได้
$Im(f)=\mathbb{Z}_{p^{\infty}}$
และเราต้องสร้าง $f$ ให้ $Ker(f)=H$ ด้วยครับ
ฟังก์ชัน $f$ น่าจะมาจากคุณสมบัติของ $H$ ครับ
หน้าตาไม่น่าประหลาดมาก
__________________
site:mathcenter.net คำค้น
|