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

  • Context: Undergrad 
  • 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
163
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   Reactions: 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.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 27 ·
Replies
27
Views
3K
Replies
17
Views
3K
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K