Подгрупа (математика) — разлика између измена
Садржај обрисан Садржај додат
Нема описа измене |
м Враћене измене 109.228.111.115 (разговор) на последњу измену корисника BokicaK |
||
Ред 57:
Ова група има пар нетривијалних подгрупа: ''-{J}-''={0,4} и ''-{H}-''={0,2,4,6}, где је ''-{J}-'' такође подгрупа од ''-{H}-''. Кајлијева табела за ''-{H}-'' је горњи леви квадрант Кајлијеве табеле за ''-{G}-''. Група ''-{G}-'' је [[циклична група|циклична]], па су и њене подгрупе цикличне. Уопштено, подгрупе цикличних група су цикличне..
== Косети и Лагранжова теорема ==
Ако је дата подгрупа ''-{H}-'' и неко ''-{a}-'' из -{G}-, дефинишемо '''леви [[косет]]''' -{''aH'' = {''ah'' : ''h''}- из ''-{H}-''}. Како је ''-{a}-'' инверзибилно, пресликавање -{φ : ''H'' → ''aH''}- дефинисано као -{φ(''h'') = ''ah''}- је [[бијекција]]. Штавише, сваки елемент из ''-{G}-'' се налази у тачно једном левом косету од ''-{H}-''; леви косети су класе еквиваленције у односу на [[релација еквиваленције|релацију еквиваленције]] -{''a''<sub>1</sub> ~ ''a''<sub>2</sub>}- [[ако и само ако]] је -{''a''<sub>1</sub><sup>−1</sup>''a''<sub>2</sub>}- у ''-{H}-''. Број левих косета ''-{H}-'' се назива ''индексом'' ''-{H}-'' у ''-{G}-'', и означава се са -{[''G'' : ''H'']}-.
[[Лагранжова теорема (теорија група)|Лагранжова теорема]] гласи да за коначну групу ''-{G}-'' и њену подгрупу ''-{H}-'',
:<math> [ G : H ] = { o(G) \over o(H) } </math>
где -{red(''G'')}- и -{red(''H'')}- означавају [[ред (теорија група)|редове]] од ''-{G}-'' и ''-{H}-''. Ред сваке подгрупе од ''-{G}-'' (и ред сваког елемента ''-{G}-'') обавезно дели -{red(''G'')}-.
'''Десни косети''' су дефинисани аналогно: -{''Ha'' = {''ha'' : ''h''}- у ''-{H}-''}. Они су такође класе еквиваленције за одговарајућу релацију еквиваленције, и њихов ред је једнак -{[''G'' : ''H'']}-.
Ако је -{''aH'' = ''Ha''}- за свако ''-{a}-'' из ''-{G}-'', тада се каже да је ''-{H}-'' [[нормална подгрупа]]. Свака подгрупа индекса 2 је нормална: леви и десни косети су једноставно подгрупа и њен комплемент.
[[Категорија:Теорија група]]
[[az:Altqrup]]
[[ca:Subgrup]]
[[cs:Podgrupa]]
[[da:Undergruppe]]
[[de:Untergruppe]]
[[en:Subgroup]]
[[es:Subgrupo]]
[[fr:Sous-groupe]]
[[hr:Podgrupa]]
[[it:Sottogruppo]]
[[ja:部分群]]
[[ko:부분군]]
[[nl:Ondergroep (wiskunde)]]
[[pl:Podgrupa]]
[[pt:Subgrupo]]
[[ru:Подгруппа]]
[[fi:Aliryhmä]]
[[sv:Delgrupp]]
[[vi:Nhóm con]]
[[tr:Altöbek]]
[[uk:Підгрупа]]
[[zh:子群]]
| |||