Semigroup identities on units of group algebras
type: Item
instance of: scholarly article
title: Semigroup identities on units of group algebras
zbMATH Open document ID: 0780.16026
DOI: 10.1007/BF01199058
author: Arnaldo Mandel
author: J. Z. Gonçalves
published in: Archiv der Mathematik
publication date: 1992-09-27T00:00:00Z
review text: This paper is concerned with the following interesting question: for a group algebra \(k[G]\), how does it restrict the group \(G\) and \(k[G]\) itself if the group of units \({\mathcal U}(k[G])\) is group-theoretically ``somehow'' restricted. A semigroup identity is an equation \(u = v\) with \(u\) and \(v\) being some (distinct) words in a free semigroup. Due to \textit{A. Malcev}'s argument [Ivanov. Gos. Ped. Inst., Uchebn. Zap. Nauk 4, 107- 111 (1953; Zbl 0087.255)], a group satisfies a semigroup identity if it contains a normal nilpotent subgroup with quotient group being torsion of bounded exponent (and so, it includes the case of a nilpotent-by-finite group). The authors deal here with the question ``when does \({\mathcal U}(k[G])\) satisfy a semigroup identity?'' They prove (Th. 6) that for a torsion-generated group \(G\) and \({\mathcal U}(k[G])\) satisfying a semigroup identity, if \(\text{char }k = 0\), then the group \(G\) is Abelian, and if \(\text{char }k = p > 0\), then the quotient group \(G/{\mathcal Z}(G)\) is a \(p\)-group of bounded exponent, here by \({\mathcal Z}(G)\) is denoted the center of \(G\). For the case of a torsion group \(G\) and an infinite field \(k\) with \(\text{char }k = p\), the authors prove (see Th. 7) that the condition for \({\mathcal U}(k[G])\) to satisfy a semigroup identity is equivalent to \(G\) being nilpotent with its FC-subgroup \(\Delta(G)\) being such that both \(G/\Delta\) and \([\Delta,\Delta]\) are finite \(p\)-groups. Earlier, \textit{D. Warhurst} [Thesis, Manchester (1981)] had investigated a similar question for a \(p\)-group \(G\) with \({\mathcal U}(k[G])\) satisfying some group identities. Among other results of this interesting and clear-written paper note (Th. 12): for a finitely generated \(p\)-group \(G\) and an uncountable field \(k\) of characteristic \(p>0\), either there exists an integer \(n>0\) such that \(x^{p^ n}\) is a central polynomial for \(k[G]\) or \({\mathcal U}(k[G])\) contains a noncom…
Mathematics Subject Classification ID: 16U60
Mathematics Subject Classification ID: 16S34
Mathematics Subject Classification ID: 16R50
Mathematics Subject Classification ID: 20M05
Mathematics Subject Classification ID: 20C07
Mathematics Subject Classification ID: 20M07
zbMATH DE Number: 62246
zbMATH Keywords: \(p\)-group of bounded exponent
zbMATH Keywords: group algebra
zbMATH Keywords: group of units
zbMATH Keywords: semigroup identity
zbMATH Keywords: normal nilpotent subgroup
zbMATH Keywords: FC-subgroup
zbMATH Keywords: free subgroup
reviewed by: U. Kaljulaid
MaRDI profile type: Publication
cites work: Group rings with units torsion over the centre
cites work: Q3808246
cites work: Q5575606
cites work: On Free Subsemigroups of Skew Fields
cites work: Group rings satisfying a polynomial identity
cites work: The Burnside problem
cites work: Invariant Measures and Growth Conditions
cites work: Q4198893
cites work: Bounding the number of generators of a polycyclic group
full work available at URL: https://doi.org/10.1007/bf01199058
OpenAlex ID: W2036855356
description: scientific article; zbMATH DE number 62246