Нехай G є групою, а H .G. Доведіть, що єдиним правом співрозмовників H в G, що є підкоренням G, є сам H.

Нехай G є групою, а H .G. Доведіть, що єдиним правом співрозмовників H в G, що є підкоренням G, є сам H.
Anonim

Відповідь:

Припускаючи, що питання (як уточнено в коментарях):

Дозволяє # G # бути групою і # Гек.. Доведіть, що єдиний правильний coset # H # в # G # що є підгрупою # G # є # H # себе.

Пояснення:

Дозволяє # G # бути групою і # Гек.. Для елемента #g у G #, правий coset # H # в # G # визначається як:

# => Hg = {hg: h

Припустимо, що # Гг G #. Потім ідентифікаційний елемент #e Hg #. Однак, ми обов'язково знаємо, що #e.

З # H # є правою кореневою лінією, а два правих класу повинні бути ідентичними або непересічними, ми можемо зробити висновок #H = Hg #

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

Якщо це не зрозуміло, спробуємо докази, що виключають символи.

Дозволяє # G # бути групою і нехай # H # бути підгрупою Росії # G #. Для елемента # g # належить # G #, дзвінок # Hg # праворуч # H # в # G #.

Припустимо, що має право # Hg # є підгрупою з # G #. Потім ідентифікаційний елемент # e # належить до # Hg #. Однак ми вже знаємо, що елемент ідентичності # e # належить до # H #.

Два правих кластера повинні бути ідентичними або непересічними. З # H # є правою послугою, # Hg # є правою косетою, і обидва містять # e #вони не можуть бути роз'єднаними. Отже, # H # і # Hg # повинні бути ідентичними, або #H = Hg #