Эта серия сообщений имеет своей конечной целью вычисление в явном виде групп гомологии и когомологнй пространств типа К (pi, n). В дальнейшем через Л обозначается некоторое коммутативное кольцо
с единицей I != 0. Кольцо Л будет предполагаться заданным раз навсегда, в связи с чем под «модулями» будут пониматься унитарные Л-модули под «алгебрами»—унитарные) алгебры над кольцом Л. В конкретных приложениях кольцо Л будет, как правило, либо кольцом Z целых чисел, либо полем Zр вычетов по простому модулю р.