李子群

李子群与抽象群的子群相平行的概念。李群G的李子群为(H，φ)，其中H是李群，φ:H→G为李群同态，(H，φ)为G的浸入子流形。