Клиффорда Параллель

- классификация теоретико-числовых предикатов, введенная независимо С. Клини [1] и А. Мостовским [2]. Через П 0 и одновременно через е 0 обозначается класс всех рекурсивных предикатов. Для всякого k>0 класс е k определяется как класс всех предикатов, выразимых в виде где - квантор существования, R(y, x1, ..., х п)- предикат из класса П k-1, а класс П k определяется как класс предикатов, выразимых в виде где - квантор всеобщности, R( у, x1, ..., х п)- предикат из класса е k-1. Таким о..

- конечномерная ассоциативная алгебра над коммутативным кольцом, впервые рассмотренная У. Клиффордом (W. Clifford) в 1876. Пусть К - коммутативное кольцо с единицей, Е- свободный K-модуль, Q - квадратичная форма на Е. К. А. Квадратичной формы Q(или пары ( Е. Q ))наз. Факторалгебра С(Q)тензорной алгебры Т(Е)А-модуля Епо двустороннему идеалу, порожденному элементами вида где Элементы из Еотождествляются с соответствующими классами смежности в C(Q). Для любых имеет место тождество xу + уx=Ф(x,у..

- теорема, устанавливающая неравенств" между степенью и размерностью специального дивизора на алгебраич. Кривой. Доказана У. Клиффордом (W. Clifford). Пусть X- гладкая проективная кривая над алгебраически замкнутым полем и D- дивизор на X. Пусть deg D- степень, a l(D)- размерность дивизора D. Положительный дивизор наз. Специальным, если l(K-D)>0, где К- канонический дивизор на X. К. Т. Утверждает. Для любого специального дивизора Dсправедливо неравенство причем равенство имеет место, если D..

вполне регулярная полугрупп а,- полугруппа, каждый элемент к-рой является групповым, т. Е. Принадлежит нек-рой подгруппе. Элемент полугруппы будет групповым тогда и только тогда, когда он вполне регулярен (см. Регулярный элемент). Свойство полугруппы Sбыть К. П. Эквивалентно каждому из следующих. 1) для любого имеет место 2) каждый односторонний идеал Iиз Sизолирован, т. Е. Из того, что следует при любом натуральном п. К. П. Наряду с инверсными полугруппами представляют собой один из важн..