CAT(0) group
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]- ^ 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.
- ^ 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.
 | This abstract algebra-related article is a stub. You can help Wikipedia by expanding it. |
 | This geometry-related article is a stub. You can help Wikipedia by expanding it. |