MathCastle
Groups and FieldsHardGroups and the Group Axioms

Groups and the Group Axioms · Hard problem

Define a∗b=a+b+2aba*b=a+b+2ab for a,ba,b in S=Q∖{−12}S=\mathbb{Q}\setminus\{-\tfrac12\}. Verify that (S,∗)(S,*) is a group with identity 00, and then find the inverse of 22 in this group.