Proving Non-Simplicity in Finite Groups with Two-Element Conjugacy Class

  • Thread starter Thread starter Obraz35
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on proving that a finite group G cannot be simple if it contains a conjugacy class with exactly two elements. The argument establishes that the size of a conjugacy class must divide the order of the group, leading to the conclusion that |G| is even and greater than 2. Furthermore, the existence of a subgroup H of order |G|/2 is demonstrated, which must be normal, thereby confirming that G is not simple.

PREREQUISITES
  • Understanding of finite group theory
  • Knowledge of conjugacy classes in group theory
  • Familiarity with the concept of normal subgroups
  • Basic principles of group order and divisibility
NEXT STEPS
  • Study the properties of conjugacy classes in finite groups
  • Learn about normal subgroups and their significance in group theory
  • Explore the implications of the class equation in group theory
  • Investigate examples of simple and non-simple groups
USEFUL FOR

This discussion is beneficial for students of abstract algebra, particularly those studying group theory, as well as mathematicians interested in the structure of finite groups and their properties.

Obraz35
Messages
29
Reaction score
0

Homework Statement


Let G be a finite group. Prove that if some conjugacy class has exactly two elements then G can't be simple


Homework Equations





The Attempt at a Solution


I originally proved this accidentally assuming that G is abelian, which it isn't. So say x and y are conjugate then we have conjugacy classes {e} and {x,y}. I know that the size of a conjugacy class has to divide the order of a group so |G| is even and must be greater than 2. I'm having trouble showing the existence of a normal subgroup though.
 
Physics news on Phys.org
If G has a conjugacy class with two elements then it has a subgroup of order |G|/2. Look at the centralizer of each element of the conjugacy class. If G has a subgroup H of order |G|/2, H must be normal. Look at left and right cosets.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
2
Views
5K
  • · Replies 1 ·
Replies
1
Views
21K
  • · Replies 6 ·
Replies
6
Views
3K
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
9K