Relationship between size of conjugacy class and the normalizer?

  • Context: Graduate 
  • Thread starter Thread starter awetawef
  • Start date Start date
  • Tags Tags
    Class Relationship
Click For Summary
SUMMARY

The discussion centers on the relationship between the size of a conjugacy class and the normalizer in the context of finite groups, specifically S_4. The theorem states that the number of elements conjugate to an element a is equal to the index of the normalizer of a in G. In the case of the element (1,2)(3,4) in S_4, the user calculates three conjugates and four commuting elements, leading to confusion regarding the theorem's validity. The correct understanding of the normalizer's definition and its elements is crucial to resolving this discrepancy.

PREREQUISITES
  • Understanding of finite groups and their properties
  • Familiarity with conjugacy classes in group theory
  • Knowledge of normalizers and their role in group structure
  • Basic concepts of permutation groups, specifically S_4
NEXT STEPS
  • Study the definition and properties of normalizers in group theory
  • Explore the concept of conjugacy classes in finite groups
  • Examine specific examples of normalizers in permutation groups like S_4
  • Learn about the index of a subgroup and its implications in group theory
USEFUL FOR

Students of abstract algebra, mathematicians studying group theory, and anyone interested in the properties of finite groups and their conjugacy relations.

awetawef
Messages
2
Reaction score
0
I am reading an Abstract Algebra book, and there is a theorem that says:

Thm: If G is a finite group, then the number of elements conjugate to a is the index of the normalizer in G.

The book uses the normalizer to mean
<br /> N(a\in G)=\{ x\in G\colon xa=ax\}<br />

Now if the group is S_4, and our element is (1,2)(3,4), then the number of elements conjugate to (1,2)(3,4) is 3, and the number of elements with commute with (1,2)(3,4) is 4, so the theorem doesn't hold (?).

I am pretty sure that I am wrong, but I don't see why. Clearly the set of conjugates to (1,2)(3,4) is
<br /> \{ (12)(34), (13)(24), (14)(23) \}<br />
and the normalizer is
<br /> \{ (12), (34), (12)(34), e\}<br />

What am I missing??
 
Physics news on Phys.org
Also in the normalizer are (1423) and (1324).
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 26 ·
Replies
26
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 27 ·
Replies
27
Views
11K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 6 ·
Replies
6
Views
7K