Cтраница 2
Из индуктивного предположения следует, что функция / - наследственно нежесткая. [16]
По индуктивному предположению все наследственно неплотные функции менее чем от п аргументов реализуются бесповторными термами. [17]
По индуктивному предположению, алгебра In ft разлагается в прямую сумму своих простых подалгебр, являющихся в ней двусторонними идеалами. [18]
По индуктивному предположению каждое из четырех слагаемых равно нулю. [19]
По индуктивному предположению / имеет жорданов базис. [20]
По индуктивному предположению / i ( m) примитивно рекурсивны. [21]
По индуктивному предположению ограничение f иа LI диагонализируется в ортонормированном базисе L. Добавив к нему вектор / 0 е L0, / o 1, получим требуемый базис в L. [22]
По индуктивному предположению, алгебра In fe разлагается в прямую сумму своих простых подалгебр, являющихся в ней двусторонними идеалами. [23]
По индуктивному предположению, примененному к Af / Г - действию на M f, заключаем ( ввиду конечности группы ( Nf ] H) / T), что dirnMr dim ( MJ) т т ( n - d dlm ( N / T)) - dim ( N / T) - г n - d - г, как и утверждалось. Если М - рационально гомологическая сфера с Мт ф, то Мт - Ml - тоже рационально гомологическая сфера по III.10.10, и можно применить приведенные выше рассуждения. [24]
По индуктивному предположению множество критических значений отображения g имеет меру нуль. Следовательно, множество gh ( Dii ( ] V) имеет меру нуль. [25]
По индуктивному предположению группа М2 расщепляема и не может быть симметрической группой подстановок четырех символов, так как она является расширением нильпотентной группы с помощью циклической группы. Случаи, когда максимальная инвариантная подгруппа - примарная группа или ЯГ-группа, уже рассмотрены. Поэтому можно считать, что М2 является группой Фробениуса и ее инвариантная подгруппа F сг ( так как с индуцирует в F нерегулярные автоморфизмы) лежит в инвариантном множителе. [26]
По индуктивному предположению то же верно и для второго члена. [27]
По индуктивному предположению найдется Ъ G S такое, что bil l определено. Вновь по индуктивному предположению найдем Ь G S такое, что b t2 определено. [28]
По индуктивному предположению, ф, х Хт равномерно примитивно-рекурсивны относительно 9, ЧГ. [29]
По индуктивному предположению, существуют машины 2Лф и 2ЛХ, 1 / 1 -вычисляющие функции ф и х соответственно. Мы произведем ряд операций, чтобы получить следующую ситуацию ( соответствующую ситуации 6 для случая ( IV)), в предположении, что все требуемые значения функций определены. [30]