Cocompact group action
ریاضی میں، کسی ٹوپوولوجیکل اسپیس X پر گروپ G کا عمل کوکمپکٹ ہوتا ہے اگر کوشیئنٹ اسپیس X/G ایک کمپیکٹ اسپیس ہو۔ اگر X مقامی طور پر کمپیکٹ ہے، تو اس کے مساوی شرط یہ ہے کہ X کا ایک کمپیکٹ سب سیٹ K اس طرح ہو کہ G کے عمل کے تحت K کی شبیہہ X کا احاطہ کرے۔ اسے بعض اوقات ایمپیکٹ کہا جاتا ہے، جو دوہری تصورات کا زبان میں گال کا حوالہ ہے جہاں "کو-" کے ساتھ دو بار جوڑنے سے "منسوخ" ہو جائے گا۔ حوالہ جات گروپ ایکشن (ریاضی)