Group identities on symmetric units under oriented involutions in group algebras

Let $\mathbb{F}G$ denote the group algebra of a locally finite group $G$ over the infinite field $\mathbb{F}$ with $char(\mathbb{F})\neq 2$, and let $\circledast:\mathbb{F}G\rightarrow \mathbb{F}G$ denote the involution defined by $\alpha=\Sigma\alpha_{g}g \mapsto \alpha^\circledast=\Sigma\alpha_{g}\sigma(g)g^{\ast}$, where $\sigma:G\rightarrow \{\pm1\}$ is a group homomorphism (called an orientation) and $\ast$ is an involution of the group $G$. In this paper we prove, under some assumptions, that if the $\circledast$-symmetric units of $\mathbb{F}G$ satisfies a group identity then $\mathbb{F}G$ satisfies a polynomial identity, i.e., we give an affirmative answer to a Conjecture of B. Hartley in this setting. Moreover, in the case when the prime radical $\eta(\mathbb{F}G)$ of $\mathbb{F}G$ is nilpotent we characterize the groups for which the symmetric units $\mathcal{U}^+(\mathbb{F}G)$ do satisfy a group identity.


Introduction
Let FG denote the group algebra of the group G over the field F. Any involution * : G → G can be extended F-linearly to an algebra involution of FG. Such a map is called a group involution of FG. A natural example is the so-called classical involution, which is induced from the map g → g * = g −1 , for all g ∈ G.
Let σ : G → {±1} be a non-trivial homomorphism (called an orientation of G). If * : G → G is a group involution, an oriented group involution of FG is defined by α = g∈G α g g → α ⊛ = g∈G α g σ(g)g * . (1) Notice that, as σ is non-trivial, char(F) must be different from 2. It is clear that, α → α ⊛ is an involution in FG if and only if gg * ∈ N = ker(σ) for all g ∈ G.
In the case when the involution on G is the classical involution, the map ⊛ is precisely the oriented involution introduced by S. P. Novikov, [18], in the context of K-theory.
Some time ago and with the idea of establishing a connection between the additive and multiplicative structure of a group algebra FG, Brian Hartley made the following famous conjecture: Conjecture 1.1 (Hartley's Conjecture). Let G be a torsion group and F a field. If the unit group U (FG) of FG satisfies a group identity, then FG satisfies a polynomial identity.
Let R be an F-algebra. Recall that a subset S of R satisfies a polynomial identity (S ∈ PI or S is PI for short) if there exists a non-zero polynomial f (x 1 , x 2 , . . . , x n ) in the free associative algebra F{X} on the countable infinite set of non-commuting variables X = {x 1 , x 2 , . . .} such that f (a 1 , . . . , a n ) = 0 for all a i ∈ S. For instance, R is commutative if it satisfies the polynomial identity f (x 1 , x 2 ) = x 1 x 2 − x 2 x 1 and, any finite dimensional associative algebra satisfies the standard polynomial identity of degree n + 1, where n = dim F R [19, Lemma 5.1.6, p. 173], Group algebras FG satisfying a PI were classified in two subsequent papers of Passman and Isaacs-Passman, see [19,Corollaries 5.3.8 and 5.3.10,.
Giambruno, Jespers and Valenti [5] solved the Hartley's conjecture for semiprime group rings, and Giambruno, Sehgal and Valenti [9] solved it in general for group algebras over infinite fields. By using the results of [9], Passman [20] gave necessary and sufficient conditions for U (FG) to satisfy a group identity, when F is infinite. Subsequently, Liu [16] confirmed that the conjecture also holds for finite fields and Liu and Passman in [17] extended the results of [20] to this case. The same question for groups with elements of infinite order was studied by Giambruno, Sehgal and Valenti in [11]. For further details about these results see Lee [15,Chapter 1] and the references quoted therein.
Let * be an involution of a group algebra FG induced by an involution of the group G, the so-called group involution. When * is the classical involution induced from g → g −1 , g ∈ G, Giambruno, Sehgal and Valenti [10] showed that if G is a torsion group, F is infinite with char(F) = 2, and U + (FG) satisfies a group identity then FG satisfies a polynomial identity. They also classified groups G such that U + (FG) satisfies a group identity. Sehgal and Valenti [22] extended the results of [10] to non-torsion groups under the usual restriction for the only if part related to Kaplansky's Conjecture (the units of FG are trivial if G is a torsion-free group and F is a field).
Considering group involutions * , i.e., * is an involution on G extended F-linearly to the group algebra FG, Dooms and Ruiz [4] proved the following. . Let F be an infinite field with char(F) = 2 and let G be a non-abelian group such that FG is regular. Let * be an involution on G. Suppose one of the following conditions holds: (i) F is uncountable, (ii) all finite non-abelian subgroups of G which are * -invariant have no simple components in their group algebra over F that are non-commutative division algebras other than quaternion algebras. Then U + (FG) ∈ GI if and only if G is an SLC-group with canonical involution given by the expression (2) below. Moreover, in this case FG + is a ring contained in ζ(FG).
Using the last result and under some assumptions, Dooms and Ruiz proved that if U + (FG) is GI then FG is PI, giving an affirmative answer to the Hartley's Conjecture in this setting. They also characterized, with mild restrictions, the locally finite groups for which the symmetric units U + (FG) satisfy a group identity, when the prime radical η(FG) of FG is nilpotent. Giambruno, Polcino Milies and Sehgal [7] completely solved the question for group algebras of torsion groups, with group involutions such that U + (FG) is GI.
In the classification results on group algebras whose symmetric units with respect to the classical involution satisfy a group identity in some sense the exceptional cases turned out to involve Hamiltonian 2-groups, [10,Theorem 7,p. 459], because they are non-abelian groups such that the symmetric elements in the group algebras commute, [10, Remark 3, p. 451]. We recall that a non-abelian group G is a Hamiltonian group if every subgroup of G is normal. It is well-known that in this case G ∼ = Q 8 × E × O, [21, Theorem 1.8.5, p. 63], where Q 8 = x, y : x 4 = 1, x 2 = y 2 , y −1 xy = x −1 is the quaternion group of order 8, E is an elementary abelian 2-group and O is an abelian group with every element of odd order. When O = {1}, G is called a Hamiltonian 2-group.
When one works with linear extensions of arbitrary involutions of the base group of the group algebra, * : G → G, one finds a larger class of groups such that the symmetric elements also commute. We recall that a group G is said to be an LC-group (a group with "limited commutativity" property) if it is non-abelian and for any pair of elements g, h ∈ G, we have that gh = hg if and only if at least one element of {g, h, gh} lies in ζ(G), where ζ(G) denotes the center of G. This family of groups was introduced by Goodaire.
where C 2 is the cyclic group of order 2. If G is endowed with an involution * , then we say that G is a special LC-group, or SLC-group, if it is an LC-group, it has a unique non-trivial commutator s and on such a group, the map * is defined by We refer to this as the canonical involution on an SLC-group. For instance, if * is the classical involution, then from expression (2) all elements have order 1, 2, or 4. Furthermore, if g is a non-central element, then g 2 = s and we obtain that every cyclic subgroup of G is normal, and thus in this case the SLC-groups are precisely the Hamiltonian 2-groups.
When we consider on FG the oriented group involution g∈G α g g ⊛ = g∈G α g σ(g)g * , where G is a group with a non-trivial homomorphism σ : G → {±1} and an involution * , the kernel of σ is a subgroup N in G of index 2. It is clear that the involution ⊛ coincides on the subalgebra FN with the group involution * . Also, we have that the symmetric elements in G, under ⊛, are the symmetric elements in N regarding * . If we denote the sets of symmetric elements in G, under the involutions ⊛ and * , by N + and G + , respectively, then we can write N + = N ∩ G + . In recent years, this type of involution has been of interest and some results were obtained in the study of properties of FG + , FG − and U + (FG), see [2,3,13]. For instance, the authors in [13] proved that FG satisfies the ⊛-PI, i.e., FG satisfies a PI where x ⊛ i for some i's appear, α ⊛ α = αα ⊛ if and only if the set FG + of symmetric elements in regard to ⊛ is commutative. Since [G : N ] = 2, the structure of the group N and the action of * on N are both known, see [14, Theorem 2.4, p.730] and [13, Theorem 3.1, p. 4395], then this classification depend on whether N = ker(σ) is either abelian or an SLC-group. However, this result does not provide a complete description of G and the action of ⊛ on G. Therefore this is the principal aim in this kind of research.
In this paper, we extend the results obtained by Dooms and Ruiz [4] to the case of the oriented group involution (1). More precisely, we classify under middle hypothesis, the groups with a regular group algebra over an infinite field F of char(F) = 2 for which the ⊛-symmetric units satisfy a GI. Further, we prove that if the ⊛-symmetric units of FG, where G is a locally finite group, satisfies a group identity then FG satisfies a polynomial identity, see Theorem 3.1 and Theorem 3.2. Moreover, in the case when the prime radical η(FG) of FG is nilpotent we characterize the groups for which the symmetric units U + (FG) do satisfy a group identity, see Theorem 3.3.
Throughout this paper F will always denote an infinite field with char(F) = 2, G a group, * and σ an involution and a non-trivial orientation of G, respectively. We will denote with ⊛ an oriented group involution of FG given by expression (1), which is linear extension of the involution * of G, twisted by the homomorphism σ.

Preliminaries and notations
Let R be a ring with involution ⋆. Let U (R) its group of units and U + (R) = U (R) ∩ R + the set of symmetric units. It is well-known that central idempotents are very important in the study of group identities. Moreover the following fact is proved.
For a given prime p, an element x ∈ G will be called a p-element if its order is a power of p and it is called p ′ -element if its order is finite and, not divisible by p. Moreover, a torsion subgroup H of G is a p ′ -subgroup if every element h ∈ H is a p ′ -element. We agree that if p = 0 every torsion subgroup is a p ′ -subgroup.
An immediate consequence in the setting of group algebras of Lemma 2.1 is the following: Let F be a field with char(F) ≥ 0 and G a group such that FG is semiprime. If U + (FG) is GI under the classical involution, then every torsion p ′ -subgroup of G is normal in G. Indeed to prove this result is important the use of the idempotent element where g is a p ′ -element, see the proof in [10, Corollary 2, p. 451]. Note that this element is symmetric under the classical involution, but it is not when * is a group involution. This fact, in the former case, gives important information on cyclic subgroups. Unfortunately, this property is lost in the case of a group involution * .
Semisimple algebras whose units satisfy a GI were widely studied, see for instance [ . Let R be a finite dimensional semisimple algebra with involution ⋆ over an infinite field K, char(K) = 2. Suppose that U + (R) is GI. Then R is a direct sum of simple algebras of dimension at most four over their centers and the symmetric elements R + are central in R, i.e.,  3, it follows that U + (R) ∈ GI is equivalent to R + is Lie n-Engel, for some n.
We conclude this section with a result due to Jespers and Ruiz Marín [14], where the SLC groups arise naturally. . Let F be a field with char(F) = 2 and let G be a group with an involution * extended F-linearly to FG. Then FG + is commutative if and only if G is abelian or an SLC group. In this case, FG + = ζ(FG).

Regular group algebras.
We need the following results about group algebras endowed with an oriented group involution. We recall that for a fixed orientation σ of G, we denote with N = ker(σ). . Let R be a commutative ring with unity of characteristic different from 2 and let G be a group with a non-trivial orientation σ and an involution * . Suppose that RG + is commutative under oriented group involution and let g ∈ (G\N )\G + , h ∈ G. Then one of the following holds: (i) gh = hg; or (ii) char(R) = 4 and gh = g * h * = hg * = h * g.
Furthermore, gg * = g * g. (ii) G and N have the LC-property, and there exists a unique non-trivial commutator s such that the involution * is given by (iii) char(R) = 4, G has the LC-property, and there exists a unique non-trivial commutator s such that the involution * is the canonical involution.
Recall that a ring R with identity is said to be (von Neumann) regular if for any x ∈ R there exists an y ∈ R such that xyx = x. Villamayor [19, Theorem 3.1.5, p. 69] showed that the group algebra FG is regular if and only if G is locally finite and has no elements of order p in case F has characteristic p > 0. Note that in this case the set of p-elements P is trivial and thus FG is semiprime, [19, Theorem 4.2.13, p. 131] (in case char(F) = 0, we agree that P = {1}).
We are now able to classify the groups with a regular group algebra over an infinite field F of char(F) = 2 for which the ⊛-symmetric units satisfy a GI, result which is the oriented version of Dooms and Ruiz, see Theorem 1.1. Note that in this context the third condition in Lemma 3.2 will not be considered.
Theorem 3.1. Let F be an infinite field with char(F) = 2 and let G be a non-abelian group such that FG is regular. Let σ : G → {±1} be a non-trivial orientation and an involution * on G. Suppose one of the following conditions holds: (i) F is uncountable, (ii) all finite non-abelian subgroups of G which are * -invariant have no simple components in their group algebra over F that are non-commutative division algebras other than quaternion algebras.
Then U + (FG) ∈ GI if and only if one of the following conditions holds: (1) N = ker(σ) is an abelian group and (G \ N ) ⊂ G + ; (2) G and N have the LC-property, and there exists a unique non-trivial commutator s such that the involution * is given by (3) Consequently, U + (FG) ∈ GI if and only if U + (FG) is an abelian group.
Proof. Assume that U + (FG) ∈ GI and let N = ker(σ). Then U + (FN ) ∈ GI. Hence, by Theorem 1.1 and Lemma 2.5, we have two possibilities for N ; either (A) N is an abelian group; or (B) N has the LC -property, and there exists a unique non-trivial commutator s such that the involution * in N , is the canonical involution. Now, let g, h ∈ G such that gh = hg. Consider the collection {H i } i≥1 (possibly infinite) of all finite subgroups of G which are * -invariant and contain g and h. It is clear that Assume that (B) is true. If there exists j such that (a) holds, then since N j is abelian and g, h ∈ H j , at least one of them belong to H j \ N j . Without loss of generality, if g ∈ H j \ N j follows that g is symmetric, and as FH + j is central in FH j , we obtain gh = hg, which is a contradiction. So (b) holds for all i.
If s is not a unique non-trivial commutator of G, then there exist x, y ∈ G such that (x, y) = s. We know that x, y ∈ H i , for some i, for instance, H i = x, y, g, h, x * , y * , g * , h * . Therefore (x, y) = (g, h) = s, a contradiction.
Claim: For all i, ζ(N i ) = N i ∩ ζ(H i ). In fact, let x ∈ ζ(N i ) \ ζ(H i ). Then, there exists y ∈ H i \ N i such that xy = yx and by the behavior of * on H i given by (3), y * = y. Since FN + i is commutative, we have that x * = x. Thus xy ∈ (H i \ N i ) \ ζ(H i ) and by (b) xy ∈ H + i . Therefore xy = (xy) * = y * x * = yx, a contradiction. Hence ζ(N i ) = N i ∩ ζ(H i ). Thus for all i, we obtain that . When x ∈ i ζ(H i ), then x ∈ ζ(H j ) for some j. By the construction of H j , g ∈ H j and hence xg = gx. Since g is an arbitrary element of G \ ζ(G), we conclude that x ∈ ζ(G) and ζ(G) = i ζ(H i ). Therefore * : G → G is given as in the statement, and (2) holds.
The converse is clear, because conditions (1) and (2) by Lemma 3.2 imply that FG + is commutative and hence, (u, v) = 1 is a GI for U + (FG).
The last assertion is now clear.
We can find group algebras that fulfil the condition (2) in Theorem 3.1, see Remark in [4, p. 746] and the references quoted therein. To handle group algebras which are not necessarily regular, we need the following two lemmas which are the natural extensions of known results. As usual, for a normal subgroup H of G we denote by ∆(G, H) the kernel of the map FG Ψ → F(G/H) defined by g∈G α g g → g∈G α g gH and ∆(G, G) = ∆(G) is the augmentation ideal. Lemma 3.3. Let G be a locally finite group and char(F) = p = 2. If U + (FG) ∈ GI, then the set P of p-elements of G is a subgroup.
Proof. Let g, h ∈ P and let H = g, h, g * , h * . Since G is locally finite, then H is finite. Moreover, H is * -invariant and H ⊂ N = ker(σ) (every element x ∈ H has odd order). Since FH is a finite dimensional algebra the Jacobson radical J is nilpotent. Let R = FH/J . Then R is semisimple and, by Lemma 2.4, U + (R) satisfies a group identity. Hence by Lemma 2.2, R is a direct sum of simple algebras of dimension at most four over their centers. Finally, by [8, Lemma 2.6, p. 892] we get that P is a subgroup. Now assume that G is locally finite. Let G = G/H and take α 1 , . . . , α n ∈ U + (FG). Since the map FG → FG is an epimorphism we have that FG + is the image of FG + , thus we may lift these elements up to α 1 , α 2 , . . . , α n ∈ FG + and similarly for their inverses. Let G 1 the subgroup of G generated by the supports of all of these elements. As G is locally finite, G 1 is finite. Taking H 1 = G 1 ∩ H, we have by the finite case that U + (F(G 1 /H 1 )) satisfies ω(x 1 , ..., x n ) = 1. Replacing G with G 1 and H with H 1 , we get the statement.
Consider the group algebra FG, where G is a locally finite group with an oriented group involution ⊛, P the set of p-elements of G and F an infinite field with char(F) = p = 2. Suppose that U + (FG) ∈ GI and let G = G/P . If FG satisfies conditions (i) and (ii) of Theorem 3.1, then by Lemma 3.3, we have that P is a normal subgroup of G and by Lemma 3.4 U + (FG) is GI. Since FG is regular, it follows that either G is abelian, or N and G satisfy one of the conclusions of Theorem 3.1 and the involution * : G → G is as given in the expression (3). Moreover, FG + is central in FG and thus FG is PI. Since FG ∼ = FG/∆(G, P ) and ∆(G, P ) is a nil subring of FG ⊛-invariant, by [10, Remark 2, p. 450] we have that ∆(G, P ) is PI and as being PI is closed under ideal extensions, we get that FG is also PI. Therefore, we obtain the next result for non-regular group algebras.
Theorem 3.2. Let g → g * be an involution on a locally finite group G, σ : G → {±1} a non-trivial orientation with N = ker(σ), P the set of p-elements of G and F an infinite field with char(F) = p = 2. Suppose that U + (FG) ∈ GI and that one of the following conditions holds: (i) F is uncountable, (ii) all finite non-abelian subgroups of G/P which are * -invariant have no simple components in their group algebra over F that are non-commutative division algebras other than quaternion algebras, then we have that (1) G = G/P is abelian, or (2) N = N/P = ker(σ) is abelian and (G \ N) ⊂ G + , or (3) G and N have the LC-property and there exists a unique non-trivial commutator s such that the involution * in G is given by Moreover, FG ∈ PI.
To obtain sufficient conditions for locally finite groups G such that U + (FG) ∈ GI, we need the following lemma: Lemma 3.5. Let F be a field with char(F) = p = 2. Let G be a locally finite group with an involution * and a non-trivial orientation σ. If P is a subgroup of bounded exponent, and either G/P is abelian, or G/P and N/P are as in Theorem 3.1, then U + (FG) ∈ GI.
Remark 2. Note that, under the assumptions of Lemma 3.5, in case FG is PI and G/P is abelian, we obtain that G ′ ⊆ P is of bounded exponent. Hence by [20, Theorem 1.1, p. 657] even U (FG) satisfies a GI. Now, if G/P is an SLC-group one easily deduces that also in this case G ′ is of bounded exponent, but not necessarily a p-group. Finally, if N = N/P is abelian and (G \ N ) ⊂ G + we can not assure that G ′ is neither of bounded exponent nor a p-group.
In the sequel, we characterize the groups for which the symmetric units U + (FG) under ⊛ do satisfy a group identity. For g ∈ G, let C G (g) = {h ∈ G : hg = gh} be the centralizer of g in G. Set Φ(G) = {g ∈ G : [G : C G (g)] < ∞} the finite conjugacy subgroup of G and Φ p (G) = P ∩ Φ(G) . Theorem 3.3. Let g → g * be an involution on a locally finite group G, σ : G → {±1} a non-trivial orientation and F an infinite field with char(F) = p = 2. Suppose that the prime radical η(FG) of FG is a nilpotent ideal and that one of the following conditions holds: (i) F is uncountable, (ii) all finite non-abelian subgroups of G/P which are * -invariant have no simple components in their group algebra over F that are non-commutative division algebras other than quaternion algebras. Then U + (FG) ∈ GI if and only if P is a finite normal subgroup and G/P is abelian or G/P and N/P are as in Theorem 3.1.
As a corollary following the arguments in Dooms and Ruiz [4, Corollary 3.7, p. 749], we obtain a characterization of the locally finite groups with semiprime group algebras such that the set of ⊛-symmetric units is GI. Corollary 3.1. Let g → g * be an involution on a locally finite group G, σ : G → {±1} a non-trivial orientation and F an infinite field with char(F) = p = 2 such that FG is semiprime. Suppose one of the following conditions holds: (i) F is uncountable, (ii) all finite non-abelian subgroups of G/P which are * -invariant have no simple components in their group algebra over F that are non-commutative division algebras other than quaternion algebras.
Then U + (FG) ∈ GI if and only if U + (FG) is an abelian group.
Proof. Suppose U + (FG) ∈ GI, then following the lines of the proof of Theorem 3.3, FG is semiprime PI. Hence by [19,Theorem 4.2.13,p. 131] Φ p (G) = {1} and by the previous proof, we get that P = {1}. Thus FG is regular, and the result follows from Theorem 3.1.