Hayaan G maging isang grupo at H G.Prove na ang tanging karapatan coset ng H sa G na ay isang subring ng G ay H mismo.?

Hayaan G maging isang grupo at H G.Prove na ang tanging karapatan coset ng H sa G na ay isang subring ng G ay H mismo.?
Anonim

Sagot:

Ipagpalagay na ang tanong (tulad ng nilinaw ng mga komento) ay:

Hayaan # G # maging isang grupo at #H leq G #. Patunayan na ang tanging karapatan coset ng # H # sa # G # iyon ay isang subgroup ng # G # ay # H # mismo.

Paliwanag:

Hayaan # G # maging isang grupo at #H leq G #. Para sa isang elemento #g sa G #, ang tamang coset ng # H # sa # G # ay tinukoy bilang:

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

Iisipin natin iyan #Hg leq G #. Pagkatapos ay ang elementong pagkakakilanlan #e sa Hg #. Gayunpaman, alam natin iyan #e sa H #.

Mula noon # H # ay isang karapatan coset at dalawang karapatan cosets ay dapat na magkapareho o magkahiwa-hiwalay, maaari naming tapusin #H = Hg #

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

Kung hindi ito malinaw, subukan natin ang isang patunay na aalis ng mga simbolo.

Hayaan # G # maging isang grupo at hayaan # H # maging isang subgroup ng # G #. Para sa isang elemento # g # nauukol sa # G #, tumawag # Hg # ang tamang coset ng # H # sa # G #.

Ipagpalagay natin na ang tamang coset # Hg # ay isang subgroup ng # G #. Pagkatapos ay ang elementong pagkakakilanlan # e # nabibilang sa # Hg #. Gayunman, alam na natin na ang elementong pagkakakilanlan # e # nabibilang sa # H #.

Ang dalawang tamang coset ay dapat magkapareho o magkakahiwalay. Mula noon # H # ay isang karapatan coset, # Hg # ay isang karapatan coset, at parehong naglalaman # e #, hindi sila maaaring i-disjoint. Kaya, # H # at # Hg # ay dapat magkapareho, o #H = Hg #