В предположении леммы Буса получено отрицательное решение проблемы В. И. Арнаутова: верно ли, что каждую недискретную топологию на группе можно усилить до дискретной полной?
У припущенні леми Буса отримано негативне рішення проблеми В. І. Арнаутова: чи вірно, що кожну недискретну топологію на групі можна посилити до недискретної повної?