2014 dxdy logo

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

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


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


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



Начать новую тему Ответить на тему
 
 Факторгруппы свободного произведения
Сообщение25.06.2018, 14:21 


06/09/17
112
Москва
Пусть $G_1, G_2$ -- группы, заданные образующими и соотношениями $(S_1, R_1), (S_2, R_2)$.

Как с помощью образующих и соотношений $(S,R)$ задать:
1) $G_1 * G_2$
2) $G_1 \times G_2$
3) $G_1/\left[ G_1, G_1 \right]$

1) Интуитивно ясно, что $G_1 * G_2 \simeq ( S_1 \sqcup S_2, R_1 \sqcup R_2)$. Но доказать я это не могу.

2) $S = S_1 \sqcup S_2, \, R = (R_1 \sqcup R_2) \cup \lbrace [g_1,g_2] | g_1 \in S_1, g_2 \in S_2 \rbrace $.
Доказать можно следущим образом:
$G_1 * G_2 /[G_1, G_2] \simeq G_1 \times G_2$, поскольку $G_i$ в эту факторгруппу естественным образом вкладываются, порождают её, и являются в ней нормальными подгруппами (всё неочевидное проверяется непосредственно). Если с пунктом (1) я угадал правильно, то само утверждение следует из сказанного, (1) и этого факта.

3) Из рассуждений, аналогичных последней части п.2, ясно, что $S = S_1, R=R_1 \cup \lbrace [g,g'] | g, g' \in S_1 \rbrace$

Помогите с первым пунктом, пожалуйста!

 Профиль  
                  
 
 Re: Факторгруппы свободного произведения
Сообщение25.06.2018, 20:12 


06/09/17
112
Москва
Также в пунктах 2,3 надо говорить, что если $S$ порождает группу, то её коммутант порождается коммутаторами $S$

 Профиль  
                  
 
 Re: Факторгруппы свободного произведения
Сообщение26.06.2018, 16:12 
Аватара пользователя


04/10/15
291
Попробуйте показать, что свободное произведение групп с Вашим определением и в терминах копредставлений является копроизведением в категории групп, тогда Вы автоматически получите канонический автоморфизм.

 Профиль  
                  
 
 Re: Факторгруппы свободного произведения
Сообщение26.06.2018, 16:58 


06/09/17
112
Москва
Мне кажется, я могу это доказать через определение свободного произведения (как копроизведения в категории групп). Я потом подумаю над этим, пока что на другое перешёл.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 4 ] 

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



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

Сейчас этот форум просматривают: mihaild


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

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