Let be a group, a field of characteristic , and the unit group of the group algebra . In this paper, among other results, we show that if either (1) satisfies a non-matrix polynomial identity, or (2) is locally finite, is infinite and is an Engel-by-finite group, then the -elements of form a (normal) subgroup and is abelian (here, of course, if ).