Abstract:The notions of a post-group and a pre-group are introduced as a unification and enrichment of several group structures appearing in diverse areas from numerical integration to the Yang-Baxter equation. First the Butcher group from numerical integration on Euclidean spaces and the $\mathcal{P}$-group of an operad $\mathcal{P}$ naturally admit a pre-group structure. Next a relative Rota-Baxter operator on a group naturally splits the group structure to a post-group structure. Conversely, a post-group gives rise to a relative Rota-Baxter operator on the sub-adjacent group. Further a post-group gives a braided group and a solution of the Yang-Baxter equation. Indeed the category of post-groups is isomorphic to the category of braided groups and the category of skew-left braces. Moreover a post-Lie group differentiates to a post-Lie algebra structure on the vector space of left invariant vector fields, showing that post-Lie groups are the integral objects of post-Lie algebras. Finally, post-Hopf algebras and post-Lie Magnus expansions are utilized to study the formal integration of post-Lie algebras. As a byproduct, a post-group structure is explicitly determined on the Lie-Butcher group from numerical integration on manifolds.

PostLie algebra structures on the Lie algebra sl(2,C)

Post-Lie algebra structures for perfect Lie algebras

Post-Lie algebras in Regularity Structures

Commutative post-Lie algebra structures and linear equations for nilpotent Lie algebras

Post-groups, (Lie-)Butcher groups and the Yang-Baxter equation

A Lie algebra attached to a projective variety

Post-Lie algebras of derivations and regularity structures

Structure and Representations for Electrical Lie Algebra of Type

The Local Structure of Lie Bialgebroids

Commutative post-Lie algebra structures on Lie algebras

Simple extended Lie Rinehart algebras and their classifications

Subalgebras of Lie algebras. Example of sl(3,R) revisited

Post-Lie Algebra Structure of Manifolds with Constant Curvature and Torsion

Free post-groups, post-groups from group actions, and post-Lie algebras

Theory Structure of N-Lie H-Pseudoalgebras

Lie Algebra Structures on Cohomology Complexes of Some H-pseudoalgebras

An infinite-rank Lie algebra associated to SL$(2,\mathbb R)$ and SL$(2,\mathbb R)/U(1)$

Structure constants for simple Lie algebras from principal $\mathfrak{sl}_2$-triple

Classification of (n+2)-dimensional n-Lie Algebras