2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3  След.
 
 Re: Изоморфизм проективной и специальной проективной группы
Сообщение17.09.2023, 16:04 


17/09/23
27
Не уверен, что это рассуждение пройдёт, но всё же попробую. Мы ищем центр в группе PGL(n, F). Обозначим через H центр группы GL(n, F). Это же множество будет единицей в факторгруппе PGL(n, F) и будет лежать в центре данной факторгруппы. Предположим, что некоторый класс aH также лежит в центре факторгруппы. Это означает, что он коммутирует со всеми другими классами вида bH, то есть aH $\cdot$ bH = bH $\cdot$ aH. Это равносильно тому, что совпадают смежные классы abH и baH. Тогда должно найтись такое число $\alpha$ из поля F, что ab = $\alpha$ $\cdot$ ba. Как я уже упоминал выше, в качестве представителей смежного класса всегда можно выбирать матрицы с единичным детерминантом. Тогда det(ab)=$\alpha$ $\cdot$ det(ba), что равносильно равенству 1 = $\alpha$. Но это означает, что ab = ba. При этом элемент b произволен, а значит, элемент a сам принадлежит H. Значит, центр группы PGL(n, F) состоит лишь из H.

 Профиль  
                  
 
 Re: Изоморфизм проективной и специальной проективной группы
Сообщение17.09.2023, 16:09 
Заслуженный участник


07/08/23
1197
Ну нет, $\mathrm{det}(\alpha g) = \alpha^n\, \mathrm{det}(g)$.

 Профиль  
                  
 
 Re: Изоморфизм проективной и специальной проективной группы
Сообщение17.09.2023, 16:13 


17/09/23
27
dgwuqtj
Ой, да, прошу прощения. Тогда это рассуждение может пройти для PGL(n, F) в случае, если n нечетно и F - поле вещественных чисел.

 Профиль  
                  
 
 Re: Изоморфизм проективной и специальной проективной группы
Сообщение17.09.2023, 16:13 


13/01/23
307
AndrewGap писал(а):
Как я уже упоминал выше, в качестве представителей смежного класса всегда можно выбирать матрицы с единичным детерминантом. Тогда det(ab)=$\alpha$ $\cdot$ det(ba), что равносильно равенству 1 = $\alpha$.
То, что с единичным детерминантом, абсолютно не важно. Для любых невырожденных a, b из det(ab)=$\alpha^n$ $\cdot$ det(ba) следует $\alpha^n = 1$ В остальном верно

-- 17.09.2023, 16:15 --

AndrewGap писал(а):
Тогда это рассуждение может пройти для PGL(n, F) в случае, если n нечетно и F - поле вещественных чисел.
а с чётными и комплексными что не так?

 Профиль  
                  
 
 Re: Изоморфизм проективной и специальной проективной группы
Сообщение17.09.2023, 16:27 


17/09/23
27
KhAl
Просто в случае нечетного n и условия, что $\alpha$ принадлежит полю вещественных чисел сразу вытекает, что $\alpha$ = 1 и ba = ab, то есть a принадлежит H и центр PGL есть H. В случае чётного n, $\alpha$ может быть либо 1, либо -1. Если 1, то a снова оказывается элементом центра H группы GL. Если -1, то имеем равенство ab = -ba. Оно должно быть верно для любого b, а значит в частности для единичной матрицы. Но тогда a = -a, противоречие (тогда a суть нулевая матрица). Значит в случае вещественного поля F центр PGL всегда состоит лишь из H, верно?

 Профиль  
                  
 
 Re: Изоморфизм проективной и специальной проективной группы
Сообщение17.09.2023, 16:29 
Заслуженный участник


07/08/23
1197
Нет, у вас же $\alpha$ может зависеть от $b$.

 Профиль  
                  
 
 Re: Изоморфизм проективной и специальной проективной группы
Сообщение17.09.2023, 16:41 


17/09/23
27
dgwuqtj
Хорошо, начнем постепенно. Я правильно подсчитал, что центр в группе PSL(2, F) тривиален?

 Профиль  
                  
 
 Re: Изоморфизм проективной и специальной проективной группы
Сообщение17.09.2023, 16:46 
Заслуженный участник


07/08/23
1197
А где вы это посчитали, собственно?

 Профиль  
                  
 
 Re: Изоморфизм проективной и специальной проективной группы
Сообщение17.09.2023, 16:46 


13/01/23
307

(dgwuqtj)

оставлю вас вдвоём. хотя Вы, по-моему, слишком сильно подсказываете — смысл в том, чтобы включить мыслительный процесс, а не выдать решение маленькими кусками.

 Профиль  
                  
 
 Re: Изоморфизм проективной и специальной проективной группы
Сообщение17.09.2023, 16:47 


17/09/23
27
Это я сюда не писал, но могу расписать здесь, если необходимо.

 Профиль  
                  
 
 Re: Изоморфизм проективной и специальной проективной группы
Сообщение17.09.2023, 16:49 
Заслуженный участник


07/08/23
1197
Не, я готов в это поверить.

 Профиль  
                  
 
 Re: Изоморфизм проективной и специальной проективной группы
Сообщение17.09.2023, 16:53 


17/09/23
27
dgwuqtj
Хорошо, теперь мне нужно найти центр в группе PGL(2, F). Если он будет не тривиальным, то и эти факторгруппы не будут изоморфными, верно?

 Профиль  
                  
 
 Re: Изоморфизм проективной и специальной проективной группы
Сообщение17.09.2023, 17:31 
Заслуженный участник


07/08/23
1197
ага

 Профиль  
                  
 
 Re: Изоморфизм проективной и специальной проективной группы
Сообщение17.09.2023, 18:58 


17/09/23
27
dgwuqtj
А можно пояснить, что подразумевается во втором слагаемом?

 Профиль  
                  
 
 Re: Изоморфизм проективной и специальной проективной группы
Сообщение17.09.2023, 19:02 
Заслуженный участник


07/08/23
1197
$e_{ij}$ - это матрица, у которой единица в $(i, j)$-й позиции, а на остальных местах нули. То есть вся сумма - это матрица с единицами на диагонали, $x$ в $(i, j)$-й позиции и нулями в остальных местах.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 42 ]  На страницу Пред.  1, 2, 3  След.

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: Bing [bot]


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group