Namespaces
Variants
Actions

Difference between revisions of "Acyclic group"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (Fixed typo)
(adding bullets)
 
(3 intermediate revisions by 2 users not shown)
Line 2: Line 2:
 
{{MSC|20J05}}
 
{{MSC|20J05}}
  
A group having the same constant coefficient homology as the trivial group (cf. also [[Homology|Homology]]). This means that its [[Classifying space|classifying space]] is an acyclic space. In the literature the earliest examples are Higman's four-generator four-relator group {{Cite|Hi}}
+
A group having the same constant coefficient homology as the trivial group (cf. also [[Homology]]). This means that its [[classifying space]] is an acyclic space. In the literature the earliest examples are Higman's four-generator four-relator group {{Cite|Hi}}
  
 
$$\langle x_0, x_1, x_2, x_3 : x_{i+1}x_ix_{i+1}^{-1} = x_i^2, i\in \mathbb{Z}/4\rangle$$
 
$$\langle x_0, x_1, x_2, x_3 : x_{i+1}x_ix_{i+1}^{-1} = x_i^2, i\in \mathbb{Z}/4\rangle$$
  
and others found in combinatorial group theory {{Cite|BaGr}}, {{Cite|BaDyHe}}, {{Cite|BeMi}}. Further examples arise in geometry ({{Cite|Ep}}, {{Cite|Ma}}, {{Cite|Se}}, {{Cite|SaVa}}, {{Cite|GrSe}}) or as automorphism groups of large objects ({{Cite|HaMc}}; for example, the group of all bijections of an infinite set). Algebraically closed groups are acyclic.
+
and others found in combinatorial group theory {{Cite|BaGr}}, {{Cite|BaDyHe}}, {{Cite|BeMi}}. Further examples arise in geometry ({{Cite|Ep}}, {{Cite|Ma}}, {{Cite|Se}}, {{Cite|SaVa}}, {{Cite|GrSe}}) or as automorphism groups of large objects ({{Cite|HaMc}}; for example, the group of all bijections of an infinite set). [[Algebraically closed group]]s are acyclic.
  
 
Many proofs of acyclicity of infinitely generated groups rely on the property that all binate groups are acyclic {{Cite|Be3}} (cf. also [[Binate group|Binate group]]). An important result in the [[Plus-construction|plus-construction]] approach to the higher [[Algebraic K-theory|algebraic $K$-theory]] of rings and operator algebras is that the infinite [[General linear group|general linear group]] of the [[Cone|cone]] of a ring is acyclic {{Cite|Wa}}, {{Cite|Be}}. Topologically, the plus-construction of a topological space is completely determined by a certain perfect, locally free, and hence acyclic, group {{Cite|BeCa}}.
 
Many proofs of acyclicity of infinitely generated groups rely on the property that all binate groups are acyclic {{Cite|Be3}} (cf. also [[Binate group|Binate group]]). An important result in the [[Plus-construction|plus-construction]] approach to the higher [[Algebraic K-theory|algebraic $K$-theory]] of rings and operator algebras is that the infinite [[General linear group|general linear group]] of the [[Cone|cone]] of a ring is acyclic {{Cite|Wa}}, {{Cite|Be}}. Topologically, the plus-construction of a topological space is completely determined by a certain perfect, locally free, and hence acyclic, group {{Cite|BeCa}}.
Line 12: Line 12:
 
Ubiquity results for acyclic groups include the following:
 
Ubiquity results for acyclic groups include the following:
  
Every perfect group is the homomorphic image of an acyclic group {{Cite|He}}.
+
* Every [[perfect group]] is the homomorphic image of an acyclic group {{Cite|He}}.
  
Every group is a normal subgroup of a normal subgroup of an acyclic group. This result has applications to [[Algebraic topology|algebraic topology]] {{Cite|KaTh}}.
+
* Every group is a normal subgroup of a normal subgroup of an acyclic group. This result has applications to [[Algebraic topology|algebraic topology]] {{Cite|KaTh}}.
  
Every [[Abelian group|Abelian group]] is the centre of an acyclic group {{Cite|BaDyHe}}, {{Cite|Be2}}.
+
* Every [[Abelian group]] is the centre of an acyclic group {{Cite|BaDyHe}}, {{Cite|Be2}}.
  
 
In contrast to the above are results indicating that acyclic groups have "few" normal subgroups. Thus, the following acyclic groups admit no non-trivial finite-dimensional linear representations over any field:
 
In contrast to the above are results indicating that acyclic groups have "few" normal subgroups. Thus, the following acyclic groups admit no non-trivial finite-dimensional linear representations over any field:
  
algebraically closed groups;
+
* algebraically closed groups;
  
