Jump to content

CAT(0) group

From Wikipedia, the free encyclopedia

In mathematics, a CAT(0) group is a group with a group action on a CAT(0) space that is properly discontinuous, cocompact, and isometric.[1] These groups always have a finite presentation for which the word problem and conjugacy problem are computable, unlike for arbitrary finitely-presented groups.[2]

References[edit]

  1. ^ Gersten, S. M. (1994). "The automorphism group of a free group is not a CAT(0) group". Proceedings of the American Mathematical Society. 121 (4): 999–1002. doi:10.2307/2161207. MR 1195719.
  2. ^ Bridson, Martin R.; Haefliger, André (1999). "Chapter III.Γ Non-Positive Curvature and Group Theory, Section 1. Isometries of CAT(0) Spaces". Metric spaces of non-positive curvature. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] 319. Berlin: Springer-Verlag. pp. 439–448. ISBN 3-540-64324-9. MR 1744486.