∗-group identities on units of group rings

Abstract

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.