Near supplements and complements in solvable groups of finite rank
|
|
- Abigayle Cooper
- 6 years ago
- Views:
Transcription
1 Near supplements and complements in solvable groups of finite rank Karl Lorensen (speaker) Pennsylvania State University, Altoona College Peter Kropholler (coauthor) University of Southampton August 8, 2013 Karl Lorensen (speaker) Pennsylvania State University, Near supplements Altoona College and complements Peter Kropholler in solvable (coauthor) groups University of finiteaugust rank of Southampton 8, 2013 () 1 / 1
2 The cohomology of virtually torsion-free solvable groups of finite rank Karl Lorensen (speaker) Pennsylvania State University, Altoona College Peter Kropholler (coauthor) University of Southampton August 8, 2013 Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 2 / 1
3 A solvable group has finite rank if, for every prime p, each of its abelian p-sections is a direct sum of finitely many cyclic and quasicyclic p-groups. arl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 3 / 1
4 A solvable group has finite rank if, for every prime p, each of its abelian p-sections is a direct sum of finitely many cyclic and quasicyclic p-groups. A solvable minimax group is a group that has a series of finite length in which each factor is either cyclic or quasicyclic. The set of primes corresponding to the quasicyclic factors is an invariant of the group, called its spectrum. arl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 3 / 1
5 A solvable group has finite rank if, for every prime p, each of its abelian p-sections is a direct sum of finitely many cyclic and quasicyclic p-groups. A solvable minimax group is a group that has a series of finite length in which each factor is either cyclic or quasicyclic. The set of primes corresponding to the quasicyclic factors is an invariant of the group, called its spectrum. If π is a set of primes, then a solvable minimax group whose spectrum is contained in π is said to be π-minimax. arl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 3 / 1
6 The group-theoretic problem Let π be a set of primes. Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 4 / 1
7 The group-theoretic problem Let π be a set of primes. Let G be a solvable group of finite rank and K G with G/K π-minimax. Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 4 / 1
8 The group-theoretic problem Let π be a set of primes. Let G be a solvable group of finite rank and K G with G/K π-minimax. Question 1. Under what conditions must G have a π-minimax subgroup X such that [G : KX ] <? Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 4 / 1
9 The group-theoretic problem Let π be a set of primes. Let G be a solvable group of finite rank and K G with G/K π-minimax. Question 1. Under what conditions must G have a π-minimax subgroup X such that [G : KX ] <? Question 2. When is it possible to find such a subgroup X with K X = 1? Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 4 / 1
10 An example where no π-minimax near supplement is present Let p and q be two distinct primes. Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 5 / 1
11 An example where no π-minimax near supplement is present Let p and q be two distinct primes. Allow C to act on Z[1/pq] via multiplication by p. Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 5 / 1
12 An example where no π-minimax near supplement is present Let p and q be two distinct primes. Allow C to act on Z[1/pq] via multiplication by p. G = Z[1/pq] C Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 5 / 1
13 An example where no π-minimax near supplement is present Let p and q be two distinct primes. Allow C to act on Z[1/pq] via multiplication by p. G = Z[1/pq] C Let K = Z[1/p] < Z[1/pq]. Then K G. Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 5 / 1
14 An example where no π-minimax near supplement is present Let p and q be two distinct primes. Allow C to act on Z[1/pq] via multiplication by p. G = Z[1/pq] C Let K = Z[1/p] < Z[1/pq]. Then K G. G/K = C q C Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 5 / 1
15 An example where no π-minimax near supplement is present Let p and q be two distinct primes. Allow C to act on Z[1/pq] via multiplication by p. G = Z[1/pq] C Let K = Z[1/p] < Z[1/pq]. Then K G. G/K = C q C Hence G/K is {q}-minimax. Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 5 / 1
16 An example where no π-minimax near supplement is present Let p and q be two distinct primes. Allow C to act on Z[1/pq] via multiplication by p. G = Z[1/pq] C Let K = Z[1/p] < Z[1/pq]. Then K G. G/K = C q C Hence G/K is {q}-minimax. However, there is no {q}-minimax near supplement to K in G. Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 5 / 1
17 Notice that, in the above example, G/K has an infinite torsion subgroup. arl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 6 / 1
18 Notice that, in the above example, G/K has an infinite torsion subgroup. Question. If G/K is π-minimax and virtually torsion-free, must there be a π-minimax near supplement to K? Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 6 / 1
19 Notice that, in the above example, G/K has an infinite torsion subgroup. Question. If G/K is π-minimax and virtually torsion-free, must there be a π-minimax near supplement to K? It turns out that the answer to this question is yes! Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 6 / 1
20 Cohomology and near splittings Proposition (D. J. S. Robinson) Assume that G is a group and A a ZG-module that has finite rank as an abelian group. Let ξ be an element of H 2 (G, A) and 1 A E G 1 a group extension corresponding to ξ. Then ξ has finite order if and only if E contains a subgroup X such that X A is finite and [E : AX ] is finite. Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 7 / 1
21 Our cohomology (and homology!) theorem Theorem A (Kropholler, Lorensen) Let π be a set of primes and G a virtually torsion-free π-minimax group. Assume that A is a ZG-module whose underlying abelian group is torsion-free and has finite rank. Suppose further that A does not have any nontrivial ZG-module sections that are torsion-free and π-minimax as abelian groups. Then there exists a positive integer m such that for all n 0. m H n (G, A) = 0 and m H n (G, A) = 0 Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 8 / 1
22 A property of Ext and Tor Proposition A (Kropholler, Lorensen, and an anonymous referee) Let G be an abelian group. Assume that A and B are ZG-modules whose additive groups are torsion-free abelian groups of finite rank. Suppose further that A and B fail to have a pair of nontrivial, mutually isomorphic ZG-module sections that are torsion-free as abelian groups. Then there is a positive integer m such that for all n 0. m Ext n ZG (A, B) = 0 and m TorZG n (A, B) = 0 Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, 2013 () 9 / 1
23 Our near supplement theorem Theorem B (Kropholler, Lorensen) Let G be a solvable group with finite rank. Assume that K is a normal subgroup of G such that G/K is π-minimax for some set π of primes. If G/K is virtually torsion-free, then there is a π-minimax subgroup X of G such that [G : KX ] is finite. Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, () / 1
24 Our near supplement theorem Theorem B (Kropholler, Lorensen) Let G be a solvable group with finite rank. Assume that K is a normal subgroup of G such that G/K is π-minimax for some set π of primes. If G/K is virtually torsion-free, then there is a π-minimax subgroup X of G such that [G : KX ] is finite. Corollary Let G be a solvable group with finite rank. Assume that K is a normal subgroup of G such that G/K is π-minimax for some set π of primes. If G/K is finitely generated, then there is a π-minimax subgroup X of G such that [G : KX ] is finite. Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, () / 1
25 The class X π Definition The class X π is the class of all groups that have no torsion-free π-minimax quotients. Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, () / 1
26 The class X π Definition The class X π is the class of all groups that have no torsion-free π-minimax quotients. A torsion-free abelian group of rank one is a member of X π if and only if it is not π-minimax. Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, () / 1
27 The class X π Definition The class X π is the class of all groups that have no torsion-free π-minimax quotients. A torsion-free abelian group of rank one is a member of X π if and only if it is not π-minimax. The class X π is closed under taking subgroups of finite index, forming homomorphic images, and constructing extensions. Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, () / 1
28 Our near complement theorem Theorem C (Kropholler, Lorensen) Let G be a solvable group with finite rank. Assume that K is a normal subgroup of G such that K belongs to the class X π and K is Noetherian as a G-operator group. Suppose further that G/K is π-minimax and virtually torsion-free. Then K has a near complement in G. Karl Lorensen (speaker) Pennsylvania State University, The cohomology Altoonaof College virtually Peter torsion-free Kropholler solvable (coauthor) groups University of finite August rank of Southampton 8, () / 1
THE COHOMOLOGY OF VIRTUALLY TORSION-FREE SOLVABLE GROUPS OF FINITE RANK
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 367, Number 9, September 2015, Pages 6441 6459 S 0002-9947(2015)06262-X Article electronically published on March 13, 2015 THE COHOMOLOGY OF VIRTUALLY
More informationarxiv: v2 [math.gr] 22 Jun 2014
Finite and torsion cohomology for solvable groups of finite rank arxiv:1406.3731v2 [math.gr] 22 Jun 2014 Karl Lorensen Mathematics Department Pennsylvania State University, Altoona College Altoona, PA
More informationKevin James. p-groups, Nilpotent groups and Solvable groups
p-groups, Nilpotent groups and Solvable groups Definition A maximal subgroup of a group G is a proper subgroup M G such that there are no subgroups H with M < H < G. Definition A maximal subgroup of a
More informationThe Number of Homomorphic Images of an Abelian Group
International Journal of Algebra, Vol. 5, 2011, no. 3, 107-115 The Number of Homomorphic Images of an Abelian Group Greg Oman Ohio University, 321 Morton Hall Athens, OH 45701, USA ggoman@gmail.com Abstract.
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 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 informationLecture 20 FUNDAMENTAL Theorem of Finitely Generated Abelian Groups (FTFGAG)
Lecture 20 FUNDAMENTAL Theorem of Finitely Generated Abelian Groups (FTFGAG) Warm up: 1. Let n 1500. Find all sequences n 1 n 2... n s 2 satisfying n i 1 and n 1 n s n (where s can vary from sequence to
More informationALGEBRA QUALIFYING EXAM SPRING 2012
ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.
More informationImaginary Quadratic Fields With Isomorphic Abelian Galois Groups
Imaginary Quadratic Fields With Isomorphic Abelian Galois Groups Universiteit Leiden, Université Bordeaux 1 July 12, 2012 - UCSD - X - a Question Let K be a number field and G K = Gal(K/K) the absolute
More informationRational Hopf G-spaces with two nontrivial homotopy group systems
F U N D A M E N T A MATHEMATICAE 146 (1995) Rational Hopf -spaces with two nontrivial homotopy group systems by Ryszard D o m a n (Poznań) Abstract. Let be a finite group. We prove that every rational
More informationSection II.2. Finitely Generated Abelian Groups
II.2. Finitely Generated Abelian Groups 1 Section II.2. Finitely Generated Abelian Groups Note. In this section we prove the Fundamental Theorem of Finitely Generated Abelian Groups. Recall that every
More information1 p mr. r, where p 1 < p 2 < < p r are primes, reduces then to the problem of finding, for i = 1,...,r, all possible partitions (p e 1
Theorem 2.9 (The Fundamental Theorem for finite abelian groups). Let G be a finite abelian group. G can be written as an internal direct sum of non-trival cyclic groups of prime power order. Furthermore
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 informationOn Compact Just-Non-Lie Groups
On Compact Just-Non-Lie Groups FRANCESCO RUSSO Mathematics Department of Naples, Naples, Italy E-mail:francesco.russo@dma.unina.it Abstract. A compact group is called a compact Just-Non-Lie group or a
More informationHomework #11 Solutions
Homework #11 Solutions p 166, #18 We start by counting the elements in D m and D n, respectively, of order 2. If x D m and x 2 then either x is a flip or x is a rotation of order 2. The subgroup of rotations
More informationCENTRALISERS OF FINITE SUBGROUPS IN SOLUBLE GROUPS OF TYPE FP n
CENTRALISERS OF FINITE SUBGROUPS IN SOLUBLE GROUPS OF TYPE FP n D. H. KOCHLOUKOVA, C. MARTÍNEZ-PÉREZ, AND B. E. A. NUCINKIS Abstract. We show that for soluble groups of type FP n, centralisers of finite
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 informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationOn Dense Embeddings of Discrete Groups into Locally Compact Groups
QUALITATIVE THEORY OF DYNAMICAL SYSTEMS 4, 31 37 (2003) ARTICLE NO. 50 On Dense Embeddings of Discrete Groups into Locally Compact Groups Maxim S. Boyko Institute for Low Temperature Physics and Engineering,
More informationx y B =. v u Note that the determinant of B is xu + yv = 1. Thus B is invertible, with inverse u y v x On the other hand, d BA = va + ub 2
5. Finitely Generated Modules over a PID We want to give a complete classification of finitely generated modules over a PID. ecall that a finitely generated module is a quotient of n, a free module. Let
More informationPROBLEMS FROM GROUP THEORY
PROBLEMS FROM GROUP THEORY Page 1 of 12 In the problems below, G, H, K, and N generally denote groups. We use p to stand for a positive prime integer. Aut( G ) denotes the group of automorphisms of G.
More informationSome algebraic properties of. compact topological groups
Some algebraic properties of compact topological groups 1 Compact topological groups: examples connected: S 1, circle group. SO(3, R), rotation group not connected: Every finite group, with the discrete
More informationOn the structure of some modules over generalized soluble groups
On the structure of some modules over generalized soluble groups L.A. Kurdachenko, I.Ya. Subbotin and V.A. Chepurdya Abstract. Let R be a ring and G a group. An R-module A is said to be artinian-by-(finite
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 informationOn the linearity of HNN-extensions with abelian base groups
On the linearity of HNN-extensions with abelian base groups Dimitrios Varsos Joint work with V. Metaftsis and E. Raptis with base group K a polycyclic-by-finite group and associated subgroups A and B of
More informationADDITIVE GROUPS OF SELF-INJECTIVE RINGS
SOOCHOW JOURNAL OF MATHEMATICS Volume 33, No. 4, pp. 641-645, October 2007 ADDITIVE GROUPS OF SELF-INJECTIVE RINGS BY SHALOM FEIGELSTOCK Abstract. The additive groups of left self-injective rings, and
More informationKevin James. MTHSC 412 Section 3.4 Cyclic Groups
MTHSC 412 Section 3.4 Cyclic Groups Definition If G is a cyclic group and G =< a > then a is a generator of G. Definition If G is a cyclic group and G =< a > then a is a generator of G. Example 1 Z is
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 information1. Introduction GROUP ACTIONS ON ALGEBRAIC CELL COMPLEXES
Publ. Mat. 55 (2011), 3 18 GROUP ACTIONS ON ALGEBRAIC CELL COMPLEXES P. H. Kropholler and C. T. C. Wall Abstract We establish an algebraic version of the classical result that a G-map f between G-complexes
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 informationCHAPTER III NORMAL SERIES
CHAPTER III NORMAL SERIES 1. Normal Series A group is called simple if it has no nontrivial, proper, normal subgroups. The only abelian simple groups are cyclic groups of prime order, but some authors
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 information7.3 Singular Homology Groups
184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the
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 informationMath 602, Fall 2002, HW 2, due 10/14/2002
Math 602, Fall 2002, HW 2, due 10/14/2002 Part A AI) A Fermat prime, p, is a prime number of the form 2 α + 1. E.g., 2, 3, 5, 17, 257,.... (a) Show if 2 α + 1 is prime then α = 2 β. (b) Say p is a Fermat
More informationMichel Boileau Profinite completion of groups and 3-manifolds III. Joint work with Stefan Friedl
Michel Boileau Profinite completion of groups and 3-manifolds III Branched Coverings, Degenerations, and Related Topics Hiroshima March 2016 Joint work with Stefan Friedl 13 mars 2016 Hiroshima-2016 13
More informationAlgebra Exercises in group theory
Algebra 3 2010 Exercises in group theory February 2010 Exercise 1*: Discuss the Exercises in the sections 1.1-1.3 in Chapter I of the notes. Exercise 2: Show that an infinite group G has to contain a non-trivial
More informationCS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a
Q: What s purple and commutes? A: An abelian grape! Anonymous Group Theory Last lecture, we learned about a combinatorial method for characterizing spaces: using simplicial complexes as triangulations
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 information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationConverse to Lagrange s Theorem Groups
Converse to Lagrange s Theorem Groups Blain A Patterson Youngstown State University May 10, 2013 History In 1771 an Italian mathematician named Joseph Lagrange proved a theorem that put constraints on
More informationIsogeny invariance of the BSD conjecture
Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p
More informationHomological Decision Problems for Finitely Generated Groups with Solvable Word Problem
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
More informationAlgebra Ph.D. Entrance Exam Fall 2009 September 3, 2009
Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Directions: Solve 10 of the following problems. Mark which of the problems are to be graded. Without clear indication which problems are to be graded
More informationHOMOLOGY AND COHOMOLOGY. 1. Introduction
HOMOLOGY AND COHOMOLOGY ELLEARD FELIX WEBSTER HEFFERN 1. Introduction We have been introduced to the idea of homology, which derives from a chain complex of singular or simplicial chain groups together
More informationGroup Algebras with the Bounded Splitting Property. Derek J.S. Robinson. Ischia Group Theory 2014
Group Algebras with the Bounded Splitting Property Derek J.S. Robinson University of Illinois at Urbana-Champaign Ischia Group Theory 2014 (Joint work with Blas Torrecillas, University of Almería) Derek
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 informationA new notion of rank for finite supersolvable groups and free linear actions on products of spheres
A new notion of rank for finite supersolvable groups and free linear actions on products of spheres Laurence Barker and Ergün Yalçın 17 April 2002 Abstract For a finite supersolvable group G, we define
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 informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationABELIAN GROUPS WHOSE SUBGROUP LATTICE IS THE UNION OF TWO INTERVALS
J. Aust. Math. Soc. 78 (2005), 27 36 ABELIAN GROUPS WHOSE SUBGROUP LATTICE IS THE UNION OF TWO INTERVALS SIMION BREAZ and GRIGORE CĂLUGĂREANU (Received 15 February 2003; revised 21 July 2003) Communicated
More informationHOMEWORK SET 3. Local Class Field Theory - Fall For questions, remarks or mistakes write me at
HOMEWORK SET 3 Local Class Field Theory - Fall 2011 For questions, remarks or mistakes write me at sivieroa@math.leidneuniv.nl. Exercise 3.1. Suppose A is an abelian group which is torsion (every element
More informationNeat Homomorphisms over Dedekind Domains
Salahattin ÖZDEMİR (Joint work with Engin Mermut) Dokuz Eylül University, Izmir-Turkey NCRA, V 12-15 June 2017, Lens outline 1 Neat submodules 2 Neat homomorphisms 3 The class of neat epimorphisms 4 Z-Neat
More informationMirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere
Mirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere A gift to Professor Jiang Bo Jü Jie Wu Department of Mathematics National University of Singapore www.math.nus.edu.sg/ matwujie
More informationSection III.15. Factor-Group Computations and Simple Groups
III.15 Factor-Group Computations 1 Section III.15. Factor-Group Computations and Simple Groups Note. In this section, we try to extract information about a group G by considering properties of the factor
More informationInjective Modules and Matlis Duality
Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following
More informationAlgebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0
1. Show that if B, C are flat and Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0 is exact, then A is flat as well. Show that the same holds for projectivity, but not for injectivity.
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 informationNOTES ON CHAIN COMPLEXES
NOTES ON CHAIN COMPLEXES ANDEW BAKE These notes are intended as a very basic introduction to (co)chain complexes and their algebra, the intention being to point the beginner at some of the main ideas which
More informationIUPUI Qualifying Exam Abstract Algebra
IUPUI Qualifying Exam Abstract Algebra January 2017 Daniel Ramras (1) a) Prove that if G is a group of order 2 2 5 2 11, then G contains either a normal subgroup of order 11, or a normal subgroup of order
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 informationTop exterior powers in Iwasawa theory
joint with Ted Chinburg, Ralph Greenberg, Mahesh Kakde, Romyar Sharifi and Martin Taylor Maurice Auslander International Conference April 28, 2018 Iwasawa theory (started by Kenkichi Iwasawa 1950 s). Study
More informationTHE EULER CLASS OF A SUBSET COMPLEX
THE EULER CLASS OF A SUBSET COMPLEX ASLI GÜÇLÜKAN AND ERGÜN YALÇIN Abstract. The subset complex (G) of a finite group G is defined as the simplicial complex whose simplices are nonempty subsets of G. The
More informationCATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)
CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.
More informationMost rank two finite groups act freely on a homotopy product of two spheres
Most rank two finite groups act freely on a homotopy product of two spheres Michael A. Jackson University of Rochester mjackson@math.rochester.edu Conference on Pure and Applied Topology Isle of Skye,
More informationFINITELY-GENERATED ABELIAN GROUPS
FINITELY-GENERATED ABELIAN GROUPS Structure Theorem for Finitely-Generated Abelian Groups Let G be a finitely-generated abelian group Then there exist a nonnegative integer t and (if t > 0) integers 1
More informationLecture 7 Cyclic groups and subgroups
Lecture 7 Cyclic groups and subgroups Review Types of groups we know Numbers: Z, Q, R, C, Q, R, C Matrices: (M n (F ), +), GL n (F ), where F = Q, R, or C. Modular groups: Z/nZ and (Z/nZ) Dihedral groups:
More informationRELATIVE GROUP COHOMOLOGY AND THE ORBIT CATEGORY
RELATIVE GROUP COHOMOLOGY AND THE ORBIT CATEGORY SEMRA PAMUK AND ERGÜN YALÇIN Abstract. Let G be a finite group and F be a family of subgroups of G closed under conjugation and taking subgroups. We consider
More informationList of topics for the preliminary exam in algebra
List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.
More informationChapter 5. Modular arithmetic. 5.1 The modular ring
Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence
More informationNOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0
NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of
More information13 More on free abelian groups
13 More on free abelian groups Recall. G is a free abelian group if G = i I Z for some set I. 13.1 Definition. Let G be an abelian group. A set B G is a basis of G if B generates G if for some x 1,...x
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 informationAlgebra Prelim Notes
Algebra Prelim Notes Eric Staron Summer 2007 1 Groups Define C G (A) = {g G gag 1 = a for all a A} to be the centralizer of A in G. In particular, this is the subset of G which commuted with every element
More informationAlgebra. Travis Dirle. December 4, 2016
Abstract Algebra 2 Algebra Travis Dirle December 4, 2016 2 Contents 1 Groups 1 1.1 Semigroups, Monoids and Groups................ 1 1.2 Homomorphisms and Subgroups................. 2 1.3 Cyclic Groups...........................
More informationA Note on Groups with Just-Infinite Automorphism Groups
Note di Matematica ISSN 1123-2536, e-issn 1590-0932 Note Mat. 32 (2012) no. 2, 135 140. doi:10.1285/i15900932v32n2p135 A Note on Groups with Just-Infinite Automorphism Groups Francesco de Giovanni Dipartimento
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationSUBCATEGORIES OF EXTENSION MODULES BY SERRE SUBCATEGORIES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 140, Number 7, July 2012, Pages 2293 2305 S 0002-9939(2011)11108-0 Article electronically published on November 23, 2011 SUBCATEGORIES OF EXTENSION
More informationSELF-EQUIVALENCES OF DIHEDRAL SPHERES
SELF-EQUIVALENCES OF DIHEDRAL SPHERES DAVIDE L. FERRARIO Abstract. Let G be a finite group. The group of homotopy self-equivalences E G (X) of an orthogonal G-sphere X is related to the Burnside ring A(G)
More informationGeometric Realization and K-Theoretic Decomposition of C*-Algebras
Wayne State University Mathematics Faculty Research Publications Mathematics 5-1-2001 Geometric Realization and K-Theoretic Decomposition of C*-Algebras Claude Schochet Wayne State University, clsmath@gmail.com
More informationUnipotent automorphisms of solvable groups
Department of Mathematical Sciences University of Bath Groups St Andrews 2017 in Birmingham 1. Introduction. 2. Solvable groups acting n-unipotently on solvable groups. 3. Examples. 1. Introduction 1.
More information1 Finite abelian groups
Last revised: May 16, 2014 A.Miller M542 www.math.wisc.edu/ miller/ Each Problem is due one week from the date it is assigned. Do not hand them in early. Please put them on the desk in front of the room
More informationSUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT
SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.
More informationAlgebraic Structures II
MAS 305 Algebraic Structures II Notes 9 Autumn 2006 Composition series soluble groups Definition A normal subgroup N of a group G is called a maximal normal subgroup of G if (a) N G; (b) whenever N M G
More informationFundamental Theorem of Finite Abelian Groups
Monica Agana Boise State University September 1, 2015 Theorem (Fundamental Theorem of Finite Abelian Groups) Every finite Abelian group is a direct product of cyclic groups of prime-power order. The number
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 informationII. Products of Groups
II. Products of Groups Hong-Jian Lai October 2002 1. Direct Products (1.1) The direct product (also refereed as complete direct sum) of a collection of groups G i, i I consists of the Cartesian product
More informationProjective and Injective Modules
Projective and Injective Modules Push-outs and Pull-backs. Proposition. Let P be an R-module. The following conditions are equivalent: (1) P is projective. (2) Hom R (P, ) is an exact functor. (3) Every
More informationTHE VIRTUAL Z-REPRESENTABILITY OF 3-MANIFOLDS WHICH ADMIT ORIENTATION REVERSING INVOLUTIONS
proceedings of the american mathematical society Volume 110, Number 2, October 1990 THE VIRTUAL Z-REPRESENTABILITY OF 3-MANIFOLDS WHICH ADMIT ORIENTATION REVERSING INVOLUTIONS SHICHENG WANG (Communicated
More informationTORSION CLASSES AND PURE SUBGROUPS
PACIFIC JOURNAL OF MATHEMATICS Vol. 33 ; No. 1, 1970 TORSION CLASSES AND PURE SUBGROUPS B. J. GARDNER In this note we obtain a classification of the classes J?~ of abelian groups satisfying the following
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 informationBasic Definitions: Group, subgroup, order of a group, order of an element, Abelian, center, centralizer, identity, inverse, closed.
Math 546 Review Exam 2 NOTE: An (*) at the end of a line indicates that you will not be asked for the proof of that specific item on the exam But you should still understand the idea and be able to apply
More informationAlgebra SEP Solutions
Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since
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 informationOdds and ends on equivariant cohomology and traces
Odds and ends on equivariant cohomology and traces Weizhe Zheng Columbia University International Congress of Chinese Mathematicians Tsinghua University, Beijing December 18, 2010 Joint work with Luc Illusie.
More informationFall 2014 Commutative Algebra Final Exam (Solution)
18.705 Fall 2014 Commutative Algebra Final Exam (Solution) 9:00 12:00 December 16, 2014 E17 122 Your Name Problem Points 1 /40 2 /20 3 /10 4 /10 5 /10 6 /10 7 / + 10 Total /100 + 10 1 Instructions: 1.
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 informationLocal indicability in ordered groups: braids and elementary amenable groups
Local indicability in ordered groups: braids and elementary amenable groups Akbar Rhemtulla Dale Rolfsen September 18, 2002 Abstract Groups which are locally indicable are also right-orderable, but not
More informationAuslander s Theorem for permutation actions on noncommutative algebras
Auslander s Theorem for permutation actions on noncommutative algebras Robert Won Joint with Jason Gaddis, Ellen Kirkman, and Frank Moore AMS Western Sectional Meeting, Pullman, WA April 23, 2017 1 / 22
More informationALGEBRA 11: Galois theory
Galois extensions Exercise 11.1 (!). Consider a polynomial P (t) K[t] of degree n with coefficients in a field K that has n distinct roots in K. Prove that the ring K[t]/P of residues modulo P is isomorphic
More information