Higman's group {{Cite|Hi}};
+
* Higman's group {{Cite|Hi}};
  
torsion-generated acyclic groups {{Cite|Be4}};
+
* torsion-generated acyclic groups {{Cite|Be4}};
  
binate groups {{Cite|AlBe}};
+
* binate groups {{Cite|AlBe}};
  
the automorphisms groups of {{Cite|HaMc}}, see {{Cite|Be5}}, {{Cite|Be6}}.
+
* the automorphisms groups of {{Cite|HaMc}}, see {{Cite|Be5}}, {{Cite|Be6}}.
  
 
Moreover, many of the above groups are simple modulo the centre.
 
Moreover, many of the above groups are simple modulo the centre.
Line 39: Line 39:
 
|valign="top"|{{Ref|BaDyHe}}||valign="top"| G. Baumslag, E. Dyer, A. Heller, "The topology of discrete groups" ''J. Pure Appl. Algebra'', '''16''' (1980) pp. 1–47 {{MR|0549702}} {{ZBL|0419.20026}}
 
|valign="top"|{{Ref|BaDyHe}}||valign="top"| G. Baumslag, E. Dyer, A. Heller, "The topology of discrete groups" ''J. Pure Appl. Algebra'', '''16''' (1980) pp. 1–47 {{MR|0549702}} {{ZBL|0419.20026}}
 
|-
 
|-
|valign="top"|{{Ref|BaGr}}||valign="top"| G. Baumslag, K.W. Gruenberg, "Some reflections on cohomological dimension and freeness" ''J. Algebra'', '''6''' (1967) pp. 394–409 {{MR|0232827}} {{ZBL|}}
+
|valign="top"|{{Ref|BaGr}}||valign="top"| G. Baumslag, K.W. Gruenberg, "Some reflections on cohomological dimension and freeness" ''J. Algebra'', '''6''' (1967) pp. 394–409 {{MR|0232827}} {{ZBL|0166.29403}}
 
|-
 
|-
|valign="top"|{{Ref|Be}}||valign="top"| A.J. Berrick, "An approach to algebraic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110270/a1102704.png" />-theory", Pitman (1982) {{MR|649409}} {{ZBL|}}
+
|valign="top"|{{Ref|Be}}||valign="top"| A.J. Berrick, "An approach to algebraic $K$-theory", Pitman (1982) {{MR|649409}} {{ZBL|0479.18006}}
 
|-
 
|-
|valign="top"|{{Ref|Be2}}||valign="top"| A.J. Berrick, "Two functors from abelian groups to perfect groups" ''J. Pure Appl. Algebra'', '''44''' (1987) pp. 35–43 {{MR|0885094}} {{ZBL|}}
+
|valign="top"|{{Ref|Be2}}||valign="top"| A.J. Berrick, "Two functors from abelian groups to perfect groups" ''J. Pure Appl. Algebra'', '''44''' (1987) pp. 35–43 {{MR|0885094}} {{ZBL|0614.20038}}
 
|-
 
|-
 
|valign="top"|{{Ref|Be3}}||valign="top"| A.J. Berrick, "Universal groups, binate groups and acyclicity", ''Proc. 1987 Singapore Group Theory Conf.'', W. de Gruyter (1989) {{MR|0981847}} {{ZBL|0663.20053}}
 
|valign="top"|{{Ref|Be3}}||valign="top"| A.J. Berrick, "Universal groups, binate groups and acyclicity", ''Proc. 1987 Singapore Group Theory Conf.'', W. de Gruyter (1989) {{MR|0981847}} {{ZBL|0663.20053}}
Line 51: Line 51:
 
|valign="top"|{{Ref|Be5}}||valign="top"| A.J. Berrick, "Groups with no nontrivial linear representations" ''Bull. Austral. Math. Soc.'', '''50''' (1994) pp. 1–11 {{MR|1285653}} {{ZBL|0815.20026}}
 
|valign="top"|{{Ref|Be5}}||valign="top"| A.J. Berrick, "Groups with no nontrivial linear representations" ''Bull. Austral. Math. Soc.'', '''50''' (1994) pp. 1–11 {{MR|1285653}} {{ZBL|0815.20026}}
 
|-
 
|-
|valign="top"|{{Ref|Be6}}||valign="top"| A.J. Berrick, "Corrigenda: Groups with no nontrivial linear representations" ''Bull. Austral. Math. Soc.'', '''52''' (1995) pp. 345–346 {{MR|1348495}} {{ZBL|}}
+
|valign="top"|{{Ref|Be6}}||valign="top"| A.J. Berrick, "Corrigenda: Groups with no nontrivial linear representations" ''Bull. Austral. Math. Soc.'', '''52''' (1995) pp. 345–346 {{MR|1348495}} {{ZBL|0834.20037}}
 
|-
 
|-
 
|valign="top"|{{Ref|BeCa}}||valign="top"| A.J. Berrick, C. Casacuberta, "A universal space for plus-constructions" ''Topology'' (to appear) {{MR|1670384}} {{ZBL|0933.55016}}
 
|valign="top"|{{Ref|BeCa}}||valign="top"| A.J. Berrick, C. Casacuberta, "A universal space for plus-constructions" ''Topology'' (to appear) {{MR|1670384}} {{ZBL|0933.55016}}
Line 67: Line 67:
 
|valign="top"|{{Ref|Hi}}||valign="top"| G. Higman, "A finitely generated infinite simple group" ''J. London Math. Soc.'', '''26''' (1951) pp. 61–64 {{MR|0038348}} {{ZBL|0042.02201}}
 
|valign="top"|{{Ref|Hi}}||valign="top"| G. Higman, "A finitely generated infinite simple group" ''J. London Math. Soc.'', '''26''' (1951) pp. 61–64 {{MR|0038348}} {{ZBL|0042.02201}}
 
|-
 
|-
|valign="top"|{{Ref|KaTh}}||valign="top"| D.M. Kan, W.P. Thurston, "Every connected space has the homology of a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110270/a1102705.png" />" ''Topology'', '''15''' (1976) pp. 253–258 {{MR|0413089}} {{ZBL|0355.55004}}
+
|valign="top"|{{Ref|KaTh}}||valign="top"| D.M. Kan, W.P. Thurston, "Every connected space has the homology of a $K(\pi,1)$" ''Topology'', '''15''' (1976) pp. 253–258 {{MR|0413089}} {{ZBL|0355.55004}}
 
|-
 
|-
 
|valign="top"|{{Ref|Ma}}||valign="top"| J.N. Mather, "The vanishing of the homology of certain groups of homeomorphisms" ''Topology'', '''10''' (1971) pp. 297–298 {{MR|0288777}} {{ZBL|0207.21903}}
 
|valign="top"|{{Ref|Ma}}||valign="top"| J.N. Mather, "The vanishing of the homology of certain groups of homeomorphisms" ''Topology'', '''10''' (1971) pp. 297–298 {{MR|0288777}} {{ZBL|0207.21903}}
Line 75: Line 75:
 
|valign="top"|{{Ref|Se}}||valign="top"| G.B. Segal, "Classifying spaces related to foliations" ''Topology'', '''17''' (1978) pp. 367–382 {{MR|0516216}} {{ZBL|0398.57018}}
 
|valign="top"|{{Ref|Se}}||valign="top"| G.B. Segal, "Classifying spaces related to foliations" ''Topology'', '''17''' (1978) pp. 367–382 {{MR|0516216}} {{ZBL|0398.57018}}
 
|-
 
|-
|valign="top"|{{Ref|Wa}}||valign="top"| J.B. Wagoner, "Developping classifying spaces in algebraic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110270/a1102706.png" />-theory" ''Topology'', '''11''' (1972) pp. 349–370
+
|valign="top"|{{Ref|Wa}}||valign="top"| J.B. Wagoner, "Delooping classifying spaces in algebraic $K$-theory" ''Topology'', '''11''' (1972) pp. 349–370.  {{ZBL|0276.18012}}
 
|-
 
|-
 
|}
 
|}

Latest revision as of 08:18, 18 February 2022

2020 Mathematics Subject Classification: Primary: 20J05 [MSN][ZBL]

A group having the same constant coefficient homology as the trivial group (cf. also Homology). This means that its classifying space is an acyclic space. In the literature the earliest examples are Higman's four-generator four-relator group [Hi]

$$\langle x_0, x_1, x_2, x_3 : x_{i+1}x_ix_{i+1}^{-1} = x_i^2, i\in \mathbb{Z}/4\rangle$$

and others found in combinatorial group theory [BaGr], [BaDyHe], [BeMi]. Further examples arise in geometry ([Ep], [Ma], [Se], [SaVa], [GrSe]) or as automorphism groups of large objects ([HaMc]; for example, the group of all bijections of an infinite set). Algebraically closed groups are acyclic.

Many proofs of acyclicity of infinitely generated groups rely on the property that all binate groups are acyclic [Be3] (cf. also Binate group). An important result in the plus-construction approach to the higher algebraic $K$-theory of rings and operator algebras is that the infinite general linear group of the cone of a ring is acyclic [Wa], [Be]. Topologically, the plus-construction of a topological space is completely determined by a certain perfect, locally free, and hence acyclic, group [BeCa].

