Induction Method: My Question About Theorem in Finite Groups

  • Context: Graduate 
  • Thread starter Thread starter moont14263
  • Start date Start date
  • Tags Tags
    Induction Method
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
moont14263
Messages
40
Reaction score
0
My question is about the induction method. This was in a theorem that I read.
Let H be a normal subgroup of a finite group G. If G satisfies H-some statement then G is solvable.
In the poof I have this.
Let G be a counter example of minimal order. Let N be a proper normal subgroup of G. Since N satisfies the H-some statement then N is solvable by the induction in the order of G.


Here is my question. H may not be a subgroup of N so, how did he apply the induction method.
 
Physics news on Phys.org
Here is an example of what I am talking about.
I made up this theorem.

Let H be a normal subgroup of a finite group G. If all Sylow p-subgroup P of G are conjugate in H then G is solvable.



Conjugate in H means the set {P^{h}:h [itex]\in[/itex] H} contain all Sylow p-subgroup of G where P is a Sylow p-subgroup of G.


Let G be a counter example of minimal order. Let N be a proper normal subgroup of G. I assume that all Sylow p-subgroup P of N are conjugate in H, "this is just an assumption ,it may not be true".then N is solvable by the induction in the order of G.


Here is my question. H may not be a subgroup of N so, how did he apply the induction method in his theorem which has the same situation ?.