Вы здесь

Определяемость абелевых групп своими подгруппами и почти изоморфизм