P-отделимая Группа

- группа, каждый неединичный элемент к-рой есть р- элемент, т. ..

группа Барсотти - Тейта,- обобщение понятия коммутативной формальной группы. Гомоморфизм, индуцируемый умножением на простое число р, является эпиморфизмом, для р-Д. Г. Пусть S- схема, р- простое число. Р-делимой. Группой высоты hназ. Индуктивная система G=(Gn, in )коммутативных конечных групповых схем. Gn порядка pnh такая, что последовательности являются точными (здесь jn - гомоморфизм умножения на р n). Морфизм р-Д. Г. Есть морфизм индуктивных систем. Р-Д. Г. Наз. Связной (соответственн..

- обобщение понятия разрешимой группы. Пусть p - нек-рое множество простых чисел. Конечная группа, каждый индекс композиционного ряда к-рой либо не делится ни на одно число из p, либо совпадает с нек-рым числом из p, наз. P-р а з р е ш и м о й г р у п п о й. Основные свойства p-Р. Г. Подобны свойствам разрешимых групп. P-Р. Г. Является p1 Р. Г. Для любого . Подгруппы, факторгруппы и расширения p-Р. Г. С помощью p-Р. Г. Также являются p-Р. Г. В p-Р. Г. Gкаждая p-п о д г р у п п а (т. Е. Подгруп..

стационарная двойственность, Спеньера двойственность, - двойственность в теории гомотопии, имеющая место (при отсутствии ограничений на размерность пространств) для аналогов обычных гомотопич. И когомотопич. Групп в надстроечной категории - для S-гомотопич. И S-когомотопнч. Групп или стационарных групп гомотошш и когомотопий, образующих экстраординарные (обобщенные) теории гомологии и когомологий. Надстроечной категорией, или S-к атегорией, наз. Категория, объектами к-рой являются топологич. Пр..