Free groups with involution satisfying a \(*\)-group identity. (Q2350497)

Let \(G\) be a nonabelian free group with involution *. Inspired by investigations on groups of units of groups with involution [in \textit{A. Giambruno} et al., Arch. Math. 95, No. 6, 501-508 (2010; Zbl 1216.16024)], the authors prove that the following are equivalent: (1) \(G\) satisfies a * group identity; (2) symmetric elements of \(G\) satisfy a group identity; (3) * is the classical involution.