$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\times H]=R[G]\otimes_RR[H]$$eşitliğini gösterin.