11.4.2 子群