Искажения Теоремы

- простое нечетное число р, для к-рого число классов идеалов кругового поля R( е 2pi/р). Делится на р. Все остальные простые нечетные числа наз. Регулярными. Признак Куммера позволяет для каждого данного простого числа решить вопрос о том, будет ли оно регулярным или нет. Для того чтобы нечетное простое число рбыло регулярным, необходимо и достаточно, чтобы ни один из числителей первых Бернулли чисел В 2, В 4, . ., В р-3 не делился на р(см. [1]). В связи с этим результатом возник вопрос..

- численный инвариант неособого проектного алгебраич. Многообразия, равный размерности его Пикара многообразия. В случае, когда основное поло имеет характеристику нуль (или, более общо, если схема Пикара многообразия Xприведена), И. Совпадает с размерностью пространства Н 1( Х, О X )первых когомологий с коэффициентами в структурном пучке. Многообразия с ненулевой И. Наз. Иррегулярными, а многообразия с нулевой И.- регулярными. Иногда для полной линейной системы |D| на многообразии X i-й ирре..

..

- закон классической логики, состоящий в том, что одно из двух высказываний "Л" и "не Л" является истинным. В математической логике И. Т. З. Выражается формулой где - знак дизъюнкции, - знак отрицания. С интуиционистской (конструктивной) точки зрения установление истинности высказывания вида означает установление истинности Аили истинности Поскольку не существует общего метода, позволяющего для каждого высказывания за конечное число шагов установить его истинность или истинность его отрицани..