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. These groups always have a finite presentation for which the word problem and conjugacy problem are computable, unlike for arbitrary finitely-presented groups.