Niech G będzie grupą i H G. Poprowadź, że jedynym prawym układem H w G, który jest podrzędnym elementem G, jest sam H.?

Niech G będzie grupą i H G. Poprowadź, że jedynym prawym układem H w G, który jest podrzędnym elementem G, jest sam H.?
Anonim

Odpowiedź:

Zakładając, że pytanie (jak wyjaśniono w komentarzach) brzmi:

Pozwolić #SOL# być grupą i #H qq G #. Udowodnij, że jedyny prawy zestaw # H # w #SOL# to jest podgrupa #SOL# jest # H # samo.

Wyjaśnienie:

Pozwolić #SOL# być grupą i #H qq G #. Dla elementu #g w G #, prawy zestaw # H # w #SOL# jest zdefiniowany jako:

# => Hg = {hg: h w H} #

Załóżmy, że tak #Hg q G #. Następnie element tożsamości #e w Hg #. Jednak wiemy to koniecznie #e w H #.

Od # H # jest prawym kosem, a dwa prawe kosety muszą być identyczne lub rozłączne, możemy stwierdzić #H = Hg #

=================================================

Jeśli nie jest to jasne, spróbujmy wypróbować dowód eliminujący symbole.

Pozwolić #SOL# bądź grupą i pozwól # H # być podgrupą #SOL#. Dla elementu #sol# należeć do #SOL#, połączenie # Hg # prawy zestaw # H # w #SOL#.

Załóżmy, że prawy coset # Hg # jest podgrupą #SOL#. Następnie element tożsamości #mi# należy do # Hg #. Wiemy jednak już, że element tożsamości #mi# należy do # H #.

Dwa prawe cosets muszą być identyczne lub rozłączne. Od # H # jest prawym kosetem, # Hg # jest prawym kosetem i oba zawierają #mi#, nie mogą być rozłączne. Stąd, # H # i # Hg # musi być identyczny lub #H = Hg #