- #1

- 933

- 56

in answering why a subgroup of index 2 is normal, the author says that the only two cosets must be ##A## and ##gA##. Why so? Why there can't be another element ##g'## such that ##G = g' A + g A##?

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- I
- Thread starter kent davidge
- Start date

- #1

- 933

- 56

in answering why a subgroup of index 2 is normal, the author says that the only two cosets must be ##A## and ##gA##. Why so? Why there can't be another element ##g'## such that ##G = g' A + g A##?

- #2

- #3

WWGD

Science Advisor

Gold Member

- 5,652

- 5,316

How do you define index? I thought it was the number of cosets.

in answering why a subgroup of index 2 is normal, the author says that the only two cosets must be ##A## and ##gA##. Why so? Why there can't be another element ##g'## such that ##G = g' A + g A##?

- #4

mathwonk

Science Advisor

Homework Helper

2020 Award

- 11,242

- 1,447

why is this in topology and analysis?

- #5

fresh_42

Mentor

- 15,542

- 13,637

Thanks. Moved.why is this in topology and analysis?

- #6

- 933

- 56

According to my book, it is indeed the number of cosets which defines the index.How do you define index? I thought it was the number of cosets.

- #7

fresh_42

Mentor

- 15,542

- 13,637

Yes, and in which coset is the neutral element ##e \in G\,##?According to my book, it is indeed the number of cosets which defines the index.

- #8

- 933

- 56

ohh you made me realise now what the thing is.Yes, and in which coset is the neutral element ##e \in G\,##?

One coset must be ##A## because the neutral ##e## should be in ##G##, and it is in ##A##, because ##A## is a subgroup, (not in ##gA##, because ##gA = (g e, ga_1, ...) = (g, ga_1, ...)##). So one coset being ##A##, the only other possible coset is ##gA## so that the index 2 condition is satisfied.

- #9

fresh_42

Mentor

- 15,542

- 13,637

Yes, and therefore we have ##G=A \cup gA=A \cup Ag## at the same time and on the level of sets. But this can only be if ##gA=Ag## which means ##A## is normal.ohh you made me realise now what the thing is.

One coset must be ##A## because the neutral ##e## should be in ##G##, and it is in ##A##, because ##A## is a subgroup, (not in ##gA##, because ##gA = (g e, ga_1, ...) = (g, ga_1, ...)##). So one coset being ##A##, the only other possible coset is ##gA## so that the index 2 condition is satisfied.

Share: