ON TORSION AND FINITE EXTENSION OF FC AND τNK GROUPS IN CERTAIN CLASSES OF FINITELY GENERATED GROUPS

Let k > 0 an integer. F , τ , N , Nk, N (2) k and A denote the classes of finite, torsion, nilpotent, nilpotent of class at most k, group which every two generator subgroup is Nk and abelian groups respectively. The main results of this paper is, firstly, we prove that, in the class of finitely generated τN -group (respectively FN-group) a (FC)τ -group (respectively (FC)F -group) is a τA-group (respectively is FA-group). Secondly, we prove that a finitely generated τN -group (respectively FN-group) in the class ((τNk)τ, ∞) (respectively ((FNk)F, ∞)) is a τN (2) k -group (respectively FN (2) k -group). Thirdly we prove that a finitely generated τN -group (respectively FN-group) in the class ((τNk)τ,∞) ( respectively ((FNk)F, ∞)∗) is a τNc-group (respectively FNc-group) for certain integer c and we extend this results to the class of NF -groups. Mathematics Subject Classification: 20F22, 20F99.


Introduction and Preliminaries
Definition 1.1.A group G is said to be with finite conjugacy classes (or shortly F C-group) if and only if every element of G has a finite conjugacy class in G.
It is known that F IZ ⊆ F A ⊆ F C, where F IZ denotes the class of center-byfinite groups, and that for finitely generated equalities F IZ = F A = F C hold.These results and other have been studied and developed by Baer, Neumann, Erdos and Tomkinson and others in [1,2,3,4,5].F C-groups have many similar properties with abelian groups and finite groups.It is known that the class of F C-groups is closed under taking subgroup, homomorphic images, quotient and forming restricted direct products, but it is not closed under taking finite extension.We prove in Theorem 2.2, that in the class of finitely generated τ Ngroup (respectively F N -group) a (F C)τ -group (respectively (F C)F -group) is τ A-group (respectively is F A-group).
Definition 1.2.Let χ is a given property of groups.A group G it is said to be in the class (χ, ∞) (respectively (χ, ∞) * ) if and only if every infinite subset X of G contains two distinct elements x, y such that the subgroup < x, y > (respectively < x, x y >) is a χ-group.Note that if χ is a subgroup closed class, then χ ⊂ (χ, ∞) ⊂ (χ, ∞) * .
On the one hand, several authors have studied the class of (χ, ∞)-groups, where χ is a given property of groups, with some conditions on these groups.The question that interests mathematicians is the following: If G is a group in the class (χ, ∞) where χ is a given property, then does G have a property in relation to the property χ.For example G has the property χγ or γχ, etc. where γ is another group property, or in particular G is in the same class χ.For example, in 1976, Neumann in [6], has shown that a group is in the class (A, ∞) if and only if it is F IZ-group.In 1981, Lennox and Wiegold in [7] proved that a finitely generated solvable group is in the class (N, ∞) (respectively (P, ∞), (C o , ∞)) if and only if it is F N , (respectively P , C o ), where P and C o respectively polycyclic and coherent groups.In 2000, 2002 and 2005, Abdollahi and Trabelsi, proved in [8,9,10] that a finitely generated solvable group is in the class k , (respectively F N, N F, τ N ).Other results of this type have been obtained, for example in [8,11,12,13,14,15,16].In this note, we prove that a finitely generated τ N -group G which is in the class k and deduce that a finitely generated F N -group (respectively N F -group) G in the class of (( k F -groups) and particularly a group G is in the class ((F C)F, ∞) if and only if, it is F A-group.On the other hand, in 2005, Trabelsi in [10] (respectively in 2007, Rouabehi and Trabelsi in [17]) proved that a finitely generated soluble group in the class (CN, ∞) * where C is the class of cernikov group (respectively in the class in the class (τ N, ∞) * ) is F N -group (respectively τ N -group) and in 2007 too, Guerbi and Rouabhi in [14] proved that a finitely generated Hyper(abelian-by-finite) group in the class (Ω, ∞) * where Ω is the class of finite depth group, is F N -group.In this paper, we prove that a finitely generated τ N -group in the class ((F N k )τ, ∞) * is in the class τ N c for certain integer c and deduce that a finitely generated

Main Results
2.1.Torsion and finite extension of property F C. It is known that the property F C is not closed under the formation of extension.The following example shows that even, a finite extension (respectively torsion extension) of an F C-group is not always an F C-group(respectively τ A-group).Note that if the center of an infinite finitely generated group is trivial or finite then this group is not b/ a 2 = 1 and aba = b −1 > the infinite dihedral group, which is a finitely generated soluble group, generated by the involutions a, b.We have K = C ∞ =< b > which is a infinite cyclic group isomorphic to Z therefore it is a F C-group and the quotient group G/K is isomorphic to C 2 =< a > which is finite of order 2, thus G is a finite extension of a F C-group, but as the center of the infinite dihedral group is trivial then it is not a F C-group.
This example shows also that D ∞ is a torsion extension of a F C-group but it is not a τ A-group, so we consider the class of finitely generated τ N -groups (respectively F N -group) and we prove that, in this class, a (F C)τ -group (respectively (F C)F -group) is a τ A-group (respectively F C-group). Proof.
(1) We proceed by induction on the nipotency class d of the group G.
we suppose now that G is torsionfree nilpotent and non abelian of nilpotecy class d.We consider the subgroup H =< G x > generated by the derived group G and the element x, by the Lemma 2.3 above the nilpotency class of H is less than d.Then by the inductive hypothesis the Lemma is verified for H. we have x ∈ H and 1) in lemma applied to H give us that y −1 xy = x which means that x and y commute.So we have in G: (2) We have: y n also by ( 1) we obtain xyx −1 = y and so xy = yx. ( k -groups.
Proof.Suppose that G is finite-by-soluble, there exists finite normal subgroup N such that G/N is soluble.As the class of (F N k , ∞)-group, is closed under taking quotient, then the quotient group G/N is a finitely generated soluble group in the class of (F N k , ∞)-group.By ( k -groups.Therefore G is finite-by-F N k -group, and this gives that Proof.Suppose that G is finite-by-soluble, there exists a torsion and normal subgroup N such that G/N is soluble.As the class of (τ N k , ∞)-group, is closed under taking quotient, then the quotient group G/N is a finitely generated soluble group in the class of (τ N k , ∞) ⊂ (τ N, ∞).By ([10], Theorem 1) G/N is in the class of τ N -groups.So G/N admits a torsion group τ (G/N ) = T /N such that T is torsion and the quotient G/T is torsion-free in the class (τ N k , ∞).So G/T is a finitely generated soluble group in the class (N k , ∞).It results by ( [12]) that G/T ∈ F N k , and this gives that G is τ N (2) There exist integers d such that G is in the class τ N k d−1 .
Proof.(1) Assume that G is finitely generated τ N -group in the class ((τ N k ) τ, ∞).There exist a normal and torsion subgroup H of G such that G/H is nilpotent quotient group.Since G/H is finitely generated nilpotent group, it has a torsion subgroup T /H of finite order and as H is torsion group then T is torsion group too.So G/T is torsion-free nilpotent group in the class ((τ N k )τ, ∞), which gives that G/T is in the class (N k τ, ∞).We deduce by ( [18], Lemma 6.33) that G/T is in the class (N k , ∞) and so G/T is a finitely generated soluble group in the class (N k , ∞).It follows by [12] that G/T belongs in the class of F N (2) There exist integers d =d(k) and c=c(k, d) such that G is in the class As G is F N -group, there exist a normal and finite subgroup H of G such that G/H is nilpotent.We found that the torsion subgroup T /H of G/H is finite and so T is finite too.As the property ((τ N k )τ, ∞) is closed under quotient then the quotient group G/T verifies the conditions of the above theorem.It follows that G/T belongs in the class of τ N (2) (2) In one hand as the same way in (2) of the above theorem we found that In the other hand and by Hall [15], there exist an integer c = c(k, d) depending on k, d such that G/Z c (G).The example 2.5 above shows that nilpotency is necessary for the results of the above theorem to remain true.Recall that F N -groups are N F -groups (see [15]).
As the group G is N F -group, and then it contains a normal nilpotent subgroup N such that G/N is finite.As the subgroup N is finitely generated and nilpotent of finite index then N is polycyclic so by ( [19], Theorem 5.4.15)there exist a subgroup M normal in N and poly-infinite cyclic, hence torsion-free and of finite index in N .Let K = M G the core of the subgroup M , so K is nilpotent torsion-free of finite index in G. Since the class ((F N k )τ, ∞) is closed under taking subgroups, then K is nilpotent subgroup in the class ((F N k )τ, ∞) and according to (1) of lemma 2.10, we deduce that K is torsionfree subgroup in the class of τ N k F -group.In particular, for k = 1 we have: In 2007 T.Rouabehi and N.Trabelsi in [17] proved that a finitely generated soluble group in the class (τ N k , ∞) * is in the class τ N c for certain integer c depending only on k.If we replace the properties ((τ N k )τ, ∞) and ((F N k )F, ∞) in the above results by the properties ((τ N k )τ, ∞) * and ((F N k )F, ∞) * , we obtain the next results.Theorem 2.12.Let G a finitely generated τ N -group.G is in the class ((τ N k )τ, ∞) * , then there exist an integer c = c(k) such that G is in the class of τ N c -group.
Proof.Assume that G is finitely generated τ N -group in the class ((τ N k )τ, ∞) * .There exist a normal and torsion subgroup F of G such that G/F is nilpotent quotient group.Since G/F is finitely generated nilpotent group, it has a finite and so torsion subgroup T /F such that T is a normal and torsion subgroup containing F .So G/T is torsion-free nilpotent group in the class ((τ N k )τ, ∞) * and hence G/T is in the class (N k τ, ∞) * .We deduce by ([18], Lemma 6.33) that G/T is in the class (N k , ∞) * .It is known that the class (N k , ∞) * is included in the class ε k+1 (∞), where ε k+1 (∞) is the class of groups whose every infinite subset X contain two distinct elements x, y such that [x, k+1 y] = 1.We deduce that G/T belongs in ε k+1 (∞).Since G/T is nilpotent so soluble then by ([20], Theorem 3) there exist an integer c = c(k) depending only on k such that (G/T )/Z c (G/T ) is finite.By a result in ([15], Theorem 1) γ c+1 (G/T ) = γ c+1 (G)T /T is finite and so is torsion, and since T is torsion group , we deduce that γ c+1 (G) is torsion group.Therefore G is in the class of τ N c -group.This completes the proof.
3groups and there exist an integer d such that G is F N 3 d−1 .
Proof.(1) Assume that G is finitely generated F N -group in the class ((F N k )F, ∞) * .As G is F N -group, there exist a normal and finite subgroup F of G such that G/F is nilpotent quotient group.Since G/F finitely generated nilpotent group it has a torsion subgroup T /F of finite order.So the subgroup T of torsion elements of G is normal and finite in G and as the same way in the above theorem, we deduce by ( [18], Lemma 6.33) that G/T is nilpotent torsion -free in the class (N k , ∞) * ⊂ ε k+1 (∞) and according to ( [20], Theorem 3) we found that there exist an integer c = c(k) depending only on k such that (G/T )/Z c (G/T ) is finite.Also by ([15], Theorem 1) we find that γ c+1 (G)T /T is finite and as T is finite then , by a result of Abdollahi [11] (G/T )/Z 2 (G/T ) is finite and by ([15], Theorem 1) we find that γ 3 (G)T /T is finite and as T is finite then γ 3 (G) is finite too and as G is finitely generated then by [15],G/Z 2 is finite.Therefore G is in the class of F N 2 -group.
(3) For k = 2, as the same way in (1) we found that G/T is in the class (N 2 , ∞) * which is included in the class ε3(∞), where ε 3 (∞) is the class of groups whose every infinite subset X contain two distinct elements x, y such that [x, 3 y] = 1.We deduce by ([20], Theorem 1) that G/T is torsion-free in the class F N Proof.(1) As the group G is N F -group, and then it contains a normal nilpotent subgroup N such that G/N is finite.As the subgroup N is finitely generated and nilpotent of finite index then N is polycyclic so by ( [19], Theorem 5.4.15)there exist a normal subgroup M in N and poly-infinite cyclic hence torsion-free and of finite index in N .Let K = M G the core of the subgroup M , so K is nilpotent torsion-free of finite index in G. Since the class ((F N k )F, ∞) * is closed under taking subgroups, then K is in this class too, so by (1) of lemma 2.13, we obtains that there exist an integer c = c(k) depending only on k such that K is F N c -group and as K is torsion-free, it is N c -group and so G is N c F -group.
(2) Particularly for k = 1, we have ((F C)F, ∞) * = ((F N 1 )F, ∞) * , in this case the subgroup K is a finitely generated torsion-free nilpotent group in the class ((F N 1 )F, ∞) * and according to (2) of lemma 2.13, we deduce that K is in the class F N 2 -groups and as K is torsion-free, it is N 2 -group of finite index in G, this gives that G is N 2 F -group.
(3) In particular for k = 2, we have the subgroup K in (1) is a finitely generated torsion-free nilpotent group in the class ((F N 2 )F, ∞) * and according to (3) of lemma 2.13, we deduce that K is in the class F N

( 2 )( 1 )
k -groups and torsion-free so G/T is in the classN (2) k , it gives that G is in the class of τ N (2) k -groups.(2) In (1) we have G/T is a torsion-free nilpotent group in the class N (2) k which is included in ε k , so G/T is k-Engel torsion-free nilpotent (so soluble) group.If the integer d is the derived4length of G/T as a soluble group, then by a result of Gruenberg [18], Theorem 7.36, G/T is in the class N k d−1 .So as T is torsion.It gives that G is τ N k d−1 .This completes the proof.If we replace the property τ N by the property F N , we obtain the results in the Lemma bellow.Lemma 2.10.Let G a finitely generated F N -group in the class ((F N k )F, ∞), then, G is in the class of F N (2) k -groups.

Theorem 2 . 11 .
Let G a finitely generated N F -group.If G in the class

Lemma 2 . 13 .
Let G a finitely generated F N -group.Then(1) if G is in the class ((F N k )F, ∞) * ,then there exist an integer c = c(k) depending only on k such that G is in the class of F N c -group.(

) 3 ⊂ 2 F 2 ) 3 F
torsion subgroup T is finite, then G is F N (2)3 -group.As G/T is torsion-free soluble group in N (2ε 3 (the 3-Engel group) then by Gruenberg [[18], Theorem 7.36 (1)], there exist integer d such that G/T is in the classN 3 d−1 which gives that G is F N 3 d−1 This completes the proof.Theorem 2.14.Let G a finitely generated N F -group.Then (1) if G is in the class ((F N k )F, ∞) * , then there exist an integer c = c(k) depending only on such that G is in the class of N c F -groups. (2) if G is in the class of ((F C)F, ∞) * -groups, then, G is in the class of N -group.(3) if G is in the class ((F N 2 )F, ∞) * ,then, G is in the class of N (groups and there exist an integer d such that G is F N 3 d−1 .

( 2 ) 3 - 2 ) 3 F
groups and as K is torsionfree it is the class N (2) 3 -group and as G/K if finite this gives that G is in the class of N (-groups.As K is nilpotent torsion-free in the class N (2) 3 then it is in the class ε 3 of 3-Enjel group, then by Gruenberg [[18], Theorem 7.36 (1)], there exist integer d such that K is in the class N 3 d−1 and so G is in the class N 3 d−1 F -group.
Theorem 2.2.Let G a finitely generated torsion-by-nilpotent group.If G is F C-by-torsion group then G is τ A-group.
(2)the(2)we obtain xy = yx.Proof.Since G is finitely generated torsion-by-nilpotent group, there exists a normal and torsion subgroup F of G such that the quotient group G/F is nilpotent group.As the property F C-by-torsion is closed under quotient, it is enough to show that G/F is a F C-group.For this it is sufficient to show that every F C-by-torsion group G in the class of finitely generated nilpotent groups in a τ A-group.Assume that G is (F C)-by-torsion, so there exists a normal F Csubgroup N such that the quotient G/N is torsion.Since G is finitely generated and nilpotent, it checks the maximal condition on subgroups.So N is finitely generated F C-subgroup.According to ([1], Theorem 6.2 ) N is center-by-finite which means that Z(N ) is of finite index in N .Or G/N is torsion group.It follows that the quotient G/Z(N ) is torsion group.So for all x and y in G, there exist non-zero integers m and n such that x m and y n belong to Z(N ), it follows that [x m , y n ] = 1 in G. Let T = T or(G), the torsion subgroup of G. Since G is nilpotent, the quotient group G/T is a finitely generated nilpotent torsion-free group, and therefore [x m T, y n T ] = T in G/T .By the result (2) in Lemma 2.4 above, we deduce that [xT, yT ] = T in G/T , which shows that the group G/T is an abelian group.More, since G is nilpotent and checks the maximal condition, by ([2], Theorem 5.1) the subgroup T as finitely generated nilpotent torsion group, is finite.Thus G is finite-by-Abelian so G is τ A. Since G/F is F C-by-torsion group in the class of finitely generated nilpotent-group, then G/F is τ A and as F is torsion group it follows that G is τ (τ A) = τ A. This completes the proof.Remark 2.1.The example below shows that Theorem 2.2. is falls when the condition "finitely generated" is omitted.Example 2.5.Let A = F 2 [X] algebra of polynomials on the field F 2 and the isomorphism ϕ If we replace the property τ by the property F we obtain a necessary and sufficient condition for the property F C to be closed under finite extension in the class of finitely generated F N -group.It clear that if G is F A-group then G is F C and so F C-by-finite.If G is finitely generated finite-by-nilpotent group, as the same case in theorem above there exists a normal and finite subgroup F of G such that the quotient group G/F is nilpotent group.As the property F C-by-finite is closed under quotient, it is enough to show that G/F is a F C-group.For this it is sufficient to show that every F C-by-finite group G in the class of finitely generated nilpotent groups is a F A-group. Assume that G is (F C)-by-finite, so there exists a normal F Csubgroup N such that the quotient G/N is finite.As the same way in the above theorem, we found that Z(N ) is of finite index in N and the quotient G/Z(N ) is finite group.So for all x and y in G, there exist non-zero integers m and n such that x m and y n belong to Z(N ), it follows that [x m , y [10]2] the identity application on A × A. Since H is an abelian group, it is a F C-group.K is a finite group of order 2 and so it is F C too.We consider G = H K, the semi-direct product of H by K. G is a non-finitely generated nilpotent group, which is a finite extension of theF C-group H.But G is not a F C-group. Corollary 2.6.Let G a finitely generated finite-by-nilpotent group.G is F Cby-finite group if and only if G is F A-group. Proof.n]= 1 in G.If T = T or(G), we have [x m T, y n T ] = T in G/T.By the result (2) in Lemma 2.3, we deduce that [xT, yT ] = T in G/T , which shows that the group G/T is an Abelian group.Moreover, as in the above theorem we found that T is finite.Thus G is finiteby-Abelian.Since G/F is F C-by-finite group in the class of finitely generated nilpotent-group, it is F A and so G is F (F A) = F A. This completes the proof.2.2.τ N k and F N k -groups and conditions on infinite subsets.Our first elementary propositions below follows from a results in[8,12]and[10].Proposition 2.7.If G is a finitely generated finite-by-soluble group in the class