# Intriguing buildings of ternary relations?

Many individuals know with some buildings of binary relations, such as reflexivity, proportion and also transitivity.

What are the generally researched buildings of ternary (3-ary) relations?

If you can give an encouraging instance of why the building is intriguing that would certainly additionally be handy.

So far no one is in fact offering buildings, yet simply instances. I'll proceed that motif.

When Gauss specified make-up of square kinds, on the degree of square kinds what he specified was not actually a regulation of make-up yet a ternary relationship (3 square kinds $Q_1$, $Q_2$, and also $Q_3$ are "in make-up" if $Q_1(x,y)Q_2(x',y') = Q_3(B,B')$ where $B$ and also $B'$ are straight in $xx', xy', yx', yy'$). At the degree of correct equivalence courses of square kinds this comes to be a team regulation.

You can claim any kind of team regulation is specified by a ternary relationship $ghk = 1$ on the team. This fits the geometric summary and also enhancement of factors on an elliptic contour or Bhargava's analysis of Gauss's make-up.

One intriguing sort of ternary relationship is the "betweenness" relationship qualified by the Axioms of Order in Hilbert's Foundations of Geometry.

I anticipate ternary relations are commonly researched much less due to the fact that recognizing an intriguing one calls for far more engaged interpretations than is generally the instance for binary relations ...

One intriguing instance is "being Steiner triple system" (and also this is has a link with Qiaochu Yuan's comment : any kind of Steiner three-way system specifies commutative quasigroup).

Pythagorean triples generate a ternary relationship that has several intriguing buildings.

One class of instance emerges in Lie concept. Take $L$ a straightforward Lie algebra. After that there is a certain $\mathfrak{sl}(2)\subset L$, name take $E$ to be a highest possible origin, $F$ a cheapest origin, and also $H=[E,F]$. After that decay $L$ as a depiction of this subalgebra. You get $L=L_0\oplus L_1\otimes T \oplus \mathfrak{sl}(2)$. After that $L_1$ is a ternary system. This pleases a (made complex) identification. You can rebuild $L$ from the ternary system and also you require this identification for the Jacobi identification.

Related questions