合理群

rational subgroup