La G være en gruppe og H G.Prøv at den eneste høyre coset av H i G som er en subring av G, er H selv.?

La G være en gruppe og H G.Prøv at den eneste høyre coset av H i G som er en subring av G, er H selv.?
Anonim

Svar:

Forutsatt at spørsmålet (som avklart av kommentarer) er:

La # G # være en gruppe og #H leq G #. Bevis at den eneste rettigheten av # H # i # G # det er en undergruppe av # G # er # H # seg selv.

Forklaring:

La # G # være en gruppe og #H leq G #. For et element #g i G #, den rette coset av # H # i # G # er definert som:

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

La oss anta det #Hg leq G #. Så identitetselementet #e i Hg #. Imidlertid vet vi nødvendigvis det #e i H #.

Siden # H # er en riktig coset og to høyre cosets må enten være identiske eller uensartede, kan vi konkludere #H = Hg #

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

I tilfelle dette ikke er klart, la oss prøve et bevis som eliminerer symboler.

La # G # vær en gruppe og la # H # være en undergruppe av # G #. For et element # G # tilhører # G #, anrop # Hg # den rette coset av # H # i # G #.

La oss anta at den rette coset # Hg # er en undergruppe av # G #. Så identitetselementet # E # tilhører # Hg #. Vi vet imidlertid allerede at identitetselementet # E # tilhører # H #.

To høyre kosetene må enten være identiske eller uensartede. Siden # H # er en rett coset, # Hg # er en rett coset, og begge inneholder # E #, de kan ikke være uensartede. Derfor # H # og # Hg # må være identisk, eller #H = Hg #