MathCastle
Groups and FieldsChallengeGroups and the Group Axioms

Groups and the Group Axioms · Challenge problem

Using the S3S_3 labeling from the lesson (e,r,r2,s,t,ue,r,r^2,s,t,u, composed so x∗yx*y means "apply yy, then xx"), how many of the 3636 ordered pairs (x,y)(x,y) with x,y∈S3x,y\in S_3 satisfy x∗y=y∗xx*y=y*x?