permutations (version 1.0-4)

commutator: Group-theoretic commutator and group action

Description

Group-theoretic commutator, defined as \([x,y]=x^{-1}y^{-1}xy\)

Usage

commutator(x, y)

Arguments

x,y

Permutation objects, coerced to word

See Also

group_action

Examples

Run this code
# NOT RUN {
x <- rperm(10,7)
y <- rperm(10,8)
z <- rperm(10,9)

uu <- 
commutator(commutator(x,y),z^x) *
commutator(commutator(z,x),y^z) *
commutator(commutator(y,z),x^y) 

stopifnot(all(is.id(uu)))  # this is the  Hall-Witt identity

# }

Run the code above in your browser using DataCamp Workspace