Sei G eine Gruppe und H G. Beweise, dass das einzige richtige Cos von H in G, das ein Teilring von G ist, H selbst ist.

Sei G eine Gruppe und H G. Beweise, dass das einzige richtige Cos von H in G, das ein Teilring von G ist, H selbst ist.
Anonim

Antworten:

Angenommen, die Frage (wie durch Kommentare klargestellt) lautet:

Lassen #G# eine Gruppe sein und #H leq G #. Beweisen Sie, dass das einzig richtige Cosplay von # H # im #G# das ist eine Untergruppe von #G# ist # H # selbst.

Erläuterung:

Lassen #G# eine Gruppe sein und #H leq G #. Für ein Element #g in G #, das richtige coset von # H # im #G# ist definiert als:

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

Nehmen wir das an #Hg leq G #. Dann das Identitätselement #e in Hg #. Das wissen wir aber notwendigerweise #e in H #.

Schon seit # H # ist ein Rechts-Coset und zwei Rechts-Cosets müssen entweder identisch oder disjunkt sein, können wir schließen #H = Hg #

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

Sollte dies nicht klar sein, versuchen wir einen Beweis, der Symbole entfernt.

Lassen #G# eine Gruppe sein und lassen # H # eine Untergruppe von sein #G#. Für ein Element #G# zugehörig #G#, Anruf # Hg # das richtige coset von # H # im #G#.

Nehmen wir an, das richtige Coset # Hg # ist eine Untergruppe von #G#. Dann das Identitätselement # e # gehört # Hg #. Wir kennen jedoch bereits das Identitätselement # e # gehört # H #.

Zwei rechte Cosets müssen entweder identisch oder nicht zusammenhängend sein. Schon seit # H # ist ein rechtes coset, # Hg # ist ein richtiges Coset und beide enthalten # e #Sie können nicht unzusammenhängend sein. Daher, # H # und # Hg # muss identisch sein oder #H = Hg #