Articles by others on the same topic (1)

For a non-elementary discrete subgroup generated by , the displayed inequality is a necessary trace constraint. Failure of it proves nondiscreteness when non-elementarity has independently been checked. It is not a sufficient condition for discreteness and must not be applied to an elementary pair without its hypothesis.