Proving that a subgroup is normal

  • #1
kent davidge
933
56
In this PDF, http://www.math.unl.edu/~bharbourne1/M417Spr04/M417Exam2Solns.pdf,

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##?
 

Answers and Replies

  • #3
WWGD
Science Advisor
Gold Member
6,178
7,703
In this PDF, http://www.math.unl.edu/~bharbourne1/M417Spr04/M417Exam2Solns.pdf,

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##?
How do you define index? I thought it was the number of cosets.
 
  • #4
mathwonk
Science Advisor
Homework Helper
11,391
1,626
why is this in topology and analysis?
 
  • #6
kent davidge
933
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
fresh_42
Mentor
Insights Author
2021 Award
17,585
18,056
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
kent davidge
933
56
Yes, and in which coset is the neutral element ##e \in G\,##?
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.
 
  • #9
fresh_42
Mentor
Insights Author
2021 Award
17,585
18,056
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.
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

Suggested for: Proving that a subgroup is normal

  • 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
Replies
1
Views
890
  • Last Post
Replies
11
Views
607
  • Last Post
Replies
0
Views
225
  • Last Post
Replies
6
Views
481
Top