ОРТОГОНАЛЬНАЯ ГРУППА

ОРТОГОНАЛЬНАЯ ГРУППА

группа всех линейных преобразований n-мерного векторного пространства Vнад полем k, сохраняющих фиксированную невырожденную квадратичную форму Q на V(т. е. таких линейных преобразований j, что Q(jn(v))=Q(v) для любого ). О. г. принадлежит к числу классических групп. Элементы О. г. наз. ортогональными (относительно Q).преобразованиями V, а также автоморфизмами формы Q. Пусть, далее, char (об О. г. над полями характеристики 2 см [l], [7]) и f - связанная с Qневырожденная симметрич. билинейная форма на V, определенная формулой


Тогда О. г. состоит в точности из тех линейных преобразований пространства V, к-рые сохраняют f, и обозначается через On(k, f) или (когда ясно о каком поле kи форме f идет речь) просто через О n. Если В - матрица f в каком-либо базисе пространства V, то О. г. может быть отождествлена с группой всех таких (nХn)-матриц Ас коэффициентами в k, что ( -транспонирование).

Описание алгебраич. строения О. г. составляет предмет классич. исследований. Определитель любого элемента из О п равен 1 или -1. Элементы с определителем 1 наз. вращениями; они образуют в О. г. нормальный делитель (или просто ) индекса 2, наз. группой вращений. Элементы из наз. переворачиваниями. Всякое вращение (переворачивание) является произведением четного (нечетного) числа отражений из О п. Пусть Zn - группа всех гомотетий , пространства V. Тогда - это центр On он состоит из двух элементов: j1 и jn-1. Если пнечетно, то О п является прямым произведением своего центра и . Центр при тривиален, если пнечетно, и совпадает с центром О п, если п четно. Если же п=2, то группа коммутативна и изоморфна либо мультипликативной группе поля k(в случае, когда индекс Витта v формы f равен 1), либо группе элементов с нормой 1 в поле , где D - дискриминант формы f (в случае, когда v=0). Коммутант группы On(k, f) обозначается через Wn(k, f) или просто Wn; он порождается квадратами элементов из О п. При коммутант группы совпадает с Wn. Центр группы Wn имеет вид

Классич. группами, связанными с О. г., являются также канонич. образы и в проективной группе;они обозначаются и (или просто

и ) и изоморфны соответственно и

Основные классич. факты об алгебраич. структуре О. г. относятся к описанию последовательных факторов следующего ряда нормальных делителей в О. г.


Группа имеет порядок 2. Всякий элемент в имеет порядок 2, ввиду чего строение этой группы полностью определяется кардинальным числом ее элементов, к-рое может быть либо бесконечным, либо конечным вида 2a, а - целое. Описание остальных факторов существенно зависит от того, отличен ли от нуля индекс Витта v формы f.

Пусть сначала . Тогда при Этот изоморфизм определен спинорной нормой, к-рая задает эпиморфизм на с ядром Wn. Группа нетривиальна (и состоит из преобразований j1 и j-1) тогда и только тогда, когда п-четно и Если , то группа проста. Случаи n=3, 4 рассматриваются отдельно. А именно, PW3=W3 изоморфна PSL2(k).(см. Специальная линейная группа).и также проста, если число элементов в А; не равно 3 (группа изоморфна проективной группе PGL2(k)). При v=l группа РW4=W4 изоморфна группе и проста (в этом случае ), а при v=2 группа PW4 изоморфна и не проста. В частном случае, когда и Q - форма сигнатуры (3, 1), группа наз. группой Лоренца.

В случае же, когда v=0 (т. е. Q - анизотропная форма), многие из указанных результатов не верны. Напр., если , a Q - положительно определенная форма, то , хотя состоит из двух элементов; при k=Q, n=4, возможен случай, когда , но . Вообще при v=0 структура О. г. и связанных с ней групп существенно зависит от k. Напр., если k=, то , , , v=0, проста (а изоморфна прямому произведению двух простых групп); если же k - поле р-адических чисел, то при v=0 в O3 (и в 04) существует бесконечный ряд нормальных делителей с абелевыми факторами. Наиболее изучены случаи локально компактного поля и поля алгебраич. чисел. Если k - поле р-адических чисел, то случай v=0 невозможен при . Если же k - поле алгебраич. чисел, то такого ограничения нет и один из основных результатов состоит в том, что РWn при v=0 и n>=5 проста. В этом случае изучение О. г. тесно связано с теорией эквивалентности квадратичных форм, к-рая основывается на рассмотрении форм, полученных из Qпри расширении kдо локальных полей, определенных нормированиями А: (принцип Хассе).

Если k - конечное поле из qэлементов, то О. г. является конечной группой. Порядок при нечетном правен


а при n=2m равен


где при и в противном случае. Указанные формулы вместе с приведенными общими фактами об О. г. при позволяют вычислить также и порядки Wn и PWn, так как при , а порядок равен 2. Группа PWn,, является одной из классических простых конечных групп (см. также Шевалле группа).

Одни из основных результатов об автоморфизмах О. г. состоит в следующем: если , то всякий автоморфизм j группы О п имеет вид , , где - фиксированный гомоморфизм О п в ее центр, a g - фиксированное биективное полулинейное отображение V в себя, удовлетворяющее условию для всех , где , а s - связанный с gавтоморфизм k. Если и , то всякий автоморфизм индуцирован автоморфизмом Оn (см. Ц], [3]).

