scholarly journals GEOMETRICAL APPROACH TO THE FREE SOLVABLE GROUPS

2005 ◽  
Vol 15 (05n06) ◽  
pp. 1243-1260 ◽  
Author(s):  
A. M. VERSHIK ◽  
S. V. DOBRYNIN

We give a topological interpretation of the free metabelian group, following the plan described in [11, 12]. Namely, we represent the free metabelian group with d-generators as an extension of the group of the first homology of the d-dimensional lattice (as Cayley graph of the group ℤd), with a canonical 2-cocycle. This construction opens a possibility to study metabelian groups from new points of view; in particular to give useful normal forms of the elements of the group, leading to applications to the random walks, and so on. We also describe the satellite groups which correspond to all 2-cocycles of cohomology group associated with the free solvable groups. The homology of the Cayley graph can be used for studying the wide class of groups which include the class of all solvable groups.

1997 ◽  
Vol 62 (1) ◽  
pp. 159-174 ◽  
Author(s):  
Olivier Chapuis

In 1965, during the first All-Union Symposium on Group Theory, Kargapolov presented the following two problems: (a) describe the universal theory of free nilpotent groups of class m; (b) describe the universal theory of free groups (see [18, 1.28 and 1.27]). The first of these problems is still open and it is known [25] that a positive solution of this problem for an m ≤ 2 should imply the decidability of the universal theory of the field of the rationals (this last problem is equivalent to Hilbert's tenth problem for the field of the rationals which is a difficult open problem; see [17] and [20] for discussions on this problem). Regarding the second problem, Makanin proved in 1985 that a free group has a decidable universal theory (see [15] for stronger results), however, the problem of deriving an explicit description of the universal theory of free groups is open. To try to solve this problem Remeslennikov gave different characterization of finitely generated groups with the same universal theory as a noncyclic free group (see [21] and [22] and also [11]). Recently, the author proved in [8] that a free metabelian group has a decidable universal theory, but the proof of [8] does not give an explicit description of the universal theory of free metabelian groups.


1999 ◽  
Vol 09 (05) ◽  
pp. 493-520 ◽  
Author(s):  
NARAIN GUPTA ◽  
SAID SIDKI

Let G be a torsion-free metabelian group having for commutator quotient, an elementary abelian p-group of rank k. It is shown that k≥3 for all primes p. Examples of such metabelian torsion-free groups are constructed for all primes p and all ranks k≥3, except for p=2, k=3.


2003 ◽  
Vol 13 (01) ◽  
pp. 95-110
Author(s):  
SAID SIDKI

We prove that any solvable subgroup K of automorphisms of the binary tree, which contains the binary adding machine is an extension of a torsion-free metabelian group by a finite 2-group. If the group K is moreover nilpotent then it is torsion-free abelian.


1994 ◽  
Vol 46 (2) ◽  
pp. 298-307 ◽  
Author(s):  
C. K. Gupta ◽  
N. D. Gupta ◽  
G. A. Noskov

AbstractFor any variety of groups, the relative inner rank of a given groupG is defined to be the maximal rank of the -free homomorphic images of G. In this paper we explore metabelian inner ranks of certain one-relator groups. Using the well-known Quillen-Suslin Theorem, in conjunction with an elegant result of Artamonov, we prove that if r is any "Δ-modular" element of the free metabelian group Mn of rank n > 2 then the metabelian inner rank of the quotient group Mn/(r) is at most [n/2]. As a corollary we deduce that the metabelian inner rank of the (orientable) surface group of genus k is precisely k. This extends the corresponding result of Zieschang about the absolute inner ranks of these surface groups. In continuation of some further applications of the Quillen-Suslin Theorem we give necessary and sufficient conditions for a system g = (g1,..., gk) of k elements of a free metabelian group Mn, k ≤ n, to be a part of a basis of Mn. This extends results of Bachmuth and Timoshenko who considered the cases k = n and k < n — 3 respectively.


1980 ◽  
Vol 32 (2) ◽  
pp. 449-459 ◽  
Author(s):  
K. W. Roggenkamp

Let G be a metabelian group and R an integral domain of characteristic zero, such that no rational prime divisor of │G│ is invertible in R. By RG we denote the group ring of G over R. In this note we shall proveTHEOREM. If RG ≌ RH as R-algebras, then G ≌ HThe question whether this result holds was posed to me by S. K. Sehgal. The result for R = Z is contained in G. Higman's thesis, and he apparently also proved a more general result. At any rate, I think that the methods of the proof are interesting eo ipso, since they establish a “Noether-Deuring theorem” for extension categories.In proving the above result, it is necessary to study closely the category of extensions (ℊs, S), where the objects are short exact sequences of SG-modules


2017 ◽  
Vol 20 (4) ◽  
Author(s):  
Khadijeh Alibabaei

AbstractWe show that the wreath product of a finitely generated abelian group with a polycyclic group is a LERF group. This theorem yields as a corollary that finitely generated free metabelian groups are LERF, a result due to Coulbois. We also show that a free solvable group of class 3 and rank at least 2 does not contain a strictly ascending HNN-extension of a finitely generated group. Since such groups are known not to be LERF, this settles, in the negative, a question of J. O. Button.


1974 ◽  
Vol 11 (1) ◽  
pp. 115-120 ◽  
Author(s):  
P.F. Pickel

Let F(G) denote the set of isomorphism classes of finite quotients of the group G. Two groups G and H are said to have the same finite quotients if F(G) = F(H). We construct infinitely many nonisomorphic finitely presented metabelian groups with the same finite quotients, using modules over a suitably chosen ring. These groups also give an example of infinitely many nonisomorphic split extensions of a fixed finitely presented metabelian group by a fixed finite abelian group, all having the same finite quotients.


Gupta, Newman & Tobin (1968) show that in a metabelian group of exponent dividing p k , the subgroup generated by p k -1 th powers is nilpotent. In this paper we obtain the ‘right’ bound for the class of this subgroup together with some information about the subgroup generated by p h th powers, thus answering a question raised by Gupta et al .


1985 ◽  
Vol 98 (3) ◽  
pp. 437-445 ◽  
Author(s):  
P. H. Kropholler

The cohomology of finitely generated metabelian groups has been studied in a series of papers by Bieri, Groves, and Strebel [2, 3, 4]. In particular, Bieri and Groves [2] have shown that every metabelian group of type (FP)∞ is of finite rank, and so is virtually of type (FP). The purpose of the present paper is to provide a generalization of this result and to use our methods to prove the existence of a pathological class of finitely generated soluble groups.


Sign in / Sign up

Export Citation Format

Share Document