Cтраница 1
Полупрямое произведение групп Ли определяется как полупрямое произведение абстрактных групп, снабженное дифференцируемой структурой как прямое произведение дифференцируемых многообразий. [1]
Полупрямое произведение групп Ли Gi и G2 определяется как полупрямое произведение абстрактных групп, снабженное дифференцируемой структурой как прямое произведение дифференцируемых многообразий. [2]
Она является полупрямым произведением группы Лоренца и ( бесконечномерной) группы супертрансляций, а группа Пуанкаре - полупрямым произведением группы Лоренца и 4-параметрической группы трансляций. Эта особенность группы ВМС приводит к тому, что в нее невозможно каноническим образов вложить подгруппу Пуанкаре, иными словами существует бесконечное множество вариантов групп Пуанкаре. [3]
Эта группа называется полупрямым произведением групп N и G и обозначается через N X ] G. В результате действие группы G на N реализуется внутренними автоморфизмами. [4]
Случай, когда G является полупрямым произведением группы G на N, более тонок. [5]
Так как группа G изоморфна над k полупрямому произведению групп G / GU и Gu ( теорема 10.6), и X ( GM) 1, то, очевидно, отображение я: X ( G / GM) - X ( G), индуцированное проекцией я: G - G / GU, является изоморфизмом. [6]
Для доказательства следует лишь принять в качестве О полупрямое произведение группы D и Я. [7]
Группа S, определенная в предложении 27, называется внешним полупрямым произведением групп N и L ( относительно а); при этом N ( соотв. L) обычно отождествляют с нормальным делителем Ji ( N) ( соотв. В случае, когда а У есть нейтральный элемент группы Г для каждого у. [8]
Положим C CAut ( G) ( S) и рассмотрим полупрямое произведение групп G и С. [9]
В книге рассматривается обратная ситуация, в которой калибровочные поля, структурной группой которых служит полупрямое произведение группы трансляций Т ( 3) и группы вращений SO ( 3), привлечены для описания дефектов сплошной среды. Последовательное применение калибровочного подхода позволило авторам вывести лагранжиан для полей, описывающих дефекты сплошной среды. Полная система уравнений ( являющихся в данном случае структурными уравнениями Картана) дала возможность совместно представить эволюцию напряжений в среде и динамику дефектов. [10]
Она является полупрямым произведением группы Лоренца и ( бесконечномерной) группы супертрансляций, а группа Пуанкаре - полупрямым произведением группы Лоренца и 4-параметрической группы трансляций. Эта особенность группы ВМС приводит к тому, что в нее невозможно каноническим образов вложить подгруппу Пуанкаре, иными словами существует бесконечное множество вариантов групп Пуанкаре. [11]
Докажите, что евклидова группа Е ( т), состоящая из всех сдвигов и вращений пространства Rm, является полупрямым произведением группы вращений SO ( m) и векторной группы Rm, причем SO ( m) действует на R 1 как группа вращении. [12]
Так как gf отвечает пара ( tg th, n ( g) A ( f) n ( /)), то отображение g - ( tg9 n ( g)) есть непрерывное гомоморфное отображение G в полупрямое произведение группы линейных преобразований At на N. По условию А неподвижных элементов в N не имеет, поэтому гомоморфизм будет изоморфизмом. Мы получили, что G изоморфна полупрямому произведению двух групп Ли. Следовательно, G есть группа Ли, а для групп Ли лемма заведомо справедлива. [13]
Слова орбитальная эквивалентность выше относятся к действию группы Diff на пространстве векторных полей. Группа Diff является полупрямым произведением группы диффеоморфизмов фазового пространства на мультипликативную подгруппу единиц в кольце гладких функций на фазовом пространстве. Действию группы Diff на пространстве векторных полей ( расширению присоединенного представления группы Ли Diff на своей алгебре Ли) отвечает линейное представление алгебры Ли группы Diff на алгебре Ли всех ( гладких) векторных полей. С помощью операции внешнего умножения на фиксированное векторное поле это представление проектируется на пространство бивекторных полей на фазовом пространстве. Точнее, проекция представления дается действием производной Ли вдоль фиксированного проекцией векторного поля на пространстве бивекторных полей. [14]
Начнем с замечания, что интегрирование по х при фиксированном g является гауссовским. Именно эта группа есть полупрямое произведение группы диффеоморфизмов Она. [15]