Wykres Coseta Schreiera

W obszarze matematyki zwanym kombinatoryczną teorią grup , wykres coset Schreiera jest wykresem powiązanym z grupą G , zbiorem generującym { x i : i in I } G oraz podgrupą H G . Graf Schreiera koduje abstrakcyjną strukturę grupy modulo relacji równoważności utworzonej przez coset .

Wykres nosi imię Otto Schreiera , który użył terminu „Nebengruppenbild”. Równoważna definicja została podana we wczesnej pracy Todda i Coxetera.


Opis

Wierzchołki grafu są odpowiednimi współzbiorami Hg = { hg : h w H } dla g w G .

Krawędzie wykresu mają postać ( Hg , Hgx i ).

Wykres Cayleya grupy G z { x i : i w I } jest wykresem cosetowym Schreiera dla H = {1 G } ( Gross i Tucker 1987 , s. 73).

Drzewo rozpinające wykresu cosetowego Schreiera odpowiada poprzecznemu przekrojowi Schreiera, jak w lemacie podgrupy Schreiera ( Conder 2003 ).

Wymieniona poniżej książka „Kategorie i grupoidy” odnosi się do teorii pokrywania morfizmów grupoidów . Podgrupa H grupy G określa pokrywający morfizm groupoidów, a jeśli jest generującym dla G to jego obraz p jest wykresem Schreiera G. , X ).

Aplikacje

Wykres jest przydatny do zrozumienia wyliczania coset i algorytmu Todda – Coxetera .

Wykresy Coseta mogą być używane do tworzenia reprezentacji dużych permutacji grup i zostały użyte przez Grahama Higmana do pokazania, że ​​naprzemienne grupy o wystarczająco dużym stopniu to grupy Hurwitza ( Conder 2003 ).

Każdy graf wierzchołkowo-przechodni jest grafem kosetowym.