MathCastle
Groups and FieldsChallengeGroups and the Group Axioms

Groups and the Group Axioms · Challenge problem

Exactly one of these four operations on S=Q∖{0}S=\mathbb{Q}\setminus\{0\} makes (S,∗)(S,*) a group: (A) a∗b=aba*b=ab; (B) a∗b=a/ba*b=a/b; (C) a∗b=a+ba*b=a+b; (D) a∗b=a2ba*b=a^2b. Which one is it?