可达子群

accessible subgroup