Пусть p -- простое число. Абелева группа C называется p-контраприспособленной, если Ext Z 1 ( Z [p −1 ], C) = 0. Нетрудно видеть, что для любой p-контраприспособленной абелевой группы C естественное отображение в проективный предел C → lim n C/p n C сюръективно. Верно ли обратное, или (что казалось бы более вероятным) можно привести пример не-p-контраприспособленной абелевой группы A с сюръективным отображением A → lim n A/p n A ? Нетрудно убедиться, что такая группа A обязана содержать нетривиальные элементы p-кручения. Update: Ага, да: есть вроде бы у меня довольно замысловатый контрпример, конструкция которого использует ультрафильтры и черта в ступе. Сейчас соберусь, может быть, с мыслями и запишу его здесь. Uupdate: ну, или если не ультрафильтры, то аксиому выбора (инъективность делимых абелевых групп) уж во всяком случае. Uuupdate: в общем, короче, идея такая. В категории абелевых групп есть две подкатегории: подкатегория p-полных в наивном смысле (или, точнее сказать, p-полных и p-отделимых) абелевых групп (для которых C → lim n C/p n C -- изоморфизм) и подкатегория p-контрамодулей; вторая содержит первую. Функторы вложения обеих подкатегорий имеют левые сопряженные (как бы проекторы на соответствующие подкатегории). Для подкатегории p-полных абелевых групп такой функтор как раз переводит C в lim n C/p n C, а для подкатегории p-контрамодулей этот функтор вычисляется как Ext Z 1 ( Z [p −1 ]/ Z , C). Теперь p-контраприспособленные абелевы группы -- это в точности те, для которых естественное отображение в их p-контрамодульную аппроксимацию C → Ext Z 1 ( Z [p −1 ]/ Z , C) сюръективно. Пусть C -- какой-нибудь p-контрамодуль, не являющийся p-полной абелевой группой в наивном смысле; реально это значит, что C не p-отделим, т.е. пересечение подгрупп p n C в C не равно нулю. Обозначим это пересечение через D; тогда lim n C/p n C = C/D. Искомый контрпример не-p-контраприспособленной абелевой группы A будет собственной подгруппой в C, которая должна удовлетворять двум условиям: она сюръективно проецируется на C/D, и факторгруппа C/A является Z [p −1 ]-модулем. Почему этого достаточно? В самом деле, Z /p n Z ⊗ Z C = (ввиду второго условия) = Z /p n Z ⊗ Z A, так что lim n A/p n A = lim n C/p n C = C/D, и (ввиду первого условия) отображение A → lim n A/p n A сюръективно. С другой стороны, если бы группа A была p-контраприспособленной, то она была бы p-контрамодулем, поскольку p-делимых подгрупп в ней нет (поскольку их нет в C); тогда p-контрамодулем была бы и факторгруппа C/A, что невозможно для ненулевой p-делимой группы. Чтобы построить такую подгруппу A ⊂ C, рассмотрим конкретный пример не p-отделимого p-контрамодуля C, а именно, классический пример, где C является факторгруппой группы всех сходящихся к нулю последовательностей целых p-адических чисел c 0 , c 1 , c 2 , … по подгруппе всех последовательностей вида e 0 , pe 1 , p 2 e 2 , …, где последовательность целых p-адических чисел e i также стремится к нулю. Подгруппа D = ∩ n p n C состоит из классов всех последовательностей вида d 0 , pd 1 , p 2 d 2 , …, где последовательность целых p-адических чисел d i сходиться к нулю уже не обязана, а может быть произвольной. Группа D, таким образом, изоморфна факторгруппе группы всех последовательностей целых p-адических чисел по подгруппе последовательностей, сходящихся к нулю. Нетрудно видеть, что в такую группу можно вложить в качестве подгруппы прямую сумму счетного числа копий группы целых p-адических чисел (разбить множество индексов i в объединение счетного числа счетных множеств, рассмотреть прямую сумму счетного числа копий диагональных вложений Z p в прямое произведение счетного числа копий Z p каждая, заметить, что такая последовательность не может сходиться к нулю, если она не нулевая). Прямую сумму счетного числа копий группы целых p-адических чисел можно сюръективно отобразить на группу всех рациональных p-адических чисел. Полученное сюръективное отображение из подгруппы в D на Q p продолжается на всю группу D и далее на C, поскольку Q p делима. Возьмем в качестве подгруппы A ⊂ C ядро полученного сюръективного гомоморфизма групп C → Q p . Поскольку отображение D → C/A = Q p сюръективно, сюръективно и отображение A → C/D.