when , this gives an adjunction between the category of groups and the category of rings, and the unit of the adjunction takes a group "g" to a group that contains trivial units: in general, group rings contain nontrivial units. if "g" contains elements "a" and "b" such that formula_55 and "b" does not normalize formula_56 then the square of