text: There is an elegant characterization from category theory of the group ring construction with a fixed ring R as the left adjoint to the functor taking an associative R-algebra with one to its group of units.