11.4.1 群及其基本性质