2025-08-31

1270: Lie Group

<The previous article in this series | The table of contents of this series | The next article in this series>

definition of Lie group

Topics


About: group
About: \(C^\infty\) manifold

The table of contents of this article


Starting Context



Target Context


  • The reader will have a definition of Lie group.

Orientation


There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.


Main Body


1: Structured Description


Here is the rules of Structured Description.

Entities:
\(*G\): \(\in \{\text{ the groups }\} \cap \{\text{ the } C^\infty \text{ manifolds } \}\)
//

Conditions:
\(m: G \times G \to G, (g_1, g_2) \mapsto g_1 g_2 \in \{\text{ the } C^\infty \text{ maps }\}\), called "multiplication map"
\(i: G \to G, g \mapsto g^{-1} \in \{\text{ the } C^\infty \text{ maps }\}\), called "inversion map"
//


References


<The previous article in this series | The table of contents of this series | The next article in this series>