2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 Помогите подобрать конструкцию.
Сообщение11.12.2017, 19:16 


16/12/14
472
Доброе время суток!
В ходе своей работы мне пришлось столкнуться с следующими объектами:
Пусть $M_1, M_2, \dots M_n$ - набор равномощных конечных множеств, рассматриваются n-ки инъективных отображений: $(f_1, f_2 \dots f_n)$, $f_i: M_i \to \left\lbrace 1, ..., N\right\rbrace$, где $N-1$ - мощность множеств $M_i$.
И пусть $F$ - множество всех таких $n$-нок инъективных отображений, нужно как то красиво записать группу $Sym(F)$, то есть группу всех перестановок множества $F$, желательно в терминах групп перестановок множеств $M_i$, вообще можно ли как-то элегантно и удобно для работы представить данную группу?

 Профиль  
                  
 
 Re: Помогите подобрать конструкцию.
Сообщение09.01.2018, 22:25 
Модератор
Аватара пользователя


11/01/06
5702
Зафисируем биекции $g_i$ из $M_i$ во множество $[N-1]=\{1,2,\dots,N-1\}$.

Тогда $\textrm{Symm}(F)$ изоморфна прямой степени симметрической группы $S_{N}^{\times n}$. При этом изоморфизм строится так:
$$(f_1,\dots,f_n)\mapsto (\pi_1,\dots,\pi_n),$$
где $\pi_i(k) = g_i(f_i(g_i^{-1}(k)))$ для $k\in [N-1]$ и $\pi_i(N)=s$, где $\{s\}=[N]\setminus f_i(M_i)$.

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

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



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

Сейчас этот форум просматривают: нет зарегистрированных пользователей


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

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