*-group identities on units of group rings

Analogous to *-polynomial identities in rings, we introduce the concept of *- group identities in groups. When F is an infinite field of characteristic different from 2, we classify the torsion groups with involution G so that the unit group of FG satisfies a *-group identity. The history and motivations will be given for such an investigation.