the above adjunction expresses a universal property of group rings. let be a (commutative) ring, let be a group, and let be an -algebra. for any group homomorphism formula_59, there exists a unique -algebra homomorphism formula_60 such that formula_61 where is the inclusion