加载中…
We show that a finitely generated group satisfying the falsification by fellow traveller property also satisfies the shortlex falsification by fellow traveller property. This implies that there are finitely many shortlex cone types and, therefore, that the corresponding language of shortlex representatives is a regular language. Following the example of M. Elder, we prove that the converse of the previous statements do not hold.

生成讲解博客的中文版本

生成AI智能校验的中文版本