Locally nilpotent groups with a centralizer of finite rank

Locally nilpotent groups in which the centralizer of some finitely generated subgroup has finite rank are studied. It is shown that if G is such a group and F is a finitely generated subgroup with centralizer C_G(F) of finite rank, then the centralizer of the image of F in the factor group G/t(G) modulo the periodic part t(G) also has finite rank. It is also shown that G is hypercentral when F is cyclic and either G is torsion-free or all Sylow subgroups of the periodic part of C_G(F) are finite.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 11, pp. 1511–1517, November, 1992.     

Locally nilpotent groups with the centralizers satisfying a finiteness condition

Locally nilpotent groups, in which the centralizer of a certain finitely generated subgroup satisfies a certain finiteness condition, are studied. It is proved that if a locally nilpotent group contains a finitely generated subgroup F such that C_G(F) has finite rank, then the center of G is nontrivial.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 43, Nos. 7 and 8, pp. 1084–1087, July–August, 1991.     

On Groups with a CC(n)-Subgroup

A subgroup H of G is a CC(n)-subgroup of G if |G: H| >n and |C_G(x): C_H(x)| ≤n for each element x ∈ H ? {1}. In this article, we study the finite p-groups with a nontrivial CC(p)-subgroup, and the locally nilpotent groups with a nontrivial CC(n)-subgroup.     

Product of nilpotent subgroups

We will say that a subgroup X of G satisfies property C in G if C_G(X?X^g)\leqq X?X^g{\rm C}_{G}(X\cap X^{{g}})\leqq X\cap X^{{g}} for all g ? G{g}\in G. We obtain that if X is a nilpotent subgroup satisfying property C in G, then XF(G) is nilpotent. As consequence it follows that if N\triangleleft GN\triangleleft G is nilpotent and X is a nilpotent subgroup of G then C_G(N?X)\leqq XC_G(N\cap X)\leqq X implies that NX is nilpotent.¶We investigate the relationship between the maximal nilpotent subgroups satisfying property C and the nilpotent injectors in a finite group.     

Prime ideals in the C*-algebra of a nilpotent group

We say that a locally compact groupG hasT ₁ primitive ideal space if the groupC ^*-algebra,C ^*(G), has the property that every primitive ideal (i.e. kernel of an irreducible representation) is closed in the hull-kernel topology on the space of primitive ideals ofC ^*(G), denoted by PrimG. This means of course that every primitive ideal inC ^*(G) is maximal. Long agoDixmier proved that every connected nilpotent Lie group hasT ₁ primitive ideal space. More recentlyPoguntke showed that discrete nilpotent groups haveT ₁ primitive ideal space and a few month agoCarey andMoran proved the same property for second countable locally compact groups having a compactly generated open normal subgroup. In this note we combine the methods used in [3] with some ideas in [9] and show that for nilpotent locally compact groupsG, having a compactly generated open normal subgroup, closed prime ideals inC ^*(G) are always maximal which implies of course that PrimG isT ₁.     

Fitting Height of a Finite Group with a Metabelian Group of Automorphisms

Let M = FH be a finite group that is a product of a normal abelian subgroup F and an abelian subgroup H. Assume that all elements in M?F have prime order p, and F has at most one subgroup of order p. Examples of such groups are dihedral groups for p = 2 and the semidirect product of a cyclic group F by a group H of prime order p such that C _F (H) = 1 or |C _F (H)| =p and C _{F/C F (H)}(H) = 1. Suppose that M acts on a finite group G in such a manner that C _G (F) = 1. We prove that the Fitting height h(G) of G is at most h(C _G (H))+ 1. Moreover, the Fitting series of C _G (H) coincides with the intersection of C _G (H) with the Fitting series of G.     

Hypersolvable Groups

Call a group G hypersolvable if it has an ascending series with G/C_G(A) solvable for each factor A of the series. In this article we establish some basic facts about hypersolvable groups. We also prove that if G is a perfect Fitting p-group such that every proper subgroup is contained in a proper normal subgroup, then G has a proper non-hypersolvable subgroup.     

Nilpotent Length of a Finite Solvable Group with a Frobenius Group of Automorphisms

We prove that a finite solvable group G admitting a Frobenius group FH of automorphisms of coprime order with kernel F and complement H such that [G, F] = G and C _{C G (F)}(h) = 1 for all nonidentity elements h ∈ H, is of nilpotent length equal to the nilpotent length of the subgroup of fixed points of H.     

On products of two nilpotent subgroups of a finite group

LetG be a finite group with an abelian Sylow 2-subgroup. LetA be a nilpotent subgroup ofG of maximal order satisfying class (A)≦k, wherek is a fixed integer larger than 1. Suppose thatA normalizes a nilpotent subgroupB ofG of odd order. ThenAB is nilpotent. Consequently, ifF(G) is of odd order andA is a nilpotent subgroup ofG of maximal order, thenF(G)?A.     

The probability of generating a nilpotent subgroup of a finite group

It is proved that for finite groups G the probability that tworandomly chosen elements of G generate a nilpotent subgrouptends to 0 as the index of the Fitting subgroup of G tends toinfinity.     

Groups containing an element that permutes with a finite number of its conjugates

