Fie G un grup și H G.Provocați că singurul coset corect al lui H în G, care este un subing al lui G, este H însuși.

Fie G un grup și H G.Provocați că singurul coset corect al lui H în G, care este un subing al lui G, este H însuși.
Anonim

Răspuns:

Presupunând că întrebarea (așa cum este clarificată prin comentarii) este:

Lăsa # G # fi un grup și #H leq G #. Dovedeste ca singurul coste corect # H # în # G # care este un subgrup de # G # este # H # în sine.

Explicaţie:

Lăsa # G # fi un grup și #H leq G #. Pentru un element #g în G #, coste dreapta # H # în # G # este definit ca:

# => Hg = {hg: h în H} #

Să presupunem asta #Hg leq G #. Apoi, elementul de identitate #e în Hg #. Cu toate acestea, știm în mod necesar acest lucru #e în H #.

De cand # H # este un coset corect și două coste corecte trebuie să fie fie identice, fie disjuncte, putem concluziona # H = Hg #

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

În cazul în care acest lucru nu este clar, să încercăm o probă care să elimine simbolurile.

Lăsa # G # fi un grup și să lăsați # H # fi un subgrup de # G #. Pentru un element # G # aparținând # G #, apel # Hg # dreptul de coset de # H # în # G #.

Să presupunem că este corect # Hg # este un subgrup de # G #. Apoi, elementul de identitate # E # aparține lui # Hg #. Cu toate acestea, deja știm că elementul de identitate # E # aparține lui # H #.

Două coste dreapta trebuie să fie identice sau disjuncte. De cand # H # este un coset drept, # Hg # este un coset corect, și ambele conțin # E #, ele nu pot fi disociate. Prin urmare, # H # și # Hg # trebuie să fie identice sau # H = Hg #