Стинрода алгебра

- градуированная алгебра А р над полем [img: http://localhost:8080/file/051957-69.jpg] стационарных когомологических операцийmodp. Для любого пространства (спектра пространств) X группа [img: http://localhost:8080/file/051957-70.jpg] является модулем над С. а. А p. С. [img: http://localhost:8080/file/051957-71.jpg] а<2b, так что аддитивный базис (над [img: http://localhost:8080/file/051957-72.jpg] С. а. A2 состоит из операций Sqi1,..., Sqir, [img: http://localhost:8080/file/051957-73.jpg] (т. н. базис Картана - Серра). Аналогичное верно и для А р с р>2. Далее, [img: http://localhost:8080/file/051957-74.jpg] где [img: http://localhost:8080/file/051957-75.jpg] - Эйленберга - Маклейна пространство. Умножение [img: http://localhost:8080/file/051957-76.jpg] задает в С. а. диагональ [img: http://localhost:8080/file/051957-77.jpg], являющуюся гомоморфизмом алгебр и, следовательно, превращающую А р в Хопфа алгебру.