Decide which of the following pairs $(G,*)$ are groups; for those which are, say what the identity and inverses are, and for the ones which aren't, say which axiom fails.

d. $G=(0,\infty)$ with $*$ given by $g*h :=\sqrt{gh}$

What does this $:=$ mean?

If it means what I think it means, which is that the binary operation is defined by $\sqrt{gh}$, then would the identity and inverse for $a\in G $ be $a$.

Also, how would I prove associativity i.e. $(g*h)*z=g*(h*z)$

  • 3
    $\begingroup$ Your interpretation is correct, but the Identity element must be the identity, independent of anything. $\endgroup$ – AlexR Mar 6 '15 at 1:36

The notation $:=$ means "is defined to be". The set you give is not a group under that operation as there is no unique identity element.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.