{"id":"arxiv/2604.01486","url":"https://arxiv.org/abs/2604.01486","tags":["math.RA","math.CO"],"score":0,"title":"Translation Monoids and Recursive Evaluation in Finite Binary Algebras","domain":"math.RA","source":"arxiv","authors":["Volkan Yildiz"],"reviews":0,"subject":"math.RA","summary":"Let \\(A=(A,\\star)\\) be a finite binary algebra, not necessarily associative. For each \\(n\\geq 1\\), every full binary bracketing on \\(x_1,\\dots,x_n\\) determines an \\(n\\)-ary term operation on \\(A\\), and hence an evaluation word obtained by listing its values on \\(A^n\\) in lexicographic order. This produces an \\(m^n\\times C_{n-1}\\) array, where \\(m=|A|\\) and \\(C_{n-1}\\) is the \\((n-1)\\)st Catalan number. We show that the recursive structure of these arrays is governed by the translation monoid \\[ T(A)=\\langle L_a,R_a:a\\in A\\rangle\\leq A^A, \\qquad L_a(x)=a\\star x,\\quad R_a(x)=x\\star a. \\] More…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-01","reactions":{}}