MathCastle
Groups and FieldsChallengeGroups and the Group Axioms

Groups and the Group Axioms · Challenge problem

Suppose (G,∗)(G,*) is a group with exactly four elements {e,a,b,c}\{e,a,b,c\}, and a∗a=ea*a=e and b∗b=eb*b=e (both a,ba,b are self-inverse, non-identity). Using the Latin-square property, determine a∗ba*b.