Abstract:After providing a short review on the recently introduced notion of post-group by Bai, Guo, Sheng and Tang, we exhibit post-group counterparts of important post-Lie algebras in the literature, including the infinite-dimensional post-Lie algebra of Lie group integrators. The notion of free post-group is examined, and a group isomorphism between the two group structures associated to a free post-group is explicitly constructed.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
The paper "FREE POST - GROUPS, POST - GROUPS FROM GROUP ACTIONS, AND POST - LIE ALGEBRAS" aims to explore and expand the theories about **post - group** and **post - Lie algebras**. Specifically, the paper mainly focuses on the following aspects:
1. **Definition and properties of Post - group**:
- The author first reviews the concept of post - group recently introduced by Chengming Bai, Li Guo, Yunhe Sheng and Rong Tang.
- The basic definition and properties of post - group are explored, especially their relationship with pre - group.
2. **Important examples of Post - group**:
- Some important examples of post - group are provided, including the post - Lie algebras of infinite - dimensional Lie group integrators.
- The concept of free post - group is examined, and a group isomorphism between two group structures is constructed.
3. **Definition and properties of Weak post - group**:
- The concept of weakly twisted post - group is introduced, which is a relaxation of the definition of post - group.
- Some non - trivial examples of weak post - group are discussed, especially the weak post - group under group actions.
4. **Relationship between Post - Lie algebras and Lie group integrators**:
- The relationship between the post - Lie algebras naturally associated with Lie group actions and the post - Lie algebras of Lie group integrators is shown.
5. **Construction of Free post - group**:
- The free post - group generated by the left - regular diagonal magma is constructed, and its freeness is proved.
- A group isomorphism \( K: (FM, \ast) \to (FM, \cdot) \) is established, similar to Aleksei V. Gavrilov's K - map.
### Main contributions
- **Theoretical expansion**: The paper not only reviews the existing concepts of post - group and post - Lie algebras, but also further expands these theories and introduces new concepts such as weakly twisted post - group and free post - group.
- **Example analysis**: Through specific examples, the applications of these concepts in different mathematical structures are shown, especially in the context of Lie groups and Lie algebras.
- **Construction and proof**: Detailed construction methods and strict proofs are provided to ensure the rationality and validity of the new concepts.
### Formula display
Here are some key formulas, presented in Markdown format:
- **Definition of Post - group**:
\[
(a \ast b) \top c = a \top (b \top c)
\]
where \( a \ast b = a \cdot (a \top b) \).
- **Definition of weakly twisted Post - group**:
\[
(a \ast b) \top c = a \top (b \top c)
\]
where \( a \ast b = \varphi(a) \cdot (a \top b) \).
- **Construction of free Post - group**:
\[
L^\top_a \circ L^\top_b = L^\top_a \cdot (a \top b)
\]
- **Construction of group isomorphism**:
\[
K: (FM, \ast) \to (FM, \cdot)
\]
These formulas and definitions together form the paper.