Lie group

The term Lie group could refer to any of the following:

• Real Lie group, corresponding to the field of real numbers. This is the most typical usage. This is typically used for a finite-dimensional Lie group over the reals.
• Complex Lie group, corresponding to the field of complex numbers. This is also a fairly typical usage.
• p-adic Lie group
• Real Banach Lie group, which deals with a generalization of the concept of Lie group to possibly infinite-dimensional manifolds.
• Complex Banach Lie group