TEOREM: G bir grup, H ve K, G’nin iki sonlu altgrubu olsun. Bu takdirde, \displaystyle{|HK|=\frac{|H||K|}{|H\cap{K}|}} dır.

İSPAT: R\subset{(H\times{K})\times{(H\times{K})}} bağıntısını (h,k),(h^{*},k^{*})\in{(H\times{K})\times{(H\times{K})}} olmak üzere aşağıdaki biçimde tanımlayalım:

(h,k)R(h^{*},k^{*})\Leftrightarrow{hk=h^{*}k^{*}}

devamını oku…