SOME TWO-GENERATOR ONE-RELATOR NON-HOPFIAN GROUPS BY GILBERT BAUMSLAG1 AND DONALD SOLITAR

Communicated by Lipman Bers, January 8, 1962

In 1951 Graham Higman claimed (in [l]) that every finitely generated group with a single defining relation is Hopfian, 2 attributing this fact to B. H. Neumann and Hanna Neumann. However we shall show t h a t this is not, in any way, the case. For example the group G = gp(a, b; arWa = bz)

(1)

is non-Hopfian. Hence the following question of B. H. Neumann [2, p. 545] has a negative answer: Is every two-generator non-Hopfian group infinitely related! This group G turns out to be useful for deciding a somewhat different kind of question. For Graham Higman 8 has pointed out t h a t G can, of course, be generated by a and b\ However it transpires that in terms of these generators G requires more than one relation to define it. Thus Higman has produced a counter-example to the following well-known conjecture: Let G be generated by n elements ai, #2, • • • , an and let r be the least number in any set of defining relations between at, #2, • • • , an. Then n — r is an invariant of G (i.e. does not depend on the particular basis a\, a2, • • • , an). This conjecture has received some attention in the past; indeed there is a "proof" of it by Petresco [3], The group defined by (1) is clearly only one of a larger family of groups of the kind G = gp(a, b\ arWa = bm).

(2)

It is convenient a t this point to introduce a definition. Thus we say two nonzero integers / and m are meshed if either (i) I or m divides the other, or, (ii) I and m have precisely the same prime divisors. This definition enables us to distinguish easily between the Hopfian and the nonHopfian groups in the family of groups (2). For the following theorem holds. THEOREM

1. Let I and m be nonzero integers. Then

1

Supported by Grant G 19674 from the National Science Foundation. A group G is Hopfian if G/N ^ G implies iV=l; otherwise G is non-Hopfian. 8 In a letter.

2

199

200

G. BAUMSLAG AND D. SOLITAR

