MathCastle
Groups and FieldsMediumGroups and the Group Axioms

Groups and the Group Axioms · Medium problem

The positive rationals Q+\mathbb Q^+ with the operation a∗b=a/ba*b=a/b (division). Which group axiom fails FIRST, checking in the order closure, associativity, identity, inverses?