Топология 

 на группе 

 называется дополняемой, если существует такая недискретная топология 

 на 

, что 

 для подходящих окрестностей 

 и 

 нуля в топологиях 

 и 

. Получен критерий дополняемости произвольной топологии. Описаны локально компактные группы с дополняемыми топологиями. Доказана компактность группы, все непрерывные гомоморфные образы которой полны. На любой бесконечной группе определено семейство 

 попарно взаимно-дополняемых топологией.