Das arithmetische Mittel und freie Mittelpunkt-Algebren

Dieser Artikel hat sich aus der Frage motiviert, welche Rechenregeln das arithmetische Mittel $$\overline{m}(a,b) = \frac{a+b}{2}$$reeller Zahlen erfüllt. Man erkennt relativ schnell
$$\overline{m}(a,a)=a, \quad \overline{m}(a,b)=\overline{m}(b,a).$$Es gilt auch
$$\overline{m}(\overline{m}(a,b),\overline{m}(a',b'))= \overline{m}(\overline{m}(a,a'),\overline{m}(b,b')),$$weil beide Seiten $(a+b+a'+b')/4$ sind. Zwar erfüllt $\overline{m}$ auch weitere Relationen wie z.B. $\overline{m}(\lambda \cdot a,\lambda \cdot b) = \lambda  \cdot \overline{m}(a,b)$, aber hierbei wird die Skalarmultiplikation $\cdot$ genutzt, welche also eigentlich eine weitere Operation darstellt. Wir möchten uns aber auf die Operation $\overline{m}$ beschränken. Tatsächlich kann man zeigen, dass $\overline{m}$ keine weiteren Relationen erfüllt; natürlich abgesehen von denen, die aus den genannten Relationen folgen, wie etwa
$$\overline{m}(a,\overline{m}(b,c)) = \overline{m}(\overline{m}(a,b),\overline{m}(a,c)).$$Mit dem Begriff der Mittelpunkt-Algebra und insbesondere der Struktur von freien Mittelpunkt-Algebren lässt sich diese Aussage genauer fassen und auch beweisen. Für das allgemeine arithmetische Mittel
$$\overline{m}(a_1,\dotsc,a_q) = (a_1+\cdots+a_q)/q$$kann man dann genauso vorgehen.