元の個数について（群論）

質問

H,KをGの有限部分群とする．
このとき，HKの元の個数は，

#H・#G/#(H∩K) （#は元の個数）

である．

HKの元の個数は#H・#Gから重複しているものを除いたものだということは分かるのですが，それが何故このような形で表せるのかがよくわかりません．

お願いします．

回答No.2

alice_44 · ベストアンサー

#H・#K/#(H∩K) の書き損じですよね？

H∩K は H の部分群であり、K の部分群でもあります。
H の H∩K による右剰余の代表系を A、
K の H∩K による左剰余の代表系を B と置くと、
HK の元は、A の元 a、B の元 b、H∩K の元 c によって
(a(c^-1)) c ((c^-1)b) と一意に表されますから、
#HK = #A・#(H∩K)・#B
= (#H/#(H∩K))・#(H∩K)・(#K/#(H∩K)) です。

回答No.1

Tacosan

「HK」って何?

補足

HK={hk｜h∈H，k∈K}
です．