Cтраница 2
Прямое произведение двух подгрупп, определенное в § 4, - частный случай этого общего понятия. [16]
Прямое произведение нескольких циклических групп равных порядков называется гомоциклической группой. [17]
Прямые произведения, фильтрованные произведения и ультрапроизведения - все они играют важную роль в теории моделей. Фильтрованные произведения изучались Фрейном, Море-лом и Скоттом [1962]; некоторые из основных идей восходят также к Чзну, Лосю [ 1955а ] и Тарскому. Тот факт, что хорнов-ские предложения устойчивы относительно прямых произведений, был доказан Хорном [1951], а их устойчивость относительно фильтрованных произведений доказана Чэном. Обратный результат, что предложения, устойчивые относительно фильтрованных произведений, эквивалентны хорновским предложениям, был доказан Кейслером [ 1965d ] в предположении континуум-гипотезы. [18]
Прямые произведения в категории колец существуют. [19]
Прямые произведения и другие конструкции для топологических колец и модулей рассматриваются в [2], гл. [20]
Прямые произведения и прямые суммы в категории А-моду лей существуют. [21]
Прямое произведение непрерывно относительно сомножителей. [22]
Прямые произведения называют еще кратко произведениями, а свободные произведения - копроизведениями. Однако существование этих произведений определениями не обеспечивается, и в нужных случаях это существование приходится постулировать. [23]
Прямое произведение ( сильно) конструктивных моделей также ( сильно) конструктивно. [24]
![]() |
Инварианты подпространства оператора, не имеющего чисто мнимых собственных чисел.| Все неустойчивые узлы топологически эквивалентны. [25] |
Прямые произведения топологически эквивалентных систем топологически эквивалентны. [26]
Прямое произведение е 1 21 У ограниченных неприводимых представлений е ( 1) и е 2 группы G неприводимо, если размерность представления е 1) / ли еЯ 2 раека 1; в противном случае МЛ е 2) вполне приводимо. С помощью этого последнего факта можно из данного неприводимого представления группы G получать новые ее неприводимые представления. [27]
Прямое произведение модулей инъективно в том и только в том случае, если каждый сомножитель инъективен. [28]
Прямое произведение GxH любых двух групп G и Н является группой. Прямое произведение абелевых групп абелево. [29]
Прямое произведение модулей инъективно в том и только в том случае, если каждый сомножитель инъективен. [30]