Prove that a group of order 42 has a nontrivial normal subgroup

Viking85
Messages
2
Reaction score
0

Homework Statement



Prove that a group of order 42 has a nontrivial normal subgroup

Homework Equations



We are supposed to use Cauchys Theorem to solve the problem
We are not allowed to use any of Sylows Theorems


The Attempt at a Solution



By using Cauchys Theorem i know there there is an element of order 7
I then let A = <a> where o(a)=7
Essentially i know the normal subgroup is of order 7, but i need to still show it is normal
 
Physics news on Phys.org
If A isn't normal then it has a conjugate subgroup B which also has seven elements. What's the order of AB?
 
Well, I think that A ∩ B = 1 or 7 (Using Lagranges Theorem)
If A ∩ B is 1 it results in a contradiction because that would imply ord(AB)=49 > ord(G)

Which means that A ∩ B = 7

Which means the A = B ??
 
Viking85 said:
Well, I think that A ∩ B = 1 or 7 (Using Lagranges Theorem)
If A ∩ B is 1 it results in a contradiction because that would imply ord(AB)=49 > ord(G)

Which means that A ∩ B = 7

Which means the A = B ??

Right. That makes A normal, yes?
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top