- #1

kent davidge

- 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

kent davidge

- 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

- 17,585

- 18,056

- #3

WWGD

Science Advisor

Gold Member

- 6,178

- 7,703

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

- 11,391

- 1,626

why is this in topology and analysis?

- #5

- 17,585

- 18,056

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

- #6

kent davidge

- 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

- 17,585

- 18,056

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

kent davidge

- 933

- 56

ohh you made me realize 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

- 17,585

- 18,056

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 realize 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:

- Last Post

- Replies
- 1

- Views
- 260

- Last Post

- Replies
- 6

- Views
- 316

- Last Post

- Replies
- 2

- Views
- 841

- Replies
- 6

- Views
- 452

- Replies
- 5

- Views
- 898

- Last Post

- Replies
- 14

- Views
- 2K

- Last Post

- Replies
- 1

- Views
- 890

- Last Post

- Replies
- 11

- Views
- 607

- Last Post

- Replies
- 0

- Views
- 225

- Last Post

- Replies
- 6

- Views
- 481