Lie group
子流形在李群理论中出现频繁，因为很多李群可以视为非退缩矩阵乘法群的子流形兼子群。