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]

  1. ^ Cite error: The named reference gersten was invoked but never defined (see the help page).
  2. ^ Cite error: The named reference bridson-haefliger was invoked but never defined (see the help page).