MathCastle
Groups and FieldsEasyGroups and the Group Axioms

Groups and the Group Axioms · Easy problem

Define an operation a∗b=a+b2a*b=\dfrac{a+b}{2} on the set S={0,2,4,6}S=\{0,2,4,6\} of even integers. Is ∗* a binary operation on SS? If not, give a pair (a,b)∈S×S(a,b)\in S\times S for which a∗b∉Sa*b\notin S.