Homological Decision Problems for Finitely Generated Groups with Solvable Word Problem
|
|
- Bridget Hannah Johnston
- 5 years ago
- Views:
Transcription
1 Homological Decision Problems for Finitely Generated Groups with Solvable Word Problem W.A. Bogley Oregon State University J. Harlander Johann Wolfgang Goethe-Universität 24 May, 2000 Abstract We show that for finitely generated groups G with solvable word problem, there is no algorithm to determine whether H 1 (G) is trivial, nor whether H 2 (G) is trivial. 1 Introduction A result of C. M. Gordon [5], proved in 1980, shows that there is no algorithm for computing the deficiency of finite group presentations. To prove this, Gordon shows that for finitely presented groups P, there is no algorithm to decide whether the second homology group H 2 (P ), with trivial integer coefficients, is zero. C. F. Miller, III [7] has since recovered Gordon s result on second homology by showing that having trivial second homology is a homological Markov property. In his proof, Gordon constructs a recursively enumerable set of finite group presentations Π w for groups H w, parametrized by words w in the generators of a finite presentation for a group G with unsolvable word problem, such that H 2 (H w ) = 0 if and only if w = 1 in G. The construction is such that H w has unsolvable word problem when w 1 0 AMS Subject classification: Primary 20F10, Secondary 20J06. 1
2 in G. In this paper we are concerned with the algorithmic decidability of trivial first or second homology when restricted to groups with solvable word problem. For finitely generated groups P with solvable word problem, a result of G. Baumslag, Miller, and H. Short [2] implies that there is no algorithm to determine whether H 2 (P ) is finitely generated. Somewhat more precisely, the authors apply a celebrated construction of E. Rips [9] to the direct product of two nonabelian free groups to produce a word hyperbolic group E for which there is no algorithm to determine whether or not any given finitely generated subgroup of E is all of E, or is finitely presented, or has finitely generated second homology. We will prove the following theorem, which combines and includes elements of all of these results. Main Theorem. There exists a finitely presented acyclic group Γ with solvable word problem and finite cohomological dimension such that there is no algorithm to determine whether or not any given finitely generated subgroup P of Γ has trivial first homology H 1 (P ), or has trivial second homology H 2 (P ). Since Γ has solvable word problem, there is a single algorithm which, given any finite set S of words in the generators of Γ, will solve the word problem for the finitely generated subgroup P = S generated by S. More generally, we say that a class of groups has uniformly solvable word problems if there is a single algorithm that solves the word problem for all groups in the class. The survey article [7] by Miller describes a uniform solution to the word problems for the class of all finitely presented residually finite groups [7, Theorem 5.3] and also to the word problems for the class of all recursively presented simple groups [7, Theorem 6.2]. The result on first homology in the Main Theorem is rather striking, since for finitely presented groups P, there are straightforward effective procedures to determine whether H 1 (P ) is trivial. We believe that it should be possible to prove that having trivial second homology is not algorithmically decidable for finitely presented groups with (uniformly) solvable word problems. Indeed, this should be possible even in the presence of the finiteness condition F 3. A group G is of type F 3 if there is a K(G, 1)-complex with finite three-skeleton. Of course, if one has an explicit description of a finite threeskeleton for a K(G, 1)-complex X, then it is a simple matter to compute 2
3 H 2 (G) = H 2 (X). But if one is given a finite two-skeleton for a K(G, 1)- complex, there is no general algorithm to determine the three-skeleton of a K(G, 1). Conjecture. There is a recursively enumerable set of finitely presented groups P i, i I, of type F 3 with uniformly solvable word problems such there is no single algorithm to determine whether, given any i I, the second homology group H 2 (P i ) is trivial. 2 The Groups M, G w, and P w The group Γ in the Main Theorem is the direct square of a group M, which we construct in this section. Given a countably generated group presentation G for a group G and a word w in the generators of G, we construct a quotient group G w of M and a pull-back P w Γ = M M determined in a natural way by the projection M G w. Our constructions are descendants of the work of S. Adian [1] and M. O. Rabin [8] and owe much to the papers [3, 5, 7], including Miller s Main Technical Lemma [7, Lemma 3.6]. To facilitate cancellation arguments in free products, we offer two preliminary lemmas. Lemma 2.1 Let u be an element of infinite order in a free product G H and suppose that there is a factor Φ {G, H} such that the first and last letters of u, when written in normal form, both lie in the factor Φ. Then for each nonzero integer k, the first and last letters of u k also lie in Φ. Proof: It suffices to prove the result for k > 0. We proceed by induction on the free product length n of u, the result being clear if n = 1. Suppose for convenience that the first and last letters of u are nontrivial elements of H. When n > 1, we can write u = hvh where 1 h, h H and the first and last letters of v lie in G. If h h 1 in H then no cancellation occurs between bracketed terms in the factorization u k = [h][v][h h][v]... [h h][v][h ] of u k. So the first and last letters of u k are h and h in this case. If h h = 1 in H, then u k = hv k h 1 and the first and last letters of v k belong to G 3
4 by induction. So in this case the first and last letters of u k are h and h 1 respectively. QED We use the notation g h = h 1 gh for conjugation and [g, h] = g 1 h 1 gh for commutators. Lemma 2.2 Let G and H be groups. Let A be a subset of G and let f : A G H be a function such that for each a A, (i) f(a) has infinite order in G H and (ii) when written as a normal form in the free product G H, the first and last letters of f(a) are nontrivial elements of H. Then the elements f(a) a, a A, form a basis for a free subgroup of G H. Proof: Consider the free group F (A) with basis A and the homomorphism φ : F (A) G H given by φ(a) = f(a) a. We show that φ is injective. View F (A) as the free product of infinite cyclic groups a generated by the elements a A. Let w be a nontrivial element of F (A) of free product length n 1; we show that φ(w) 1. When n = 1 this follows from the condition (i) since φ(a k ) = (f(a) a ) k has infinite order in G H for all a A. When n > 1, we can write w = a k a kn n where k i 0 for all i and a i a i+1 for 1 i n 1. Applying φ, we obtain φ(w) =... (f(a i ) a i ) k i (f(a i+1 ) a i+1 ) k i+1... =... [a i 1 a 1 i ][f(a i ) k i ][a i a 1 i+1 ][f(a i+1) k i+1 ][a i+1 a 1 i+2 ].... Lemma 2.1 implies that the first and last letters of each f(a i ) k i lie in H. Since a i a 1 i+1 1 in G for all i, there is no cancellation between successive bracketed terms in the last factorization of φ(w). The normal form theorem applied to the free product G H implies that φ(w) 1 in G H. QED The group M Let M be the group given by the finite presentation M with generators a, b, c, α, β and with defining relators as follows. 4
5 (0) (1) (2) (3) (4) [b, c] = β [b, c] a = (α β ) α (a [b,c] ) a2 = (α β ) α2 (b[b, c]) a3 = β α3 (c[b, c]) a4 = β α4 Proposition 2.3 The two-complex K(M) modeled on the presentation M is aspherical. The group M decomposes as the free product with amalgamation M = F (a, b, c) C F (α, β) where C is a free group of rank five. The group M is acyclic, has cohomological dimension two, and has solvable word problem. Proof: The defining relations show that each of the generators a, b, c, α, β is conjugate in M to the commutator [b, c]. Thus M is perfect: H 1 (M) = 0. Using Lemma 2.2, one checks that the words on the left sides of the defining relations determine a basis for a free subgroup of rank five in F (a, b, c). Similarly, the right sides determine a basis for a free subgroup of rank five in F (α, β). As a free product of finitely generated free groups with a finitely generated free group amalgamated, the group M has solvable word problem since free groups have solvable generalized word problem. (See, e.g. [6].) The remaining claims follow by standard arguments. QED The groups G w Now suppose that we are given a group presentation G = x 1, x 2,... : r with a countable generating set. Let G be the group presented by G. Given any word w in the generators of G, let G w be the largest quotient of the free product G M in which the following relations hold. (5) (6) [w, [b, c]] a5 = β α5 (x i [b, c]) a5+i = β α5+i, i = 1, 2,... Proposition 2.4 For any given word w, the natural map M G w is surjective. In addition, we have the following. 5
6 1. If w = 1 in G, then G w is trivial. 2. If w 1 in G, then G w decomposes as the free product with amalgamation G w = (G F (a, b, c)) D F (α, β) where D is a free group that has a basis consisting of a set of six elements together with a set in one-to-one correspondence with the set x of generators in G. Proof: The relations (6) show that the map M G w is surjective. When w = 1 in G, the relation (5) shows that β = 1 in G w and it is straightforward to use the remaining relations to show that G w = 1 in this case. If w 1 in G, then the words on the left sides of the relations (0)-(6) determine a basis for a free subgroup of G F (a, b, c) by Lemma 2.2. Similar remarks apply to the right sides when viewed in F (α, β). QED The groups P w Given G and w, we now consider the group P w M M = Γ given by P w = {(x, y) M M : x = y in G w }. Theorem 2.5 Given the countably generated presentation G = x 1, x 2,... : r and a word w in the generators of G, we have the following: 1. If w = 1 in G, then P w = M M is acyclic. 2. If w 1 in G, then H 1 (P w ) 0. If, in addition, the presentation G is finitely related, then the groups P w are finitely generated, recursively presented, and have uniformly solvable word problems. Proof: If w = 1 in G, then G w = 1 by Proposition 2.4 and so P w = M M is acyclic by Proposition 2.3. Let N w be the kernel of the natural projection M G w. We have a commutative diagram with exact rows. 6
7 0 N w j P w p 2 M 0 = p 1 0 N w M G w 0 Here, the maps p i : P w M, i = 1, 2, are restrictions of the product projections M M M and j(x) = (x, 1) for all x N w. Note that the right hand square is a pullback square and that the top row is split exact. Since H 1 (M) = H 2 (M) = 0, the five-term homology sequence associated to the top row shows that H 1 (P w ) = N w [P w, N w ] where we idenity N w with its image under j in P w. Now the projection p 2 : P w M determines a surjection N w [P w, N w ] N w [M, N w ] and the five-term homology sequence for the bottom row shows that N w [M, N w ] = H 2 (G w ). Suppose now that w 1 in G. We will show that H 2 (G w ) 0 and the above remarks then suffice to show that H 1 (P w ) 0. The group G w is a amalgamated free product as described in Proposition 2.4. A portion of the associated long exact homology sequence has this form. H 2 (G w ) H 1 (D) i H 1 (G) H 1 (F (a, b, c)) H 1 (F (α, β)) The amalgamating relations (0) and (5) determine a nontrivial element in the kernel of the map labeled i. This implies that H 2 (G w ) 0. Now suppose that the presentation G = x 1, x 2,... : r 1,..., r m for G is finitely related. By a Tietze equivalence, we can expand the presentation M for M, adjoining the generators x 1, x 2,... of G and the relators (6) for G w to the presentation M. A presentation for G w is then obtained by adjoining 7
8 the relations r 1,..., r m for G and the relator (5) for G w. With this we see that N w = ker(m G w ) is normally generated in M by a finite subset of M. This implies that P w = Nw M is finitely generated. Since M has solvable word problem, so does its direct square Γ = M M. For each word w in the generators of G, one can effectively determine a finite set of generators and a recursive set of relators for P w in terms of generators for Γ. In particular, a solution to the word problem for Γ can be used to uniformly solve the word problems for the groups P w. QED 3 Proof of the Main Theorem First homology For finitely presented groups, it is a simple matter to determine whether the first homology is trivial. The portion of the Main Theorem dealing with first homology shows that this is no longer the case if we move on to finitely generated recursively presented groups, even among those with solvable word problems. The proof proceeds by applying the constructions of the previous section beginning with a finitely presented group G with unsolvable word problem. An explicit finite presentation for such a group appears in [10]. As seen in Theorem 2.5, the construction yields a family of finitely generated and recursively presented groups P w with the property that H 1 (P w ) = 0 if and only if w = 1 in G. By enumerating words w in the generating set for G, we see that the groups P w are defined by a recursively enumerable set of recursive presentations. However, since the word problem for G is unsolvable, there is no algorithmic procedure for deciding, for a given w, whether or not H 1 (P w ) is trivial. We summarize this portion of the Main Theorem from a slightly more general perspective. Corollary 3.1 There is a recursively enumerable set {P w } of finitely generated recursively presented groups with uniformly solvable word problems such that there is no algorithm to determine, for a given w, whether or not H 1 (P w ) is trivial. Second homology The main homological tool that we needed for the result on first homology was the five-term exact homology sequence associated to a group extension. For the result on second homology, we will need to use a spectral sequence argument. This argument is embedded in the following 8
9 general result on pairs of aspherical two-complexes and associated groups, and which may be of independent interest. Theorem 3.2 Suppose that an aspherical two-complex Y is obtained from a finite connected aspherical two-complex X by attaching a nonempty collection of two-cells. Let N be the kernel of the inclusion-induced homomorphism π 1 (X) π 1 (Y ) and let P be the split extension P = N π 1 (X). The following are equivalent. 1. Y is contractible. 2. P is finitely presented. 3. H 2 (P ) is finitely generated as an abelian group. Proof: Let G = π 1 (X) and Q = π 1 (Y ) so that G/N = Q and P = N G. If Y is contractible, then N = G so P = G G = G G is finitely presented. On the other hand, all finitely presented groups have finitely generated second homology, so it remains to show that if Y is not contractible, then H 2 (P ) is not finitely generated. The Lyndon-Hochschild-Serre spectral sequence for the split extension 1 N P G 1 is given by E 2 pq = H p (G, H q (N)) H p+q (P ). Asphericity of X implies that H 3 (G) = 0, and this in turn implies that E 11 = E 2 11 = H 1 (G, H 1 (N)). In order to show that H 2 (P ) is not finitely generated as an abelian group, it suffices to show that H 1 (G, H 1 (N)) is not finitely generated as an abelian group. Let p : Ỹ Y be the universal covering projection and let X = p 1 (X). Since H 2 (Ỹ ) = H 1(Ỹ ) = 0, the homology sequence for the pair (Ỹ, X) shows that H 1 (N) = H 1 (X) = H 2 (Ỹ, X). Since Y is obtained from X by attaching a nonempty set of two-cells, we find that H 1 (N) is a nontrivial free ZQmodule with a ZQ-basis in one-to-one correspondence with the two-cells of Y X. Additivity implies that as an abelian group, H 1 (G, H 1 (N)) is a nontrivial direct sum of copies of H 1 (G, ZQ). 9
10 Now by Shapiro s Lemma, H 1 (G, ZQ) = H 1 (G, Z ZN ZG) = H 1 (N). Since H 1 (N) is a free ZQ-module, we learn that as an abelian group E 11 = E 2 11 = H 1 (G, H 1 (N)) is a nontrivial direct sum of copies of ZQ. Since Y is an aspherical two-complex with nontrivial fundamental group Q, the integral group ring ZQ is not finitely generated as an abelian group, and the result is proved. QED Theorem 3.3 There is a recursively enumerable set of finitely generated recursively presented groups P w with uniformly solvable word problems such that there is no algorithm to determine, for a given w, whether or not H 2 (P w ) is trivial. Proof: Once again we employ the construction of the previous section, beginning with a finite presentation G = x 1,..., x n : r 1,..., r m for a group G with unsolvable word problem. This time we use the fact, due to D. J. Collins and Miller [4], that there is a finite presentation with unsolvable word problem and aspherical cellular model. We obtain a recursively enumerable family of recursively presented groups P w, parametrized by words w in the generators of G. By Theorem 2.5, H 2 (P w ) = 0 if w = 1 in G. We now assume that w 1 in G. It suffices to show that H 2 (P w ) 0 in this case. By Proposition 2.3, the presentation M for M has aspherical cellular model. By a Tietze equivalence that adjoins the generators x 1,..., x n of G and the relators (6), we obtain another finite presentation for M with aspherical cellular model. We denote this two-complex by X. Given a word w in x 1,..., x n, we then adjoin the relators r and (5) to obtain a finite presentation for G w. We denote the cellular model of this presentation by Y w. Using the asphericity of the cellular model of G, the free product description of G w appearing in Proposition 2.4 shows that Y w is aspherical. Applying Theorem 3.2 to the pair (Y w, X), the fact that Y w 1 implies that H 2 (P w ) = H 2 (N w M) is not finitely generated as an abelian group. QED References [1] S. I. Adian, On algorithmic problems in effectively complete classes of groups, Dokl. Akad. SSSR 123 (1958),
11 [2] G. Baumslag, C. F. Miller, III, and H. Short, Unsolvable problems about small cancellation and word hyperbolic groups, Bull. London Math. Soc. 26 (1994), [3] G. Baumslag and J. E. Roseblade, Subgroups of direct products of free groups, J. London Math. Soc. (2) 30, [4] D. J. Collins and C. F. Miller, III, The word problem in groups of cohomological dimension 2, Groups St. Andrews in Bath, I, London Math. Soc. Lecture Note Series, 260 (CUP, 1999), [5] C. M. Gordon, Some embedding theorems and undecidability questons for groups, in: Combinatorial and Geometric Group Theory, A. J. Duncan, N. D. Gilbert, and James Howie, eds., London Math. Soc. Lecture Note Series 204 (CUP, 1995), [6] W. Magnus, A. Karass, and D. Solitar, Combinatorial Group Theory, (Dover, 1976). [7] C. F. Miller, III, Decision problems for groups: survey and reflections, in: Algorithms and Classification in Combinatorial Group Theory, G. Baumslag and C. F. Miller, III, eds., MSRI Publ. 23 (Springer-Verlag, 1992), [8] M. O. Rabin, Computable algebra, general theory and theory of computable fields, Trans. Amer. Math. Soc. 95 (1960), [9] E. Rips, Subgroups of small cancellation groups, Bull. London Math. Soc. 14 (1982), [10] J. J. Rotman, An Introduction to the Theory of Groups, 4th ed., Graduate Texts in Mathematics 148 (Springer-Verlag, 1995). 11
H om ological D ecision P roblem s for F initely G enerated. G ro u p s w ith S o lva b le W o rd P ro b lem. W.A. Bogley Oregon State University
H om ological D ecision P roblem s for F initely G enerated G ro u p s w ith S o lva b le W o rd P ro b lem W.A. Bogley Oregon State University J. Harlander Johann Wolfgang Goethe-Universität 24 May, 2000;
More information2 THE COMPLEXITY OF TORSION-FREENESS On the other hand, the nite presentation of a group G also does not allow us to determine almost any conceivable
THE COMPUTATIONAL COMPLEXITY OF TORSION-FREENESS OF FINITELY PRESENTED GROUPS Steffen Lempp Department of Mathematics University of Wisconsin Madison, WI 53706{1388, USA Abstract. We determine the complexity
More informationImproving Finiteness Properties for Metabelian Groups
Improving Finiteness Properties for Metabelian Groups W.A. Bogley and J. Harlander, 11 June, 2002 Abstract We show that any finitely generated metabelian group can be embedded in a metabelian group of
More informationSurface Groups Within Baumslag Doubles
Fairfield University DigitalCommons@Fairfield Mathematics Faculty Publications Mathematics Department 2-1-2011 Surface Groups Within Baumslag Doubles Benjamin Fine Fairfield University, fine@fairfield.edu
More informationA note on doubles of groups
A note on doubles of groups Nadia Benakli Oliver T. Dasbach Yair Glasner Brian Mangum Abstract Recently, Rips produced an example of a double of two free groups which has unsolvable generalized word problem.
More informationOn the Homotopy Type of CW-Complexes with Aspherical Fundamental Group
On the Homotopy Type of CW-Complexes with Aspherical Fundamental Group J. Harlander a, Jacqueline A. Jensen b, a Department of Mathematics, Western Kentucky University, Bowling Green, KY 42101, USA b Department
More informationON THE ISOMORPHISM CONJECTURE FOR GROUPS ACTING ON TREES
ON THE ISOMORPHISM CONJECTURE FOR GROUPS ACTING ON TREES S.K. ROUSHON Abstract. We study the Fibered Isomorphism conjecture of Farrell and Jones for groups acting on trees. We show that under certain conditions
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationDiscriminating groups and c-dimension
Discriminating groups and c-dimension Alexei Myasnikov Pavel Shumyatsky April 8, 2002 Abstract We prove that every linear discriminating (square-like) group is abelian and every finitely generated solvable
More informationarxiv: v4 [math.gr] 2 Sep 2015
A NON-LEA SOFIC GROUP ADITI KAR AND NIKOLAY NIKOLOV arxiv:1405.1620v4 [math.gr] 2 Sep 2015 Abstract. We describe elementary examples of finitely presented sofic groups which are not residually amenable
More informationp,q H (X), H (Y ) ), where the index p has the same meaning as the
There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore
More informationMath 530 Lecture Notes. Xi Chen
Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary
More informationL E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S
L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy
More informationON COHERENCE OF GRAPH PRODUCTS AND COXETER GROUPS
ON COHERENCE OF GRAPH PRODUCTS AND COXETER GROUPS OLGA VARGHESE Abstract. Graph products and Coxeter groups are defined via vertex-edge-labeled graphs. We show that if the graph has a special shape, then
More informationK-theory for the C -algebras of the solvable Baumslag-Solitar groups
K-theory for the C -algebras of the solvable Baumslag-Solitar groups arxiv:1604.05607v1 [math.oa] 19 Apr 2016 Sanaz POOYA and Alain VALETTE October 8, 2018 Abstract We provide a new computation of the
More informationarxiv:math/ v1 [math.at] 13 Nov 2001
arxiv:math/0111151v1 [math.at] 13 Nov 2001 Miller Spaces and Spherical Resolvability of Finite Complexes Abstract Jeffrey Strom Dartmouth College, Hanover, NH 03755 Jeffrey.Strom@Dartmouth.edu www.math.dartmouth.edu/~strom/
More informationBjorn Poonen. Cantrell Lecture 3 University of Georgia March 28, 2008
University of California at Berkeley Cantrell Lecture 3 University of Georgia March 28, 2008 Word Isomorphism Can you tile the entire plane with copies of the following? Rules: Tiles may not be rotated
More informationPERFECT SUBGROUPS OF HNN EXTENSIONS
PERFECT SUBGROUPS OF HNN EXTENSIONS F. C. TINSLEY (JOINT WITH CRAIG R. GUILBAULT) Introduction This note includes supporting material for Guilbault s one-hour talk summarized elsewhere in these proceedings.
More informationParameterizing orbits in flag varieties
Parameterizing orbits in flag varieties W. Ethan Duckworth April 2008 Abstract In this document we parameterize the orbits of certain groups acting on partial flag varieties with finitely many orbits.
More informationFinite groups determined by an inequality of the orders of their elements
Publ. Math. Debrecen 80/3-4 (2012), 457 463 DOI: 10.5486/PMD.2012.5168 Finite groups determined by an inequality of the orders of their elements By MARIUS TĂRNĂUCEANU (Iaşi) Abstract. In this note we introduce
More informationCharacters and triangle generation of the simple Mathieu group M 11
SEMESTER PROJECT Characters and triangle generation of the simple Mathieu group M 11 Under the supervision of Prof. Donna Testerman Dr. Claude Marion Student: Mikaël Cavallin September 11, 2010 Contents
More informationCentralizers of Coxeter Elements and Inner Automorphisms of Right-Angled Coxeter Groups
International Journal of Algebra, Vol. 3, 2009, no. 10, 465-473 Centralizers of Coxeter Elements and Inner Automorphisms of Right-Angled Coxeter Groups Anton Kaul Mathematics Department, California Polytecnic
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationarxiv:math/ v3 [math.gr] 21 Feb 2006
arxiv:math/0407446v3 [math.gr] 21 Feb 2006 Separability of Solvable Subgroups in Linear Groups Roger Alperin and Benson Farb August 11, 2004 Abstract Let Γ be a finitely generated linear group over a field
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationSection II.1. Free Abelian Groups
II.1. Free Abelian Groups 1 Section II.1. Free Abelian Groups Note. This section and the next, are independent of the rest of this chapter. The primary use of the results of this chapter is in the proof
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationOn the K-category of 3-manifolds for K a wedge of spheres or projective planes
On the K-category of 3-manifolds for K a wedge of spheres or projective planes J. C. Gómez-Larrañaga F. González-Acuña Wolfgang Heil July 27, 2012 Abstract For a complex K, a closed 3-manifold M is of
More informationSome non-trivial PL knots whose complements are homotopy circles
Some non-trivial PL knots whose complements are homotopy circles Greg Friedman Vanderbilt University May 16, 2006 Dedicated to the memory of Jerry Levine (May 4, 1937 - April 8, 2006) 2000 Mathematics
More informationFREE PRODUCTS AND BRITTON S LEMMA
FREE PRODUCTS AND BRITTON S LEMMA Dan Lidral-Porter 1. Free Products I determined that the best jumping off point was to start with free products. Free products are an extension of the notion of free groups.
More informationSOME RESIDUALLY FINITE GROUPS SATISFYING LAWS
SOME RESIDUALLY FINITE GROUPS SATISFYING LAWS YVES DE CORNULIER AND AVINOAM MANN Abstract. We give an example of a residually-p finitely generated group, that satisfies a non-trivial group law, but is
More information1. Introduction There are two difficult problems, concerning hyperbolic one relator groups:
A CLASSIFICATION, UP TO HYPERBOLICITY, OF GROUPS GIVEN BY 2 GENERATORS AND ONE RELATOR OF LENGTH 8 O. BOGOPOLSKI, N. BUSKIN AND A. BUTURLAKINN Abstract. We classify, up to hyperbolicity, all group given
More informationON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction
ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root
More informationHigh-dimensional knots corresponding to the fractional Fibonacci groups
F U N D A M E N T A MATHEMATICAE 161 (1999) High-dimensional knots corresponding to the fractional Fibonacci groups by Andrzej S z c z e p a ń s k i (Gdańsk) and Andreĭ V e s n i n (Novosibirsk) Abstract.
More informationAmin Saied Finitely Presented Metabelian Groups 1
Amin Saied Finitely Presented Metabelian Groups 1 1 Introduction Motivating Question There are uncountably many finitely generated groups, but there are only countably many finitely presented ones. Which
More informationMath 210A: Algebra, Homework 6
Math 210A: Algebra, Homework 6 Ian Coley November 13, 2013 Problem 1 For every two nonzero integers n and m construct an exact sequence For which n and m is the sequence split? 0 Z/nZ Z/mnZ Z/mZ 0 Let
More informationSOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS. Roger C. Alperin
SOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS Roger C. Alperin An extraordinary theorem of Gromov, [Gv], characterizes the finitely generated groups of polynomial growth; a group has polynomial
More informationON VARIETIES IN WHICH SOLUBLE GROUPS ARE TORSION-BY-NILPOTENT
ON VARIETIES IN WHICH SOLUBLE GROUPS ARE TORSION-BY-NILPOTENT GÉRARD ENDIMIONI C.M.I., Université de Provence, UMR-CNRS 6632 39, rue F. Joliot-Curie, 13453 Marseille Cedex 13, France E-mail: endimion@gyptis.univ-mrs.fr
More informationMinimal non-p C-groups
Algebra and Discrete Mathematics Volume 18 (2014). Number 1, pp. 1 7 Journal Algebra and Discrete Mathematics RESEARCH ARTICLE Minimal non-p C-groups Orest D. Artemovych Communicated by L. A. Kurdachenko
More informationANALYSIS OF SMALL GROUPS
ANALYSIS OF SMALL GROUPS 1. Big Enough Subgroups are Normal Proposition 1.1. Let G be a finite group, and let q be the smallest prime divisor of G. Let N G be a subgroup of index q. Then N is a normal
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationThree-manifolds and Baumslag Solitar groups
Topology and its Applications 110 (2001) 113 118 Three-manifolds and Baumslag Solitar groups Peter B. Shalen Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago,
More informationA CONTINUALLY DESCENDING ENDOMORPHISM OF A FINITELY GENERATED RESIDUALLY FINITE GROUP
A CONTINUALLY DESCENDING ENDOMORPHISM OF A FINITELY GENERATED RESIDUALLY FINITE GROUP DANIEL T. WISE Abstract Let φ : G G be an endomorphism of a finitely generated residually finite group. R. Hirshon
More informationON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS
1 ON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS D. I. Moldavanskii arxiv:math/0701498v1 [math.gr] 18 Jan 2007 A criterion for the HNN-extension of a finite p-group to be residually a finite p-group
More informationResidual finiteness of infinite amalgamated products of cyclic groups
Journal of Pure and Applied Algebra 208 (2007) 09 097 www.elsevier.com/locate/jpaa Residual finiteness of infinite amalgamated products of cyclic groups V. Metaftsis a,, E. Raptis b a Department of Mathematics,
More informationPROFINITE GROUPS WITH RESTRICTED CENTRALIZERS
proceedings of the american mathematical society Volume 122, Number 4, December 1994 PROFINITE GROUPS WITH RESTRICTED CENTRALIZERS ANER SHALEV (Communicated by Ronald M. Solomon) Abstract. Let G be a profinite
More informationA PROOF OF BURNSIDE S p a q b THEOREM
A PROOF OF BURNSIDE S p a q b THEOREM OBOB Abstract. We prove that if p and q are prime, then any group of order p a q b is solvable. Throughout this note, denote by A the set of algebraic numbers. We
More informationMAXIMAL NILPOTENT QUOTIENTS OF 3-MANIFOLD GROUPS. Peter Teichner
Mathematical Research Letters 4, 283 293 (1997) MAXIMAL NILPOTENT QUOTIENTS OF 3-MANIFOLD GROUPS Peter Teichner Abstract. We show that if the lower central series of the fundamental group of a closed oriented
More informationGrothendieck s problems concerning profinite completions and representations of groups
Annals of Mathematics, 160 (2004), 359 373 Grothendieck s problems concerning profinite completions and representations of groups By Martin R. Bridson and Fritz J. Grunewald Abstract In 1970 Alexander
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationSome generalizations of one-relator groups
Some generalizations of one-relator groups Yago Antoĺın University of Southampton Webinar, November 20th 2012 The main topic of this talk is Magnus induction technique. This is one of the most important
More informationA stably free nonfree module and its relevance for homotopy classification, case Q 28
ISSN 1472-2739 (on-line) 1472-2747 (printed) 899 Algebraic & Geometric Topology Volume 5 (2005) 899 910 Published: 29 July 2005 ATG A stably free nonfree module and its relevance for homotopy classification,
More informationCHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA
CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA BJORN POONEN Abstract. We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential
More informationAssociated Primes under Noncommutative Localization (Preliminary Version)
Associated Primes under Noncommutative Localization (Preliminary Version) Scott Annin Nicholas J. Werner September 19, 2012 Abstract We investigate the effect of noncommutative localization on associated
More informationThe Hurewicz Theorem
The Hurewicz Theorem April 5, 011 1 Introduction The fundamental group and homology groups both give extremely useful information, particularly about path-connected spaces. Both can be considered as functors,
More informationTHE WORD PROBLEM AND RELATED RESULTS FOR GRAPH PRODUCT GROUPS
proceedings of the american mathematical society Volume 82, Number 2, June 1981 THE WORD PROBLEM AND RELATED RESULTS FOR GRAPH PRODUCT GROUPS K. J. HORADAM Abstract. A graph product is the fundamental
More informationDecay to zero of matrix coefficients at Adjoint infinity by Scot Adams
Decay to zero of matrix coefficients at Adjoint infinity by Scot Adams I. Introduction The main theorems below are Theorem 9 and Theorem 11. As far as I know, Theorem 9 represents a slight improvement
More informationAN AXIOMATIC FORMATION THAT IS NOT A VARIETY
AN AXIOMATIC FORMATION THAT IS NOT A VARIETY KEITH A. KEARNES Abstract. We show that any variety of groups that contains a finite nonsolvable group contains an axiomatic formation that is not a subvariety.
More informationEILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY
EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY CHRIS KOTTKE 1. The Eilenberg-Zilber Theorem 1.1. Tensor products of chain complexes. Let C and D be chain complexes. We define
More informationHomotopy and homology groups of the n-dimensional Hawaiian earring
F U N D A M E N T A MATHEMATICAE 165 (2000) Homotopy and homology groups of the n-dimensional Hawaiian earring by Katsuya E d a (Tokyo) and Kazuhiro K a w a m u r a (Tsukuba) Abstract. For the n-dimensional
More informationRINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS
RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS JACOB LOJEWSKI AND GREG OMAN Abstract. Let G be a nontrivial group, and assume that G = H for every nontrivial subgroup H of G. It is a simple matter to prove
More informationφ(xy) = (xy) n = x n y n = φ(x)φ(y)
Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =
More informationThe Real Grassmannian Gr(2, 4)
The Real Grassmannian Gr(2, 4) We discuss the topology of the real Grassmannian Gr(2, 4) of 2-planes in R 4 and its double cover Gr + (2, 4) by the Grassmannian of oriented 2-planes They are compact four-manifolds
More informationCohomology and Base Change
Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)
More informationLECTURE 2: THE THICK SUBCATEGORY THEOREM
LECTURE 2: THE THICK SUBCATEGORY THEOREM 1. Introduction Suppose we wanted to prove that all p-local finite spectra of type n were evil. In general, this might be extremely hard to show. The thick subcategory
More informationRecent Results on Generalized Baumslag-Solitar Groups. Derek J.S. Robinson. Groups-St. Andrews 2013
Recent Results on Generalized Baumslag-Solitar Groups Derek J.S. Robinson University of Illinois at Urbana-Champaign Groups-St. Andrews 2013 Derek J.S. Robinson (UIUC) Generalized Baumslag-Solitar Groups
More informationA. (Groups of order 8.) (a) Which of the five groups G (as specified in the question) have the following property: G has a normal subgroup N such that
MATH 402A - Solutions for the suggested problems. A. (Groups of order 8. (a Which of the five groups G (as specified in the question have the following property: G has a normal subgroup N such that N =
More informationEach copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
The Indices of Torsion-Free Subgroups of Fuchsian Groups Author(s): R. G. Burns and Donald Solitar Source: Proceedings of the American Mathematical Society, Vol. 89, No. 3 (Nov., 1983), pp. 414-418 Published
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationMath 210B: Algebra, Homework 4
Math 210B: Algebra, Homework 4 Ian Coley February 5, 2014 Problem 1. Let S be a multiplicative subset in a commutative ring R. Show that the localisation functor R-Mod S 1 R-Mod, M S 1 M, is exact. First,
More informationA TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor
A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it
More informationSolutions of exercise sheet 8
D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra
More informationIf F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2,
Proc. Amer. Math. Soc. 124, 727--733 (1996) Rational Surfaces with K 2 > 0 Brian Harbourne Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE 68588-0323 email: bharbourne@unl.edu
More informationAN ASPHERICAL 5-MANIFOLD WITH PERFECT FUNDAMENTAL GROUP
AN ASPHERICAL 5-MANIFOLD WITH PERFECT FUNDAMENTAL GROUP J.A. HILLMAN Abstract. We construct aspherical closed orientable 5-manifolds with perfect fundamental group. This completes part of our study of
More informationSome Remarks on Prill s Problem
AFFINE ALGEBRAIC GEOMETRY pp. 287 292 Some Remarks on Prill s Problem Abstract. N. Mohan Kumar If f : X Y is a non-constant map of smooth curves over C and if there is a degree two map π : X C where C
More informationON THE KERNELS OF THE PRO-l OUTER GALOIS REPRESENTATIONS ASSOCIATED TO HYPERBOLIC CURVES OVER NUMBER FIELDS
Hoshi, Y. Osaka J. Math. 52 (205), 647 675 ON THE KERNELS OF THE PRO-l OUTER GALOIS REPRESENTATIONS ASSOCIATED TO HYPERBOLIC CURVES OVER NUMBER FIELDS YUICHIRO HOSHI (Received May 28, 203, revised March
More informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
More informationINVARIANTS FOR COMMUTATIVE GROUP ALGEBRAS
INVARIANTS FOR COMMUTATIVE GROUP ALGEBRAS BY WARREN MAY Let K be a commutative ring with identity and G an abelian group. Then the structure of KG as a K-algebra depends to some extent upon the primes
More informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More informationarxiv: v2 [math.gr] 2 Feb 2011
arxiv:0912.3645v2 [math.gr] 2 Feb 2011 On minimal finite factor groups of outer automorphism groups of free groups Mattia Mecchia and Bruno P. Zimmermann Abstract We prove that, for n = 3 and 4, the minimal
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationCONSEQUENCES OF THE SYLOW THEOREMS
CONSEQUENCES OF THE SYLOW THEOREMS KEITH CONRAD For a group theorist, Sylow s Theorem is such a basic tool, and so fundamental, that it is used almost without thinking, like breathing. Geoff Robinson 1.
More informationFinite Presentations of Hyperbolic Groups
Finite Presentations of Hyperbolic Groups Joseph Wells Arizona State University May, 204 Groups into Metric Spaces Metric spaces and the geodesics therein are absolutely foundational to geometry. The central
More informationAlgebraic Topology exam
Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,
More informationDIGRAPHS WITH SMALL AUTOMORPHISM GROUPS THAT ARE CAYLEY ON TWO NONISOMORPHIC GROUPS
DIGRAPHS WITH SMALL AUTOMORPHISM GROUPS THAT ARE CAYLEY ON TWO NONISOMORPHIC GROUPS LUKE MORGAN, JOY MORRIS, AND GABRIEL VERRET Abstract. Let Γ = Cay(G, S) be a Cayley digraph on a group G and let A =
More informationPseudo Sylow numbers
Pseudo Sylow numbers Benjamin Sambale May 16, 2018 Abstract One part of Sylow s famous theorem in group theory states that the number of Sylow p- subgroups of a finite group is always congruent to 1 modulo
More informationRESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.
RIMS-1898 A Note on an Anabelian Open Basis for a Smooth Variety By Yuichiro HOSHI January 2019 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan A Note on an Anabelian Open Basis
More informationExtensions of motives and higher Chow groups
Extensions of motives and higher Chow groups A. J. Scholl Introduction This note has two purposes: the first is to give a somewhat different description of the higher cycle class map defined by Bloch [3]
More informationCOMBINATORIAL GROUP THEORY NOTES
COMBINATORIAL GROUP THEORY NOTES These are being written as a companion to Chapter 1 of Hatcher. The aim is to give a description of some of the group theory required to work with the fundamental groups
More informationResearch Statement. MUHAMMAD INAM 1 of 5
MUHAMMAD INAM 1 of 5 Research Statement Preliminaries My primary research interests are in geometric inverse semigroup theory and its connections with other fields of mathematics. A semigroup M is called
More informationEXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS
EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS FRANK IMSTEDT AND PETER SYMONDS Abstract. We prove a recursive formula for the exterior and symmetric powers of modules for a cyclic 2-group.
More informationBEN KNUDSEN. Conf k (f) Conf k (Y )
CONFIGURATION SPACES IN ALGEBRAIC TOPOLOGY: LECTURE 2 BEN KNUDSEN We begin our study of configuration spaces by observing a few of their basic properties. First, we note that, if f : X Y is an injective
More informationMATH 101: ALGEBRA I WORKSHEET, DAY #3. Fill in the blanks as we finish our first pass on prerequisites of group theory.
MATH 101: ALGEBRA I WORKSHEET, DAY #3 Fill in the blanks as we finish our first pass on prerequisites of group theory 1 Subgroups, cosets Let G be a group Recall that a subgroup H G is a subset that is
More informationA Leibniz Algebra Structure on the Second Tensor Power
Journal of Lie Theory Volume 12 (2002) 583 596 c 2002 Heldermann Verlag A Leibniz Algebra Structure on the Second Tensor Power R. Kurdiani and T. Pirashvili Communicated by K.-H. Neeb Abstract. For any
More informationDefinitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch
Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary
More informationSome properties of commutative transitive of groups and Lie algebras
Some properties of commutative transitive of groups and Lie algebras Mohammad Reza R Moghaddam Department of Mathematics, Khayyam University, Mashhad, Iran, and Department of Pure Mathematics, Centre of
More informationVANISHING HOMOLOGY OVER NILPOTENT GROUPS i
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 49, Number 1, M*y 1975 VANISHING HOMOLOGY OVER NILPOTENT GROUPS i WILLIAM G. DWYER ABSTRACT. Let rr be a nilpotent group and let M be a 77-module.
More informationWHY WORD PROBLEMS ARE HARD
WHY WORD PROBLEMS ARE HARD KEITH CONRAD 1. Introduction The title above is a joke. Many students in school hate word problems. We will discuss here a specific math question that happens to be named the
More information