设是一个群,如果对任意的a,b