Lie group
這些群提供了李群的重要例子。