Coxeter groups have a number of special properties not shared by all groups. These include that their word problem is decidable (that is, there exists an algorithm that can determine whether or not any given product of the generators is equal to the identity element) and that they are linear groups (that is, they can be represented by a group of invertible matrices over a field).