bạn có cách nào để chứng minh cái công thức màu xanh ko á?
Tập $HK$ có thể phân tích thành hợp rời của những tập có dạng $xK$, với $x\in H.$ Như vậy $|HK|$ sẽ bằng với tập $|K|$ nhân với số lượng các tập $xK, x\in H.$ Nếu đặt $S=\{xK \mid x\in H\}$ thì có một tác động của $H$ lên tập $S$ cho bởi $(y,xK)\mapsto yxK.$ Ta thấy tác động này có một quỹ đạo duy nhất chứa $H$ nên số phần tử của tập $S$ bằng với số phần tử của quỹ đạo này. Số phần tử của quỹ đạo này bằng với chỉ số của nhóm dừng của $H$. Theo định nghĩa, nhóm dừng của $H$ là tập
$$\{x\in H \mid xK=K\}=|H\cap K|.$$
Do đó chỉ số của nhóm dừng trong $H$ là $\frac{|H|}{|H\cap K|}$ và như vậy $|HK|=\frac{|H|}{|H\cap K|}.|K|.$
Có thể chứng minh công thức này mà không cần dùng tác động nhóm, nhưng tác động nhóm cho mình một setting chung để đếm một số đối tượng kiểu này.
Bài viết đã được chỉnh sửa nội dung bởi Nxb: 15-02-2023 - 19:54