Re: Every subgroup with indice(index?)2 is normal!Why???

From: Sukjah Roh (dhls_DELET_Wkr8_at_gm_DELET_ail.com)
Date: 03/29/05


Date: Tue, 29 Mar 2005 22:35:30 +0900

Evelin wrote:
> How can I show that every subgroup with indice
>
> (in French, in English perhaps index, but I am not sure,
> it is the cardinalitiy of G(the group) divided by
> the cardinality of the supgroup)
>
> 2 of a finite group is normal!!!
>
> Thank you for answering my question!!!!

(0. Analysis)

Let's look at hypothesis and conclusion.

Hypothesis: H is a subgroup of G of index 2.
Conclusion: H is normal in G.

(1. Backward)

Let's look at what conditions about H leads to the conclusion.

(1) gH = Hg for all g in G.
(2) gHg^(-1) = H for all g in G.
(3) ghg^(-1) is in H for all g in G, all h in H.

Each of the above three leads to the conclusion.

(2. Forward)

Now, let's look at what can be said from the hypothesis.
If H is of index 2. then there are exactly two right cosets H and Ha. a
is not in H.
We see that something similar to 'Ha' appears in (1).
There are also exactly two left cosets H and bH. b not in H. Because a
is also not in H, bH should equal to aH.
So H,aH are exactly two left cosets, and H,Ha are exactly two right
cosets. and aH = G-H = Ha. this is similar to something in (1).

(3. Linking)

Now we can guess that the next promising step is to try to prove (1).



Relevant Pages

  • Re: coset~.
    ... >> the elements of a finite group G must be a normal subgroup ... It's because cosets are equinumerous. ...
    (sci.math)
  • Re: Subgroups of index 3 are normal
    ... qsymmetry wrote: ... Suppose G is a finite group with no subgroup of index 2. ... Why is it that every subgroup of index _3_ is necessarily normal in G? ... Would it help to consider the action of G on the left cosets of H? ...
    (sci.math)
  • Re: Group Theory Question
    ... >subgroup of index 3 is a normal subgroup. ... Let H be a subgroup of index 3, and let G act on the left cosets by ... The map can also not be trivial, ... We claim that the kernel of this map is H. ...
    (sci.math)
  • Re: Group factor spaces: am I missing something here?
    ... > Let G be a group and N a subgroup of N. The set of all left cosets ... > equivilance classes in such a way as to create a new group ... cosets of any subgroup and equally clearly a group operation can be ... if the equivalence relation is a congruence - a~b ...
    (sci.math)
  • Re: - Finite-index subgroup in a product of subgroups
    ... let B' be a subgroup of B of index m. ... of left cosets of A' and right cosets of B'; ... preserving correspondence between subgroups of G/K ... by considering the index of H/K in G/K instead. ...
    (sci.math)