Legyen G egy csoport és H G.Hozd el, hogy a G egyetlen helyes G-ben a G-ben, amely egy G alegysége, H maga.

Legyen G egy csoport és H G.Hozd el, hogy a G egyetlen helyes G-ben a G-ben, amely egy G alegysége, H maga.
Anonim

Válasz:

Feltételezve, hogy a kérdés (a megjegyzések által tisztázott):

enged # G # legyen egy csoport és #Hq G #. Bizonyítsuk be, hogy a # H # ban ben # G # ez egy # G # jelentése # H # maga.

Magyarázat:

enged # G # legyen egy csoport és #Hq G #. Egy elemhez #g a G #, a helyes hangja # H # ban ben # G # azt jelenti:

# => Hg = {hg: h t

Tegyük fel, hogy # Hgq #. Ezután az azonosító elem #e Hg #. Ezt azonban szükségszerűen tudjuk #e H-ban.

Mivel # H # egy helyes megoldás, és két jobb oldalt kell azonosnak vagy diszjunktnak lennie, megköthetjük #H = Hg #

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

Abban az esetben, ha ez nem világos, próbálkozzon egy bizonyíték megszüntetésével.

enged # G # legyen csoport, és hagyd # H # legyen egy alcsoport # G #. Egy elemhez # G # hozzá tartozik # G #, hívás # Hg # a megfelelő # H # ban ben # G #.

Tételezzük fel, hogy a megfelelő hang # Hg # egy alcsoport # G #. Ezután az azonosító elem # E # hozzá tartozik # Hg #. Már tudjuk, hogy az azonosító elem # E # hozzá tartozik # H #.

Két jobb oldalt kell azonos vagy diszjunkt. Mivel # H # helyes megoldás, # Hg # egy helyes megoldás, és mindkettő tartalmaz # E #, nem lehetnek diszjunkt. Ennélfogva, # H # és # Hg # azonosnak kell lennie, vagy #H = Hg #