Аннотация:
ТЕОРЕМА. Функтор $P(m)_{*}(\,)\otimes_{\pi*(P(m))}M$ является теорией когомологий
тогда и только тогда, когда для любого $n\geqslant m$ гомоморфизм
$\nu_n\colon M/(\nu_m,\dots,\nu_{n-1})M\to M/(\nu_m,\dots,\nu_{n-1})M$ мономорфен. В работе
доказана вторая половина теоремы; утверждение “тогда” известно (РЖ Мат., 1976, 9А492). Библиогр. 11 назв.