Commutator identities on symmetric elements of group algebras.
type: Item
instance of: scholarly article
zbMATH Open document ID: 1282.16041
DOI: 10.1142/S0219498813500448
author: Tibor Juhász
author: Enikő Tóth
publication date: 2013-09-11T00:00:00Z
Mathematics Subject Classification ID: 16W10
Mathematics Subject Classification ID: 16S34
Mathematics Subject Classification ID: 16U60
Mathematics Subject Classification ID: 20C05
Mathematics Subject Classification ID: 16R50
Mathematics Subject Classification ID: 16N40
zbMATH DE Number: 6207502
zbMATH Keywords: group rings
zbMATH Keywords: involutions
zbMATH Keywords: polynomial identities
zbMATH Keywords: group identities
zbMATH Keywords: derived lengths
zbMATH Keywords: Lie nilpotency indices
zbMATH Keywords: nilpotency classes
zbMATH Keywords: symmetric elements
zbMATH Keywords: augmentation ideals
zbMATH Keywords: group algebras
zbMATH Keywords: Lie commutators
MaRDI profile type: MaRDI publication profile
cites work: Rings with involution
cites work: A NOTE ON THE DERIVED LENGTH OF THE UNIT GROUP OF A MODULAR GROUP ALGEBRA
cites work: Lie derived length and involutions in group algebras.
cites work: Nilpotency class of symmetric units of group algebras
cites work: Nilpotency Indices of Symmetric Elements of Group Algebras
cites work: ON THE DERIVED LENGTH OF THE GROUP OF UNITS OF A GROUP ALGEBRA
cites work: Lie Derived Lengths of Group Algebras of Groups with Cyclic Derived Subgroup
cites work: Lie nilpotence of group rings
cites work: Group rings whose symmetric elements are Lie nilpotent
cites work: Nilpotent Symmetric Units in Group Rings
cites work: Group identities on units and symmetric units of group rings.
cites work: Group algebras whose symmetric and skew elements are Lie solvable
cites work: Group Rings Whose Symmetric Units are Solvable
cites work: Lie Solvable Group Rings
cites work: Group rings satisfying a polynomial identity
cites work: The derived length of Lie soluble group rings. I
full work available at URL: s0219498813500448
OpenAlex ID: W2125631866
published in: Journal of Algebra and its Applications
title: Commutator identities on symmetric elements of group algebras.
review text: Let \(A\) be an associative algebra over a field \(K\) of odd characteristic \(p\) and let a group \(G\) be the direct product of a finite \(p\)-group \(P\neq 1\) and a Hamiltonian 2-group, i.e. a non-Abelian 2-group in which all subgroups are normal. Denote by \(S_*\) the set of all elements of \(S\subseteq A\) fixed by the involution \(*\) of \(A\). Then \(S_*\) is called the set of symmetric elements of \(S\) with respect to the involution \(*\). Denote by \(t(P)\) the nilpotency index of the augmentation ideal of the group algebra \(KP\).NEWLINENEWLINE The authors prove the following results.NEWLINENEWLINE Theorem 1. \dots \((KG)_*\) satisfies all Lie commutator identities of degree at least \(t(P)\), and \(U_*(KG)\) satisfies all group commutator identities of degree at least \(t(P)\). Furthermore, if \(P\) is powerful, then \((KG)_*\) satisfies no Lie commutator identity of degree less than \(t(P)\), and \(U_*(KG)\) satisfies no group commutator identity of degree less than \(t(P)\).NEWLINENEWLINE Corollary 1. \dots \((KG)_*\) is Lie nilpotent of index at most \(t(P)\), and \(U_*(KG)\) is nilpotent of class at most \(t(P)-1\). Furthermore, if \(P\) is powerful, then \(t_L((KG)_*)=cl(U_*(KG))+1= t(P)\).NEWLINENEWLINE Corollary 2. \dots \((KG)_*\) is Lie solvable of derived length at most \(\lceil\log_2 t(P)\rceil\), and \(U_*(KG)\) is solvable of derived length at most \(\lceil\log_2 t(P)\rceil\). Furthermore, if \(P\) is powerful, then \(dl_L((KG)_*)=dl(U_*(KG))=\lceil\log_2 t(P)\rceil\).
reviewed by: Todor Mollov
description: scientific article; zbMATH DE number 6207502