Proving that a subgroup is normal

Answers and Replies

  • #3
WWGD
Science Advisor
Gold Member
2019 Award
5,361
3,366
  • Like
Likes mathwonk
  • #4
mathwonk
Science Advisor
Homework Helper
11,047
1,234
why is this in topology and analysis?
 
  • #6
931
56
How do you define index? I thought it was the number of cosets.
According to my book, it is indeed the number of cosets which defines the index.
 
  • #7
13,594
10,715
According to my book, it is indeed the number of cosets which defines the index.
Yes, and in which coset is the neutral element ##e \in G\,##?
 
  • Like
Likes kent davidge
  • #8
931
56
Yes, and in which coset is the neutral element ##e \in G\,##?
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.
 
  • #9
13,594
10,715
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.
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.
 
  • Like
Likes kent davidge

Related Threads on Proving that a subgroup is normal

Replies
1
Views
6K
Replies
2
Views
1K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
12
Views
3K
  • Last Post
Replies
4
Views
4K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
3
Views
3K
  • Last Post
Replies
1
Views
2K
Replies
1
Views
2K
  • Last Post
Replies
1
Views
2K
Top