В математической области теории групп группа является аппроксимируемой X (где X — некоторое свойство групп), если она «может быть восстановлена из групп со свойством X ».
Формально группа G аппроксимируема X , если для каждого нетривиального элемента g существует гомоморфизм h из G в группу со свойством X, такой что .
Более категорично , группа является аппроксимируемой X , если она вкладывается в свое про- X -пополнение (см. проконечная группа , про-p-группа ), то есть в обратный предел обратной системы, состоящей из всех морфизмов из G в некоторую группу H со свойством X.
Важные примеры включают в себя: