이중 잉여류

틀:위키데이터 속성 추적 군론에서 이중 잉여류(二重剩餘類, 틀:Llang)는 주어진 두 부분군에 의하여 결정되는 동치 관계에 대한 동치류이다.

정의

군 $G$의 두 부분군 $H,K\le G$ 및 군의 원소 $g\in G$에 대하여, $H$와 $K$에 대한 $g$의 이중 잉여류는 다음과 같다.

$HgK=\{hgk:h\in H,k\in K\}$

특히, $H$가 자명 부분군일 경우 이는 $K$에 대한 $g$의 왼쪽 잉여류 $gK$이며, $K$가 자명 부분군일 경우 이는 $H$에 대한 $g$의 오른쪽 잉여류 $Hg$이다. $H$와 $K$가 모두 $G$의 정규 부분군일 경우, $H$와 $K$에 대한 이중 잉여류와 $K$와 $H$에 대한 이중 잉여류는 일치한다. $G$ 속 $H$와 $K$에 대한 이중 잉여류의 집합은 $H\mathrm{\setminus }G/K$로 표기한다.

성질

군 $G$의 두 부분군 $H,K\le G$에 대하여, 이중 잉여류의 집합 $H\mathrm{\setminus }G/K$는 $G$의 분할을 이룬다. 즉, 임의의 $g,g^{\prime }\in G$에 대하여, $HgK=H{g}^{\prime }K$이거나 $HgK\cap H{g}^{\prime }K=\varnothing$이다.

군 $G$의 두 부분군 $H,K\le G$에 대하여, $|H\mathrm{\setminus }G/K|=|K\mathrm{\setminus }G/H|$이다. 즉, 두 부분군에 대한 이중 잉여류의 수와 순서를 교환한 두 부분군에 대한 이중 잉여류의 수는 같다. 틀:증명 다음과 같은 함수를 생각하자.

$H\mathrm{\setminus }G/K\to K\mathrm{\setminus }G/H$

$HgK\mapsto K{g}^{-1}H$

그렇다면, 이는 자명하게 전단사 함수이므로, 정의역과 공역의 크기는 같다. 틀:증명 끝

군 $G$의 두 부분군 $H,K\le G$ 및 군의 원소 $g\in G$에 대하여, 이중 잉여류 $HgK$의 크기는

$|HgK|=\frac{|H||K|}{|H\cap gK{g}^{-1}|}$

이다. 틀:증명

$|HgK|=|H(gK{g}^{-1})|=\frac{|H||gK{g}^{-1}|}{|H\cap gK{g}^{-1}|}=\frac{|H||K|}{|H\cap gK{g}^{-1}|}$

외부 링크

• 틀:Groupprops