群子集的乘積
维基百科,自由的百科全书
其中,S和T不必然需要是子群。其乘積的結合律源自群的結合律。因此,群子集的乘積定義出了一個於G冪集上的自然么半群結構。
即使S和T為G的子群,其乘積也不必然會是個子群。其乘積為子群若且唯若ST = TS。在這一情形之下,ST會是個由S和T產生出的群,即ST = TS = <S ∪ T>。若S或T有一是正則的,則上述情形便會滿足,且ST便會是個子群。設S是正則的,則根據第二同構定理,S ∩ T會正則於T且ST/S ≅ T/(S ∩ T)。
若G為一有限群,且S和T為G的子群,則ST的元素個數可由乘積公式給定:
即使S和T都不是正則的,上述公式也一樣適用。
[编辑] 另見
- 直積
- 準直積