What does it mean that to check if S( sub script A) is a group, we need to check that * is a binary operation?
i thought we only need to check that S( sub script A) satisfy the group axioms of associativity, inverse and identity?
how do i check that * is a binary operation then?
thanks!