Cтраница 2
Таким образом, основная теорема сводится к доказательству следующего утверждения. [16]
Итак, доказательство основной теоремы сводится к доказательству следующего утверждения. [17]
Если учесть теорему 22, дело сводится к доказательству следующего утверждения: для любого Р - оператива А существует элементарный Р - опера-тив Л такой, что решетки Sub - Л и Sub Л изоморфны. [18]
Теперь в силу ( 5) и условия ( i) наша теорема сводится к доказательству следующего утверждения. [19]
Как обычно, транзитивность определяется условием М D W ( E) l Большую часть главы III занимает доказательство следующего утверждения, представляющего независимый интерес. [20]
Это опредедение и многие факты, касающиеся расшдо деревьев, моашо яайиа, например, в книге f 17 ], В частности, там приведено доказательство следующего утверждения. [21]
Зигелевские множества, удовлетворяющие условию ( а), будем называть правильными. Задачей этого пункта является доказательство следующего утверждения. [22]
Согласно предложению I множество J счетно и замкнуто. Цель этого параграфа состоит в доказательстве следующего утверждения. [23]
Эта книга содержит много примеров доказательств, использующих трансфинитную индукцию. Одним из таких примеров может служить доказательство следующего утверждения. [24]
Одновременное рассмотрение пар ( V, Л), ( У, Л) часто приводит к практическим результатам. Одним из содержательных примеров этого является доказательство следующего утверждения. [25]
Целью этого пункта является доказательство следующего утверждения. [26]
Следовательно, для доказательства леммы достаточно показать, что для задачи погружения Рр исчезает второе препятствие. Мы покажем больше, а именно, что задача погружения Рр разрешима. Таким образом, речь идет о доказательстве следующего утверждения: для разрешимости задачи погружения ( k / tt G y), где fi - локальное поле и k - алгебра, достаточно исчезновения первого препятствия. Применить здесь прямо теорему 4 работы [1] нельзя, так как там все рассуждения велись для случая, когда k - поле. [27]
Решетка, соответствующая пустой системе корней, является решеткой Лича. Этот метод требует большого объема вычислений и не в состоянии объяснить происхождение странного списка ( 1) систем корней. В этой главе предлагается другой подход к классификации 24-мерных четных унимодулярных решеток, основанный на априорном доказательстве следующего утверждения: система корней 24-мерной решетки есть одна из систем ( 1), и каждая система корней из ( 1) может быть реализована одним и только одним способом как система корней такой решетки. [28]
Согласно ВЗ достаточно показать, что 10еС в обозначениях нз ВЗ. Если б - брауэрова элементарная, то это очевидно. Теперь индукция по С вследствие транзитивности индуцирования ( 1Ж6 ( 4)) сводит доказательство теоремы к доказательству следующего утверждения. [29]