On Lie nilpotent modular group algebras

Let K be a field of characteristic p>0 and let KG be the group algebra of an arbitrary group G over K. It is known that if KG is Lie nilpotent, then its lower as well as upper Lie nilpotency index is at least p+1. The group algebras KG for which these indices are p+1 or 2p or 3p?1 or 4p?2 have already been determined. In this paper, we classify the group algebras KG for which the upper Lie nilpotency index is 5p?3, 6p?4 or 7p?5.     

Group algebras of Lie nilpotency index 12 and 13

Let G be a group and let K be a field of characteristic p>0. Lie nilpotent group algebras of strong Lie nilpotency index up to 11 have already been classified. In this paper, our aim is to classify the group algebras KG which are strongly Lie nilpotent of index 12 or 13.     

Lie properties of symmetric elements in group rings

Let ¹ be an involution of a group G extended linearly to the group algebra KG. We prove that if G contains no 2-elements and K is a field of characteristic $p\ne 2$, then the 1-symmetric elements of KG are Lie nilpotent (Lie n-Engel) if and only if KG is Lie nilpotent (Lie n-Engel).     

Lie Nilpotent Group Algebras and Upper Lie Codimension Subgroups

In this article we introduce the series of the upper Lie codimension subgroups of a group algebra KG of a group G over a field K. By means of this series we give a contribution to the conjecture cl _L (KG) = cl ^L (KG) when G belongs to particular classes of finite p-groups.     

Unitary Units Satisfying a Group Identity

Let K be a nonabsolute field of characteristic p ≠ 2, G a locally finite group and KG its group algebra. Let ?: KG → KG denote the K-linear extension of an involution ? defined on G. In this article, we prove that if the subgroup 𝒰_?(KG), i.e., the ?-unitary units of KG, satisfies a group identity, then KG satisfies a polynomial identity. Moreover, in case the prime radical of KG is nilpotent, we characterize the groups G for which 𝒰_?(KG) satisfies a group identity.     

Group Algebras Satisfying a Certain Lie Identity

ABSTRACT

Let K be a field of characteristic p ≠ 2 and let G be any group. A characterization of group algebras KG satisfying the Lie identity [[x,y],[u,v],[z,t]] = 0 for all x,y,u,v,z,t ? KG is obtained.     

ON SYMMETRIC UNITS IN GROUP ALGEBRAS

Let U(KG) be the group of units of the group ring KG of the group G over a commutative ring K. The anti-automorphism g → g ^?1 of G can be extended linearly to an anti-automorphism a → a ^* of KG. Let S _* (KG) = {x ∈ U(KG) | x ^* = x} be the set of all symmetric units of U(KG). We consider the following question: for which groups G and commutative rings K it is true that S _* (KG) is a subgroup in U(KG). We answer this question when either a) G is torsion and K is a commutative G-favourable integral domain of characteristic p≥ 0 or b) G is non-torsion nilpotent group and KG is semiprime.     

Degenerations for modules over blocks of group algebras

Let B be a block of the group algebra KG of a finite Group G over an algebraically closed field K. We prove that every degeneration of finite dimensional B-modules is given by short exact sequences if and only if B is of finite representation type. Received: 7 July 1997     

Exponentiation and the identity X2Y = (XY)2

Let G = SL(2,pⁿ ) with p odd. Let KG be the group algebra of G over an algebraically closed field K of characteristic p. In general, a finite dimensional basic algebra can be described by a quiver with relations. For KG, the quiver has been known. Namely the simple KG modules and their extensions determine it. The aim of this paper is to get the relations and describe the basic algebra of KG by the quiver with them.     

Construction of free subgroups in the group of units of modular group algebras

Let KGbe the group algebra of a p¹ -group Gover a field Kof characteristic p > 0, and let U(KG)be its group of units. If KGcontains a nontrivial bicyclic unit and if Kis not algebraic over its prime field, then we prove that the free product Z_p? Z_p? Z_pcan be embedded in U(KG).     

On a Class of Hungarian Semigroups and the Factorization Theorem of Khinchin

Let G be a connected reductive Lie group and K be a maximal compact subgroup of G. We prove that the semigroup of all K-biinvariant probability measures on G is a strongly stable Hungarian semigroup. Combining with the result [see Rusza and Szekely⁽⁹⁾], we get that the factorization theorem of Khinchin holds for the aforementioned semigroup. We also prove that certain subsemigroups of K-biinvariant measures on G are Hungarian semigroups when G is a connected Lie group such that Ad G is almost algebraic and K is a maximal compact subgroup of G. We also prove a p-adic analogue of these results.     

Lie nilpotence of group rings