Ubiquity results for acyclic groups include the following:

  • Every group is a normal subgroup of a normal subgroup of an acyclic group. This result has applications to algebraic topology [KaTh].

In contrast to the above are results indicating that acyclic groups have "few" normal subgroups. Thus, the following acyclic groups admit no non-trivial finite-dimensional linear representations over any field:

  • algebraically closed groups;
  • Higman's group [Hi];
  • torsion-generated acyclic groups [Be4];

Moreover, many of the above groups are simple modulo the centre.

References

[AlBe] R.C. Alperin, A.J. Berrick, "Linear representations of binate groups" J. Pure Appl. Algebra, 94 (1994) pp. 17–23 MR1277521 Zbl 0813.20060
[BaDyHe] G. Baumslag, E. Dyer, A. Heller, "The topology of discrete groups" J. Pure Appl. Algebra, 16 (1980) pp. 1–47 MR0549702 Zbl 0419.20026
[BaGr] G. Baumslag, K.W. Gruenberg, "Some reflections on cohomological dimension and freeness" J. Algebra, 6 (1967) pp. 394–409 MR0232827 Zbl 0166.29403
[Be] A.J. Berrick, "An approach to algebraic $K$-theory", Pitman (1982) MR649409 Zbl 0479.18006
[Be2] A.J. Berrick, "Two functors from abelian groups to perfect groups" J. Pure Appl. Algebra, 44 (1987) pp. 35–43 MR0885094 Zbl 0614.20038
[Be3] A.J. Berrick, "Universal groups, binate groups and acyclicity", Proc. 1987 Singapore Group Theory Conf., W. de Gruyter (1989) MR0981847 Zbl 0663.20053
[Be4] A.J. Berrick, "Remarks on the structure of acyclic groups" Bull. London Math. Soc., 22 (1990) pp. 227–232 MR1041135 Zbl 0749.20001
[Be5] A.J. Berrick, "Groups with no nontrivial linear representations" Bull. Austral. Math. Soc., 50 (1994) pp. 1–11 MR1285653 Zbl 0815.20026
[Be6] A.J. Berrick, "Corrigenda: Groups with no nontrivial linear representations" Bull. Austral. Math. Soc., 52 (1995) pp. 345–346 MR1348495 Zbl 0834.20037
[BeCa] A.J. Berrick, C. Casacuberta, "A universal space for plus-constructions" Topology (to appear) MR1670384 Zbl 0933.55016
[BeMi] A.J. Berrick, C.F. Miller, III, "Strongly torsion generated groups" Proc. Cambridge Philos. Soc., 111 (1992) pp. 219–229 MR1142741 Zbl 0762.20017
[Ep] D.B.A. Epstein, "A group with zero homology" Proc. Cambridge Philos. Soc., 68 (1968) pp. 599–601 MR0229692 Zbl 0162.27502 Zbl 0157.30703
[GrSe] P. Greenberg, V. Sergiescu, "An acyclic extension of the braid group" Comment. Math. Helv., 66 (1991) pp. 109–138 MR1090167 Zbl 0736.20020
[HaMc] P. de la Harpe, D. McDuff, "Acyclic groups of automorphisms" Comment. Math. Helv., 58 (1983) pp. 48–71 Zbl 0522.20034
[He] A. Heller, "On the homotopy theory of topogenic groups and groupoids" Ill. Math. J., 24 (1980) pp. 576–605 MR0586797 Zbl 0458.18006
[Hi] G. Higman, "A finitely generated infinite simple group" J. London Math. Soc., 26 (1951) pp. 61–64 MR0038348 Zbl 0042.02201
[KaTh] D.M. Kan, W.P. Thurston, "Every connected space has the homology of a $K(\pi,1)$" Topology, 15 (1976) pp. 253–258 MR0413089 Zbl 0355.55004
[Ma] J.N. Mather, "The vanishing of the homology of certain groups of homeomorphisms" Topology, 10 (1971) pp. 297–298 MR0288777 Zbl 0207.21903
[SaVa] P. Sankaran, K. Varadarajan, "Acyclicity of certain homeomorphism groups" Canad. J. Math., 42 (1990) pp. 80–94 MR1043512 Zbl 0711.57022
[Se] G.B. Segal, "Classifying spaces related to foliations" Topology, 17 (1978) pp. 367–382 MR0516216 Zbl 0398.57018
[Wa] J.B. Wagoner, "Delooping classifying spaces in algebraic $K$-theory" Topology, 11 (1972) pp. 349–370. Zbl 0276.18012
How to Cite This Entry:
Acyclic group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Acyclic_group&oldid=24873
This article was adapted from an original article by A.J. Berrick (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article