3.2.3 群的性质