G ve H birer grup R bir halka olsunlar. R[G] grup halkasını bir R cebrinin bölüm halkası olarak görün. Bunu kullanarak R[G×H]=R[G]⊗RR[H]eşitliğini gösterin.