Представленная группа

Cтраница 1

Представленная группа состоит из входящих один в другой пяти районов. Самый маленький - это муниципальный район Манхэттен в Нью-Йорке, сильно перенаселенный, с большим количеством жилых домов и с еще большим количеством рабочего населения. [1]

Конечно представленная группа достижима. [2]

Конечно представленная группа G с контекстно свдОодной проблемой слов имеет более одного конца. [3]

Существует конечно представленная группа, содержащая в качестве своих подгрупп изоморфные копии всех конедно представленных групп. [4]

Требования нормативных документов к депозитарной. [5]

Рассмотрим более подробно представленные группы требований. [6]

Каждая из представленных групп может быть проанализирована различными способами. [7]

Каждая из представленных групп может быть проанализирована различными способами. [8]

Множество всех конечно представленных групп счетно, и поэтому существует счетная группа Я ( например, прямое произведение всех конечно представленных групп), содержащая изоморфные копии всех конечно представленных групп. Теперь по теореме 2.2.6 эта счетная группа может быть вложена в группу G с двумя образующими, и нетрудно видеть, что группа G задается реккурсивно перечислимым множеством определяющих соотношений. [9]

Это возможно, если представленная группа атомов ABjQ образует с соседними атомами минимум четыре а-связи, что выполняется при соблюдении трех условий: 1) атомы В должны образовывать не менее двух а-связей; 2) атомы С должны быть связаны с атомом А, если атомы В двухвалентны; 3) центральный атом А должен иметь к. [10]

Сложные втулки ступенчатой формы. [11]

Составляя технологию обработки втулок любой из представленных групп, необходимо иметь в виду одну общую их особенность: при установке ступеней втулки одной стороной удобно обрабатывать только те ступени, которые в отверстии расположены в порядке убывания диаметров, а на наружной поверхности - в порядке возрастания диаметров; остальные ступени удобно обрабатывать только при установке втулки другой стороной. [12]

Принципы оценки варьируют в зависимости от каждой из представленных групп. [13]

Чтобы с помощью теоремы 7.2.6 построить пример конечно представленной группы с неразрешимой проблемой равенства слов, поступим следующим образом. Имея под рукой этот результат, уже очень легко построить пример конечно представленной группы с неразрешимой проблемой слов. [14]

Как было замечено в главе 5, каждая конечно представленная группа реализуется в виде фундаментальной группы 4-мно-гообразия. Этот факт вместе с неразрешимостью проблемы изоморфизма был использован А. А. Марковым [15] для доказательства алгоритмической неразрешимости проблемы изоморфизма для 4-многообразий. Работа Маркова была последовательно обобщена Буном, Хакеном и Поенарю [37] на диффео-морфную, а также комбинаторную эквивалентность. В отличие от того, что возникает при работе с группами, в данном случае некоторое внимание должно быть обращено на описание многообразия, к которому применяются критерии проблемы разрешения. [15]

Страницы: 1 2 3