Relationship between size of conjugacy class and the normalizer?

Click For Summary
The discussion centers on a theorem in Abstract Algebra that states the number of elements conjugate to an element in a finite group is equal to the index of its normalizer. In the case of the symmetric group S_4 and the element (1,2)(3,4), the number of conjugates is identified as 3, while the normalizer appears to have 4 elements. The confusion arises from the interpretation of the normalizer, as the normalizer should include all elements that commute with (1,2)(3,4), not just those listed. The participants are trying to reconcile their calculations with the theorem, indicating a misunderstanding of the normalizer's definition or the specific elements it contains. Clarifying the normalizer's composition is essential to resolving the apparent contradiction with the theorem.
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).
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 4 ·
Replies
4
Views
561
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
905
  • · Replies 26 ·
Replies
26
Views
882
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 27 ·
Replies
27
Views
11K
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 6 ·
Replies
6
Views
7K