scholarly journals ON FOX QUOTIENTS OF ARBITRARY GROUP ALGEBRAS

2010 ◽  
Vol 20 (05) ◽  
pp. 619-660 ◽  
Author(s):  
MANFRED HARTL

Certain subquotients of group algebras are determined as a basis for subsequent computations of relative Fox and dimension subgroups. More precisely, for a group G and N-series [Formula: see text] of G let [Formula: see text], n ≥ 0, denote the filtration of the group algebra R(G) induced by [Formula: see text], and IR(G) its augmentation ideal. For subgroups H of G, left ideals J of R(H) and right H-submodules M of [Formula: see text] the quotients IR(G)J/MJ are studied by homological methods, notably for M = IR(G)IR(H), IR(H)IR(G) + I([H, G])R(G) and [Formula: see text] for a normal subgroup N in G; in the latter case the module IR(G)J/MJ is completely determined for n = 2. The groups [Formula: see text] are studied and explicitly computed for n ≤ 3 in terms of enveloping rings of certain graded Lie rings and of torsion products of abelian groups.

Author(s):  
Siegfried Moran

Let G be an arbitrary group and Zn(G) denote the group algebra of G over the integers modulo n. If δi(G) denotes ith power of the augmentation ideal δ(G) of Zn(G), thenis easily seen to be a normal subgroup of G. It is denoted by Di, n(G) and is called ith dimension subgroup of G modulo n. It can be shown that these dimension subgroups are determined by the dimension subgroups modulo a power of a prime p. Hence we shall restrict our attention to these dimension subgroups.


2013 ◽  
Vol 12 (08) ◽  
pp. 1350044
Author(s):  
TIBOR JUHÁSZ ◽  
ENIKŐ TÓTH

Let K be a field of odd characteristic p, and let G be the direct product of a finite p-group P ≠ 1 and a Hamiltonian 2-group. We show that the set of symmetric elements (KG)* of the group algebra KG with respect to the involution of KG which inverts all elements of G, satisfies all Lie commutator identities of degree t(P) or more, where t(P) denotes the nilpotency index of the augmentation ideal of the group algebra KP. In addition, if P is powerful, then (KG)* satisfies no Lie commutator identity of degree less than t(P). Applying this result we get that (KG)* is Lie nilpotent and Lie solvable, and its Lie nilpotency index and Lie derived length are not greater than t(P) and ⌈ log 2 t(P)⌉, respectively, and these bounds are attained whenever P is a powerful group. The corresponding result on the set of symmetric units of KG is also obtained.


2016 ◽  
Vol 16 (09) ◽  
pp. 1750170
Author(s):  
M. Ramezan-Nassab

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


2007 ◽  
Vol 14 (03) ◽  
pp. 515-520
Author(s):  
Peter V. Danchev

We prove that if the p-reduced abelian group G is a special countable extension of its totally projective p-component of torsion Gp and R is a perfect commutative unitary ring of prime characteristic p, then the group S(G) of all normed p-units in the group algebra RG modulo Gp, that is, S(G)/Gp, is totally projective. Our result strengthens both classical results obtained by May and Hill–Ullery.


2019 ◽  
Vol 18 (09) ◽  
pp. 1950163
Author(s):  
Meena Sahai ◽  
Bhagwat Sharan

Let [Formula: see text] be an arbitrary group and let [Formula: see text] be a field of characteristic [Formula: see text]. In this paper, we give some improvements of the upper bound of the lower Lie nilpotency index [Formula: see text] of the group algebra [Formula: see text]. We also give improved bounds for [Formula: see text], where [Formula: see text] is the number of independent generators of the finite abelian group [Formula: see text]. Furthermore, we give a description of the Lie nilpotent group algebra [Formula: see text] with [Formula: see text] or [Formula: see text]. We also show that for [Formula: see text] and [Formula: see text], [Formula: see text] if and only if [Formula: see text], where [Formula: see text] is the upper Lie nilpotency index of [Formula: see text].


2016 ◽  
Vol 101 (2) ◽  
pp. 244-252 ◽  
Author(s):  
M. RAMEZAN-NASSAB

Let $F$ be a field of characteristic $p\geq 0$ and $G$ any group. In this article, the Engel property of the group of units of the group algebra $FG$ is investigated. We show that if $G$ is locally finite, then ${\mathcal{U}}(FG)$ is an Engel group if and only if $G$ is locally nilpotent and $G^{\prime }$ is a $p$-group. Suppose that the set of nilpotent elements of $FG$ is finite. It is also shown that if $G$ is torsion, then ${\mathcal{U}}(FG)$ is an Engel group if and only if $G^{\prime }$ is a finite $p$-group and $FG$ is Lie Engel, if and only if ${\mathcal{U}}(FG)$ is locally nilpotent. If $G$ is nontorsion but $FG$ is semiprime, we show that the Engel property of ${\mathcal{U}}(FG)$ implies that the set of torsion elements of $G$ forms an abelian normal subgroup of $G$.


2006 ◽  
Vol 80 (2) ◽  
pp. 173-178 ◽  
Author(s):  
A. Bovdi

AbstractLet F be a field of characteristic p and G a group containing at least one element of order p. It is proved that the group of units of the group algebra FG is a bounded Engel group if and only if FG is a bounded Engel algebra, and that this is the case if and only if G is nilpotent and has a normal subgroup H such that both the factor group G/H and the commutator subgroup H′ are finite p–groups.


1975 ◽  
Vol 27 (1) ◽  
pp. 155-161 ◽  
Author(s):  
Eugene Spiegel

For F a field and G a group, let FG = F(G) be the group algebra of G over F. It is a class of finite abelian groups, F induces an equivalence relation on by are equivalent if and only if FG ⋍ FH. We will call two fields F and K equivalent on if they induce the same equivalence relation on We will say F is equivalent to isomorphism on if FG ⋍ FH if and only if G ⋍ H for any two elements .


Author(s):  
Meena Sahai ◽  
Sheere Farhat Ansari

In this paper, we establish the structure of the unit group of the group algebra [Formula: see text] where [Formula: see text] is an abelian group of order at most 16 and [Formula: see text] is a finite field of characteristic [Formula: see text] with [Formula: see text] elements.


2019 ◽  
Vol 19 (02) ◽  
pp. 2050036
Author(s):  
Morteza Baniasad Azad ◽  
Behrooz Khosravi

In this paper, we prove that the direct product [Formula: see text], where [Formula: see text] are distinct numbers, is uniquely determined by its complex group algebra. Particularly, we show that the direct product [Formula: see text], where [Formula: see text]’s are distinct odd prime numbers, is uniquely determined by its order and three irreducible character degrees.


Sign in / Sign up

Export Citation Format

Share Document