Так же, как и другие классич. группы, О. г. допускает (при нек-рых предположениях) геометрпч. характери-зацию. А именно, пусть Q - такая анизотропная форма, что для любого . В этом случае k - ппфагорово упорядочиваемое поле. При фиксированном упорядочении поля kn-мерной цепью инцидентных полупространств в Vназ. любая последовательность , построенная по линейно независимой системе векторов , где HS - множество всех линейных комбинаций вида Группа О п обладает свойством свободной подвижности, т. е. для любых двух n-мерных цепей полупространств существует единственное преобразование из О п, переводящее первую цепь во вторую. Это свойство характеризует О. г.: если L - любое упорядоченное тело и G - подгруппа в GLn(L),, обладающая свойством свободной подвижности, то Lявляется пифагоровым полем, a G=On(L, f), где f - такая анизотропная симметрич. билинейная форма, что для любого вектора v.

Пусть - фиксированное алгебранч. замыкание поля k. Форма f естественно продолжается до невырожденной симметрич. билинейной формы на , а О. г. является определенной над k линейной алгебраической группой с группой k-точек On(k, f). Определяемые таким образом (для разных f) линейные алгебраич. группы изоморфны над (но, вообще говоря, не над k);соответствующая линейная алгебраич. группа над наз. ортогональной алгебраической группой . Ее подгруппа также является линейной алгебраич. группой над и наз. собственно ортогональной, или специальной ортогональной, алгебраической группой (обозначение: ); она является связной компонентой единицы группы Группа - почти простая алгебраич. группа (т. е . не содержащая ненульмерных алгебраич. нормальных делителей) типа Bs при n=2s+1, , и типа Ds при n=2s, . Универсальной накрывающей группы SOn является спинорная группа.

Если или p-адическое поле, то On(k, f).естественно снабжается структурой вещественной, комплексной или р-адической аналитической группы. Группа Ли определяется с точностью до изоморфизма сигнатурой формы f; если эта сигнатура имеет вид ( р, q), p+q=n, то обозначается через О( р, q).и наз. псевдоортогональной группой. Ее можно отождествить с группой Ли всех действительных (nхn)-матриц А, удовлетворяющих условию


(через 1s обозначена единичная (sХs)-матрица); алгебра Ли этой группы отождествляется с алгеброй Ли всех действительных (nХn)-матриц X. удовлетворяющих условию . В частном случае q=О группа O( р, q).обозначается через O(п).и наз. вещественной ортогональной группой; ее алгебра Ли состоит из всех кососимметрических действительных (nХn)-матриц. Группа Ли О( р, q).имеет четыре компоненты связности при и две компоненты связности при q=0. Связной компонентой единицы является ее коммутант, к-рый при q=0 совпадает с подгруппой SO(n).в О(п), состоящей из всех преобразований с определителем, равным 1. Группа O( р, q).компактна только при q=0. Инварианты SO (п).как топологич. многообразия достаточно подробно изучены. Один из классич. результатов в этом направлении - вычисление чисел Бетти многообразия SO(n):его полином Пуанкаре имеет вид


при п=2m+1 и вид


при п=2т. Фундаментальная группа многообразия SO(n).есть . Вычисление высших гомотопич. групп pi(SO (п)) имеет непосредственное отношение к классификации локально тривиальных главных SO(n).расслоений над сферами. Важную роль в топологической К-теории играет теорема периодичности, согласно к-рой при имеют место изоморфизмы


если n=0, 1;

если n=3, 7, и


если n=2, 4, 5, 6. Изучение топологии группы O( р, q).но существу сводится к предыдущему случаю, т. к. связная компонента единицы группы О( р, q).диффеоморфна произведению SO(p)xSO(q).на евклидово пространство.

Лит.: [1] Дьедонне Ж., Геометрия классических групп, пер. с франц., М., 1974; [2] Артин Э., Геометрическая алгебра, пер. с англ., М., 1969; [3] Автоморфизмы классических групп, пер. с англ, и франц., М., 1976; [4] Вейль Г., Классические группы, их инварианты и представления, пер. с англ., М., 1947; L5] Желобенко Д. П., Компактные группы Ли и их представления, М., 1970; [6] Б у р 0 а к и Н., Алгебра. Модули, кольца, формы, пер. с франц., М., 1966; [7] О'Меаrа О. Т Introduction to quadratic forms, В.-Hdlb., 1963; [8] Xьюзмоллер Д., Расслоенные пространства, пер. с англ., М., 1970.

В. Л. Попов.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем сделать НИР

Полезное


Смотреть что такое "ОРТОГОНАЛЬНАЯ ГРУППА" в других словарях:

  • Ортогональная группа — Группа (математика) Теория групп …   Википедия

  • ортогональная группа — ortogonalioji grupė statusas T sritis fizika atitikmenys: angl. orthogonal group vok. orthogonale Gruppe, f rus. ортогональная группа, f pranc. groupe orthogonal, m …   Fizikos terminų žodynas

  • Специальная ортогональная группа — размерности это группа вещественных ортогональных матриц размера с определителем 1. Группа вращений n мерного вещественного пространства. Обычно обозначается , Свойства является компонентой связности единицы ортогональной группы …   Википедия

  • Группа (математика) — Теория групп …   Википедия

  • Группа Ли — Группа (математика) Теория групп …   Википедия

  • Группа Пуанкаре — Группа (математика) Теория групп Основные понятия Подгруппа Нормальная подгруппа Факторгруппа …   Википедия

  • Группа Лоренца — Группа (математика) Теория групп …   Википедия

  • Специальная унитарная группа — Группа (математика) Теория групп …   Википедия

  • КЛАССИЧЕСКАЯ ГРУППА — группа автоморфизмов нек рой полуторалинейной формы f на правом K модуле Е, где К кольцо; при этом f и Е(а иногда и К)удовлетворяют дополнительным условиям. Точного определения К. г. нет. Предполагается, что f либо нулевая, либо невырожденная… …   Математическая энциклопедия

  • Топологическая группа — Группа (математика) Теория групп …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»