Emergent algebras as combinatory logic (Part I)

At some point this new thread I am starting now will meet the Towards qubits thread. Definition 1.  Let   be a commutative group with neutral element denoted by and operation denoted multiplicatively. A idempotent quasigroup is a set endowed with a family of operations ,  indexed by , such that: For any the pair [...]