SearcharxivSearch

arXiv · 2110.08178

COLIN implies LIN for emergent algebras

Abstract

Emergent algebras, first time introduced in arXiv:0907.1520 , are families of quasigroup operations indexed by a commutative group, which satisfy some algebraic relations and also topological (convergence and continuity) relations. Besides sub-riemannian geometry arXiv:math/0608536, they appear as a semantics of a family of graph-rewrite systems related to interaction combinators arXiv:2007.10288, or lambda calculus arXiv:1305.5786 . In arXiv:1807.02058 there is a lambda calculus version of emergent algebras. In this article we prove that for emergent algebras the condition (COLIN), or right-distributivity for emergent algebras, implies (LIN), or left-distributivity for emergent algebras. It means that any emergent algebra which is right-distributive has to come from a commutative group endowed with a family of dilations. This is surprising, because there are many examples of emergent algebras which satisfy (LIN), but not (COLIN), namely those who are associated to non-commutative conical groups, in particular to non-commutative Carnot groups.

Explore related subjects

Keep this discovery

BibTeXRIS

Marius Buliga. 2021-10-15. COLIN implies LIN for emergent algebras. https://arxiv.org/abs/2110.08178

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Reversibility and its asymptotic counting in Picard group

We investigate reversible elements in the Picard modular group $\mathrm{PSL}(2,\mathbb{Z}[i])$. We show that reversibility coincides with strong reversibility for Kleinian groups, in particular for the Picard group. We classify reversible elements in the Picard group and characterize loxodromic reversible elements up to conjugacy. We prove that each such conjugacy class contains exactly eight special representatives. We also obtain asymptotic estimates for the number of reversible conjugacy classes with bounded trace.

math.GR

Conjugator length in finitely generated groups

We describe all functions $\mathbb{N}\rightarrow \mathbb{N}$ that can be realized, up to the standard equivalence, as conjugator length functions of finitely generated groups. Furthermore, we show that any two increasing functions $f,g\colon \mathbb N\to \mathbb N$ can be simultaneously realized as conjugator length functions of finitely generated, commensurable (in particular, quasi-isometric) groups.

math.GR

The spectrum of conjugator length functions

A recent program tries to find which functions appear as conjugator length functions. In this note, we show that any (computable) increasing function larger than $n$ appears as $\mathrm{Cl}_G$ for some finitely generated (recursively presented) group. On the other hand, we demonstrate that either $\mathrm{Cl}_G$ must be constant or $\mathrm{Cl}_G(n)\succ n$. Combining these, we obtain a complete description of which functions appear as conjugator length functions of finitely generated groups.

math.GR