This conjecture is false if topological manifolds and homeomorphisms are replaced by smooth manifolds and diffeomorphisms; counterexamples can be constructed by taking a connected sum with an exotic sphere. Гипотеза неверна, если топологические многообразия и гомеоморфизмы замещаются гладкими многообразиями и диффеоморфизмами; контрпримеры можно построить, рассмотрев связную сумму с экзотической сферой.
Given an action of a group G on a topological space X by homeomorphisms, a fundamental domain for this action is a set D of representatives for the orbits. Если задано действие группы G на топологическом пространстве X посредством гомеоморфизмов, фундаментальная область для таких действий — это множество D представителей орбит.