Let FG be the group algebra of a group G over a field F. Denote by ? the natural involution, (∑f_i g_i ^-1. Let S and K denote the set of symmetric and skew symmetric and skew symmetric elements respectively with respect to this involutin. It is proved that if the characteristic of F is zero p≠2 and G has no 2-elements, then the Lie nilpotence of S or K implies the Lie nilpotence of FG.     

Modular Lie representations of groups of prime order

Let K be a field of prime characteristic p and let G be a group of order p. For any finite-dimensional KG-module V and any positive integer n let L ⁿ (V) denote the nth homogeneous component of the free Lie K-algebra generated by (a basis of) V. Then L ⁿ (V) can be considered as a KG-module, called the nth Lie power of V. The main result of the paper is a formula which describes the module structure of L ⁿ (V) up to isomorphism. Mathematics Subject Classification (2000): 17B01, 20C20.     

On the order of the unitary subgroup of a modular group algebra

Let KG be a group algebra of a finite p-group G over a finite field Kof characteristic p. We compute the order of the unitary subgroup of the group of units when G is either an extraspecial 2-group or the central product of such a group with a cyclic group of order 4 or G has an abelian subgroup A of index 2 and an element b such that b inverts each element of A.     

Perturbation of Yamabe equation on Iwasawa N groups in presence of symmetry

Let G be a simple Lie group of real rank one and N be in the Iwasawa decomposition of G. Under the assumption of some symmetries, we obtain an existent result for the nonlinear equation △NU ＋ （1 ＋ ∈K（x, z））u2＊-1 = 0 on N, which generalizes the result of Malchiodi and Uguzzoni to the Kohn＇s subelliptic context on N in presence of symmetry.     

Group algebras with almost maximal lie nilpotency index

LetK G be a non-commutative Lie nilpotent group algebra of a groupG over a fieldK. It is known that the Lie nilpotency index ofKG is at most |G′|+1, where |G′| is the order of the commutator subgroup ofG. In [4] the groupsG for which this index is maximal were determined. Here we list theG’s for which it assumes the next highest possible value. The present paper is a part of the PhD dissertation of the author.     

Semiprime Lie Rings of (Anti-)Symmetric Derivations of Commutative Rings

Let R be a 2-torsion free commutative ring with involution, and δ a nonzero derivation of R. Let S be the set of symmetric elements in R, and let K be the set of anti-symmetric elements in R. In this article, we investigate the semiprimeness of the Lie rings Sδ when δ is symmetric and Kδ when δ is anti-symmetric.     

Group algebras whose units satisfy a Laurent polynomial identity

Let KG be the group algebra of a torsion group G over a field K. We show that if the units of KG satisfy a Laurent polynomial identity, which is not satisfied by the units of the relative free algebra \(K[\alpha ,\beta : \alpha ^2=\beta ^2=0]\), then KG satisfies a polynomial identity. This extends Hartley’s Conjecture which states that if the units of KG satisfy a group identity, then KG satisfies a polynomial identity. As an application we prove that if the units of KG satisfy a Laurent polynomial identity whose support has cardinality at most 3, then KG satisfies a polynomial identity.     

Relatively Free Nilpotent Torsion-Free Groups and Their Lie Algebras

Let K be a field of characteristic zero. For a torsion-free finitely generated nilpotent group G, we naturally associate four finite dimensional nilpotent Lie algebras over K, ? _K (G), grad^(?)(? _K (G)), grad^(g)(exp ? _K (G)), and L _K (G). Let 𝔗 _c be a torsion-free variety of nilpotent groups of class at most c. For a positive integer n, with n ≥ 2, let F _n (𝔗 _c ) be the relatively free group of rank n in 𝔗 _c . We prove that ? _K (F _n (𝔗 _c )) is relatively free in some variety of nilpotent Lie algebras, and ? _K (F _n (𝔗 _c )) ? L _K (F _n (𝔗 _c )) ? grad^(?)(? _K (F _n (𝔗 _c ))) ? grad^(g)(exp ? _K (F _n (𝔗 _c ))) as Lie algebras in a natural way. Furthermore, F _n (𝔗 _c ) is a Magnus nilpotent group. Let G ₁ and G ₂ be torsion-free finitely generated nilpotent groups which are quasi-isometric. We prove that if G ₁ and G ₂ are relatively free of finite rank, then they are isomorphic. Let L be a relatively free nilpotent Lie algebra over ? of finite rank freely generated by a set X. Give on L the structure of a group R, say, by means of the Baker–Campbell–Hausdorff formula, and let H be the subgroup of R generated by the set X. We show that H is relatively free in some variety of nilpotent groups; freely generated by the set X, H is Magnus and L ? ?_?(H) ? L _?(H) as Lie algebras. For relatively free residually torsion-free nilpotent groups, we prove that ? _K and L _K are isomorphic as Lie algebras. We also give an example of a finitely generated Magnus nilpotent group G, not relatively free, such that ?_?(G) is not isomorphic to L _?(G) as Lie algebras.     

On a filtered multiplicative basis of group algebras

Let K be a field of characteristic p and G a nonabelian metacyclic finite p-group. We give an explicit list of all metacyclic p-groups G, such that the group algebra KG over a field of characteristic p has a filtered multiplicative K-basis. We also present an example of a non-metacyclic 2-group G, such that the group algebra KG over any field of characteristic 2 has a filtered multiplicative K-basis.