2014 dxdy logo

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

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




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


16/12/14
474
Доброе время суток!
В ходе своей работы мне пришлось столкнуться с следующими объектами:
Пусть $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
5710
Зафисируем биекции $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 ] 

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



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

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


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

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