[May

G = gp(a, b; arlbla = bm) is Hopfian if and only if I and m are meshed. The proof of Theorem 1 is in three parts. Thus we prove (a) if I or m divides the other, then G is residually finite4 and therefore Hopfian (Mal'cev [4]); (b) if I and m are meshed but neither divides the other, then every ependomorphism of G is an automorphism and so G is Hopfian ; (c) if / and m are not meshed, then G is non-Hopfian. It is perhaps worthwhile to sketch the proof of (c). Here we may assume, without loss of generality, the existence of a prime p dividing / b u t not m. Hence the mapping y: a-± a,

b-+bp

defines an ependomorphism of G. Now it follows from the work of Magnus [5; 6] t h a t [bl/*>, a]*>bl-m 7* 1. However ([bltp, a]pbl-™)ri = [bl, a]pb*>«-m> = 1. Therefore the kernel K of rj is nontrivial and as G( =

GV)^G/K

we have proved G is non-Hopfian. The following theorem is a direct consequence of Theorem 1. It illustrates strikingly that hopficity is a finiteness condition of the weakest kind. THEOREM

2. The group G = gp(a, J;a- 1 ô 1 2 a = b1*)

is Hopfian but possesses a normal subgroup of finite index which is nonHopfian. It turns out t h a t G", the second derived group of G = gp(a, b; a~Wa = 68) is free. This fact enables us to prove the following theorem (cf. B H. Neumann [2, p. 544]). 4 G is residually finite if for each xÇzG (x s*l ) there corresponds a normal subgroup NX(G) such that G/Nx is finite and x $ Nx.

i962]

TWO-GENERATOR ONE-RELATOR NON-HOPFIAN GROUPS

THEOREM

201

3. The groups G = gp(a,b;a^b2a

= 68)

and E = gp(c, d;
= 1)

are homomorphic images of each other; however they are not isomorphic. Finally we employ Theorem 1 to provide the first instance of a two-generator group which is soluble-of-length-three and nonHopfian. Thus T H E O R E M 4. There exists a two-generator group which is soluble-oflength-three and non-Hopfian.

Theorem 4 may be compared with the results of B. H. Neumann and H a n n a Neumann [7] and P. Hall [8]. REFERENCES

1. Graham Higman, A finitely related group with an isomorphic proper factor group. J. London Math. Soc. 26 (1951), 59-61. 2. B. H. Neumann, An essay on f ree products of groups with amalgamations, Philos. Trans. Roy. Soc. London. Ser. A. 246 (1954), 503-554. 3. J. Petresco, Systèmes minimaux de relations fondamentales dans les groupes de rang fini, Séminaire Paul Dubreil et Charles Pisot, 9e année: 1955/56. 4. A. I. Mal'cev, On isomorphic representations of infinite groups by matrices, Mat. Sb. 8 (1940), 405-422. 5# 1 Über diskontinuierliche Gruppen mit einer definierenden Relation (Der Freiheitssatz), J. Reine Angew. Math. 163 (1930), 141-165. 6. W. Magnus, Das Identitàtsproblem fur Gruppen mit einer definierenden Relation, Math. Ann. 106 (1932), 295-307. 7. B. H. Neumann, and Hanna Neumann, Embedding theorems for groups, J. London Math. Soc. 34 (1959), 465-479. 8. P. Hall, The Frattini subgroups offinitelygenerated groups, Proc. London Math. Soc. 11 (1961), 327-352. N E W YORK UNIVERSITY AND ADELPHI COLLEGE

SOME TWO-GENERATOR ONE-RELATOR NON ... - Semantic Scholar

in terms of these generators G requires more than one relation to define it. ... and let r be the least number in any set of defining relations between at, #2, • • • , an.

221KB Sizes 1 Downloads 323 Views

Recommend Documents

Some Configurations of Triangle Centers - Semantic Scholar
Feb 24, 2003 - In fact the nine points A+, A−, A∗. , . . . themselves form the ..... La Grange, Illinois 60525, USA. E-mail address: [email protected].

Some Configurations of Triangle Centers - Semantic Scholar
Feb 24, 2003 - Some configurations inscriptable in a cubic. First let us set the notation for several triangles. Given a triangle T with vertices. A, B, and C, let A∗.

Non-Negative Semi-Supervised Learning - Semantic Scholar
Univ. of Sci. and Tech. of China ... Engineer at the Department of Electrical and Computer Engineer- .... best reconstruction under non-negative constrains. How-.

Non-Axiomatic Logic (NAL) Specification - Semantic Scholar
Sep 15, 2010 - (or call them synthetic and analytic, respectively). ... For a term T that does not appear in K, all statements having T in ...... IOS Press, Amsterdam. ... of the Second Conference on Artificial General Intelligence, pages 180–185.

Non-Negative Matrix Factorization Algorithms ... - Semantic Scholar
Keywords—matrix factorization, blind source separation, multiplicative update rule, signal dependent noise, EMG, ... parameters defining the distribution, e.g., one related to. E(Dij), to be W C, and let the rest of the parameters in the .... contr

Non-Axiomatic Logic (NAL) Specification - Semantic Scholar
Sep 15, 2010 - http://code.google.com/p/open-nars/. There are still some open issues in the ...... IOS Press, Amsterdam. [Wang, 2007b] Wang, P. (2007b).

Regeneration study of some indica rice cultivars ... - Semantic Scholar
Regeneration and recovery of transgenic plants ... agent used, concentration of antibiotic selection ... bacteriostatic agent led to a substantial increase in the ..... Data were taken 3 days after Agrobacterium inoculation and means are from 50 ...

Some Restrictions on Orders of Abelian Planar ... - Semantic Scholar
Oct 8, 1997 - Since the ti are multipliers of any planar abelian difference set of order n divisible by p1p2 ···pr by the First. Multiplier Theorem, and exp(G) = |G| ...

Some Properties of the Lemoine Point - Semantic Scholar
21 Jun 2001 - system about K gives the system x = −λ1x, y = −λ2y. Let us call the axes of this coordinate system the principal axes of the Lemoine field. Note that if △ABC is a right triangle or an isosceles triangle (cf. conditions. (5)), th

globalization and the south: some critical issues ... - Semantic Scholar
Apr 10, 2000 - Balancing opportunities and problems resulting from globalization . .... agencies and processes or by big private corporations and ..... According to United Nations data, the terms of trade of non-fuel commodities vis-à-vis.

globalization and the south: some critical issues ... - Semantic Scholar
Apr 10, 2000 - the views of UNCTAD. The designations ...... Japan (wheat 353 per cent), Canada (butter 360 per cent, eggs 236 per cent) (Das, 1998: 59). The.

Gamma Radiation Effects on some Growth ... - Semantic Scholar
Electronic Journal of Plant Breeding, 1(4): 1079-1087 (July 2010) ... of gamma rays (Cobalt-60) to determine the effectiveness of different doses ..... Newsletter.

Some Properties of the Lemoine Point - Semantic Scholar
Jun 21, 2001 - Let A B C be the pedal triangle of an arbitrary point Z in the plane of a triangle. ABC, and consider the vector field F defined by F(Z) = ZA + ZB + ...

globalization and the south: some critical issues ... - Semantic Scholar
Apr 10, 2000 - their obligations on the grounds of the need for food security, defence of rural ..... disclosure of information, better banking regulation and good ...

Some Restrictions on Orders of Abelian Planar ... - Semantic Scholar
Oct 8, 1997 - That left open orders a multiple of 22, 46 and 58, where the lcm was ... For example, for n = 753 = 251 · 3, take t1 = 251, t2 =9=32, t3 = 243 = 35, ...

1 Spatial Autocorrelation and the Detection of Non ... - Semantic Scholar
observed 1979-2002 trends in 440 surface grid cells on a vector of climatological ... tropospheric temperature trends and fixed factors such as latitude, mean air ...

A norm-concentration argument for non-convex ... - Semantic Scholar
Local quadratic (Fan & Li,'01) vs. local linear (Zou & Li,'08) bound, tangent at ±3. [Despite the latter appears to be a closer approximation, framing the iterative estimation into the E-M methodology framework, it turns out they are in fact equival

On Small Subgroup Non-confinement Attack - Semantic Scholar
store P; instead it applies a one-way hash function H to computes x = H(s,I .... [10] B. Jaspan, “Dual-workfactor Encrypted Key Exchange: effi- ciently preventing ...

1 On the Complexity of Non Universal Polynomial ... - Semantic Scholar
The space CM is called the target space, a point y ∈ Im ε ⊆ CM is called a target point (also a semantical object), and the dimension M of the target space is called the target dimension. In the previous notation, for every α ∈ W, ε(α) is t

Sparse Non-negative Matrix Language Modeling - Semantic Scholar
Gradient descent training for large, distributed models gets expensive. ○ Goal: build computationally efficient model that can mix arbitrary features (a la MaxEnt).

1 Spatial Autocorrelation and the Detection of Non ... - Semantic Scholar
(1985, 1986c) are technical reports that were submitted to the US Department of Energy, and are online at .... the alternative model allows for possible spatial dependence of T, i.e. e. +. +. = ... assuming an alternative model of the form e. +. = β

A norm-concentration argument for non-convex ... - Semantic Scholar
(Chartland, '07), signal reconstruction (Wipf & Rao, '05). • 0-norm SVM classification (Weston et al., '03) (results data-dependent). • genomic data classification ...

Non-recursive method for Deriving uncorrelated ... - Semantic Scholar
mapping the input data onto an uncorrelated feature space ... the second mapping based on Fisher criterion. .... tern recognition benchmark database. As face ...

NON-RIGID 3D SHAPE RETRIEVAL USING ... - Semantic Scholar
2National Institute of Standards and Technology, Gaithersburg, USA. 3Cardiff University ... cal form for a 3D model based on MDS and PCA. 2. Local Feature ...