Abstract:We study commutators of congruences, idempotent endomorphisms and semidirect-product decompositions of heaps and trusses.
What problem does this paper attempt to address?
### What Problem Does the Paper Attempt to Solve?
The paper primarily investigates the structures of heaps and trusses and explores their applications in algebraic structures. Specifically, the paper attempts to address the following aspects:
1. **Properties of Heaps and Trusses**:
- A heap is an algebraic structure with a ternary operation. The paper studies the fundamental properties of this structure and its relationship with the ternary operation in detail.
- A truss is another algebraic structure, and the paper explores the connection between heaps and trusses.
2. **Conjugation and Semidirect Product Decompositions**:
- The study examines the commutators in heaps and trusses, as the ternary operation provides a natural concept of connectors.
- It explores the semidirect-product decompositions in heaps and trusses, i.e., how to decompose a structure into a combination of two substructures.
3. **Relation to the Yang-Baxter Equation**:
- Heaps and trusses are closely related to the set-theoretic solutions of the Yang-Baxter equation and left skew braces, making these structures significant in mathematics and physics.
4. **Natural Algebraic Structures**:
- Heaps and trusses provide natural algebraic structures to describe 3-dimensional Euclidean space without fixing an origin. For example, Newtonian cosmology can be described using heaps without choosing a specific origin.
5. **Study of Conjugation Operations**:
- The paper investigates the conjugation operations in heaps and trusses, exploring how to define and compute these operations.
- Conjugation operations are related to abelianity, solvability, and nilpotency in algebraic structures.
6. **Idempotent Endomorphisms and Semidirect Product Decompositions**:
- It explores the idempotent endomorphisms in heaps and trusses and studies how to perform semidirect product decompositions through these endomorphisms.
- The paper proves that heaps and trusses can be decomposed into combinations of substructures through idempotent endomorphisms.
Through the above research, the paper aims to deepen the understanding of heaps and trusses and explore the applications of these structures in algebraic theory and physics.