We study a group G containing an element g such that C_G(g)∩g^G is finite. The nonoriented graph Γ is defined as follows. The vertex set of Γ is the conjugacy class g^G. Vertices x and y of the graph G are bridged by an edge iff x≠y and xy=yx. Let Γ₀ be some connected component of G. On a condition that any two vertices of Γ₀ generate a nilpotent group, it is proved that a subgroup generated by the vertex set of Γ₀ is locally nilpotent. Supported by the RF State Committee of Higher Education. Translated fromAlgebra i Logika, Vol. 37, No. 6, pp. 637–650, November–December, 1998.     

Groups with an almost regular involution

An involution j of a group G is said to be almost perfect in G if any two involutions in j^G whose product has infinite order are conjugated by a suitable involution in j^G. Let G contain an almost perfect involution j and |C_G(j)| < ∞. Then the following statements hold: (1) [j,G] is contained in an FC-radical of G, and |G: [j,G]| ⩽ |C_G(j)|; (2) the commutant of an FC-radical of G is finite; (3) FC(G) contains a normal nilpotent class 2 subgroup of finite index in G. __________ Translated from Algebra i Logika, Vol. 46, No. 3, pp. 360–368, May–June, 2007.     

On solubility and supersolubility of some classes of finite groups

Let G be a finite group and H a subgroup of G. Then H is said to be S-permutable in G if HP = PH for all Sylow subgroups P of G. Let HsG be the subgroup of H generated by all those subgroups of H which are S-permutable in G. Then we say that H is S-embedded in G if G has a normal subgroup T and an S-permutable subgroup C such that T ∩ H HsG and HT = C. Our main result is the following Theorem A. A group G is supersoluble if and only if for every non-cyclic Sylow subgroup P of the generalized Fitting subgrou...     

On s-quasinormal and c-normal subgroups of a finite group

Let F be a saturated formation containing the class of supersolvable groups and let G be a finite group. The following theorems are shown： （1） G ∈ F if and only if there is a normal subgroup H such that G/H ∈ F and every maximal subgroup of all Sylow subgroups of H is either c-normal or s-quasinormally embedded in G; （2） G ∈F if and only if there is a soluble normal subgroup H such that G/H∈F and every maximal subgroup of all Sylow subgroups of F（H）, the Fitting subgroup of H, is either e-normally or s-quasinormally embedded in G.     

Groups in which the hypercentral factor group is a T-group

Abstract We consider groups G having a T - group as factor G/Z_*(G) and exhibit connections with its Frattini subgroup and its nilpotemt radical.Mutually permutable products of these groups with supersolvable ones are described with consequences concerning the Fitting core of supesolvable groups. Keywords: Hypercenter, T-group, Fitting core Mathematics Subject Classification (2000): 20D25, 20D40, 20D10     

Finite soluble groups containing an element of prime order whose centralizer is small

In [2] we proved that ifG is a finite group containing an involution whose centralizer has order bounded by some numberm, thenG contains a nilpotent subgroup of class at most two and index bounded in terms ofm. One of the steps in the proof of that result was to show that ifG is soluble, then ¦G/F(G) ¦ is bounded by a function ofm, where F (G) is the Fitting subgroup ofG. We now show that, in this part of the argument, the involution can be replaced by an arbitrary element of prime order.     

The Mathieu group M12

Let G be a finite simple non-Abelian group. t is an involution of G, and L=O² (C_G(t)/O · (C_G(t))). K the center Z(L) is cyclic and L/Z(L)-PGL (2, q), q odd, then either a Sylow 2-subgroup of G is semidihedral or C_G(t)Z₂×PGL (2.5) and G is isomorphic to the Mathieu group M₁₂ of degree 12.     

On the length of a finite group and of its 2-generator subgroups

The nonsoluble length λ(G) of a finite group G is defined as the minimum number of nonsoluble factors in a normal series of G each of whose quotients either is soluble or is a direct product of nonabelian simple groups. The generalized Fitting height of a finite group G is the least number h = h* (G) such that F* _h (G) = G, where F* ₁ (G) = F* (G) is the generalized Fitting subgroup, and F* _i+1(G) is the inverse image of F* (G/F*_i (G)). In the present paper we prove that if λ(J) ≤ k for every 2-generator subgroup J of G, then λ(G) ≤ k. It is conjectured that if h* (J) ≤ k for every 2-generator subgroup J, then h* (G) ≤ k. We prove that if h* (〈x, x^g 〉) ≤ k for allx, g ∈ G such that 〈x, x^g 〉 is soluble, then h* (G) is k-bounded.     

On commutative group algebras of mixed groups

Suppose F is a perfect field of characteristic p 0 and G is an abelian group whose torsion subgroup Gt is p-primary. If Gt is totally projective of countable length, it is shown that G is a direct factor of the group of normalized units V(G) of the group algebra F(G) and that V(G)/G is a totally projective p-group. The proof of this result is based on a new characterization of the class of totally projective p-groups of countable length. Li addition, the same result regarding V(G) is obtained if G has countable torsion-free rank and Gt is totally projective of length less than ω₁ + ω₀ . Finally, these results are applied to the question of whether the existence of an F-i pomorphism F(G) ? F(H) for some group H implies that G?H.