Undergrad Group and Identity: Proving (12)(34)² = (12)(34)

  • Thread starter Thread starter LCSphysicist
  • Start date Start date
  • Tags Tags
    Group Identity
Click For Summary
SUMMARY

The discussion centers on the proof that the product of two permutations, specifically (12)(34), squares to the identity in group theory. Participants clarify that while the first two equalities in the expression ((12)(34))² = (12)(34)(12)(34) are correct, the final conclusion that it equals the identity is incorrect. The key point is that (12) and (34) commute, and squaring each permutation results in the identity permutation, confirming that ((12)(34))² = I.

PREREQUISITES
  • Understanding of group theory concepts, particularly permutations.
  • Familiarity with the notation and operations of permutations, such as function composition.
  • Knowledge of the identity element in group theory.
  • Basic algebraic manipulation skills to handle permutations and their products.
NEXT STEPS
  • Study the properties of permutation groups, focusing on commutativity.
  • Learn about the identity element in group theory and its significance.
  • Explore function composition in the context of permutations.
  • Investigate examples of other permutation products and their identities.
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone interested in understanding the properties of permutations and group theory.

LCSphysicist
Messages
644
Reaction score
162
TL;DR
The question is simple, why does "(12)(34) (elements of A4) squares to the identity"?
I am probably missing a crucial point here, but what does it means that (12)(34) squares to the identity? How do we prove it?
((12)(34))² = (12)(34)(12)(34) = (12)(12)(34)(34) = (12)(34) ##\neq I ##
Is not this the algorithm?
 
Physics news on Phys.org
##(12)(12)=(1)## so your conclusion is wrong.

You read this from right to left as:
##2\longrightarrow 1 \longrightarrow 2## and ##1\longrightarrow 2 \longrightarrow 1## so applying both results in the identity. Permutations are functions: ##f_{(12)} : \{1,2\} \longrightarrow \{1,2\}## with ##f_{(12)}(1)=2## and ##f_{(12)}(2)=1##. Multiplication of these functions is applying both functions subsequently.
 
  • Wow
Likes LCSphysicist
Herculi said:
((12)(34))² = (12)(34)(12)(34) = (12)(12)(34)(34) = (12)(34) ##\neq I ##

First equality is ok.
Second equality is ok, but it should be justified why ##(12)## and ##(34)## commute.
Third equality is wrong: ##(12)(12) = 1## and ##(34)(34) = 1##. The reason for this is that ##1 \mapsto 2 \mapsto 1## and ##2 \mapsto 1 \mapsto 2##. It doesn't matter here whether you read from left to right or from right to left.
 
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 1 ·
Replies
1
Views
1K
  • · Replies 27 ·
Replies
27
Views
3K
Replies
17
Views
3K
Replies
9
Views
2K
Replies
1
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K