Струхаля Число

кольца - множество всех его примитивных идеалов с топологией, замкнутые множества в к-рой суть такие подмножества что Ссодержит всякий идеал, содержащий пересечение всех идеалов из С(ср. Зариского топология). С. П. Кольца Rгомеоморфно С. П. Факторкольца H/J, где l - радикал Джекобсона. С. Н. Является Т 0 -пространством. Если все примитивные идеалы кольца максимальны, то С. П. Оказывается T1 -пространством. С. П. Кольца с единицей компактно. С. П. Бирегулярного кольца (см. Регулярное кольцо )л..

изоморфизм между решетками (структурами) двух однотипных алгебраич. Систем. Для групп исследовался вопрос о том, когда из С. И. Двух групп следует их изоморфизм (см. [1]). Лит.:[1] Курош А. Г., Теория групп, 3 изд., М., 1967. О. А. Иванова. ..

джет,- многочлен jkf, получающийся усечением (формального) ряда Тейлора дифференцируемой функции f. Подробнее, пусть М, N суть С k -многообразия. Тогда k-cтруей из Mв N наз. Класс [ х,f,U] эквивалентных троек ( х, f, U), где - открыто, - отображение класса С k. Эквивалентность определяется так. если х=х' и локальные представления отображений f, f' в хпо отношению к нек-рой паре карт имеют одинаковые производные до k-ro порядка включительно. Пространство С. Jk ( М, N )является C0 -многоо..

вариант конструктивной семантики, предложенный А. А. Марковым (см. [2], [3]). Основное внимание при построении этой системы уделяется одной из проблем семантики - конструктивному истолкованию импликации. Традиционное интуиционистское разъяснение смысла утверждения состоит в том, что выражает осуществимость конструкции ртакой, что если q - произвольная конструкция, подтверждающая А, то ри gв совокупности позволяют отыскать конструкцию, подтверждающую В. Приведенное неформальное разъяснение..