Сравнения Признак

- сравнение, в к-ром модуль является простым числом. Отличительной чертой теории С. По п. М. Является то, что классы вычетов по модулю . Образуют конечное поле из рэлементов. Поэтому С. По п. М. Можно трактовать как уравнения над простыми конечными полями и применять для их изучения, наряду с методами теории чисел, алгебро-геометрические методы. Одним из основных вопросов теории сравнений от одного переменного х, имеющим важное значение в теории алгебраич. Чисел, теории кодирования и других р..

- отношение порядка в множестве всех топологий в одном и том же множестве. Топология мажорирует топологию (или не слабее если тождественное отображение где Xi - множество X, наделенное топологией i=l, 2, непрерывно. Если, кроме того, то сильнее (а слабее Следующие предложения равносильны. 1) мажорирует 2) Каково бы ни было всякая окрестность хв топологии есть окрестность хв топологии 3) Для любого замыкание Ав топологии индуцирует замыкание Ав топологии 4) Всякое множество из ..

в теории дифференциальных уравнений- теорема, утверждающая наличие определенного свойства решений дифференциального уравнения (или системы дифференциальных уравнений) в предположении, что нек-рым свойством обладает вспомогательное уравнение или неравенство (система дифференциальных уравнении пли неравенств). П р и м е р ы С. Т. 1) Теорема Ш т у р м а. Любое нетривиальное решение уравнения обращается в нуль на отрезке [t0, t1] не более траз если этим свойством обладает уравнение и при (с..

в алгебраической геометрии - теоремы о связях между гомотопическими инвариантами схем конечного типа над полем в классической и этальной топологиях. Пусть X - схема конечного типа над a F - конструктивный периодический пучок абелевых групп на Тогда Fиндуцирует пучок на Xв классической топологии и существуют канонич. Изоморфизмы С другой стороны, конечное топологич. Накрытие гладкой схемы Xконечного типа над имеет единственную алгебраич. Структуру (теорема существования Римана). Поэтому [1..