{"id":"arxiv/2609.08314","url":"https://arxiv.org/abs/2609.08314","tags":["math.RA"],"score":0,"title":"A polynomial criterion for Jordan elements in a free associative algebra","domain":"math.RA","source":"arxiv","authors":["F. Mashurov","B. Sartayev"],"reviews":0,"subject":"math.RA","summary":"Let $J$ be the Jordan subalgebra of the free associative algebra $\\Q\\langle X\\rangle$ generated by $X$ and $1$ under $a\\cdot b=\\tfrac12(ab+ba)$. We give a polynomial criterion for an associative polynomial to belong to $J$. For every $n\\ge1$, Robbins' recursion gives a family of operators $T_α\\in\\Q[S_n]$, indexed by compositions of $n$ into parts $1$ and $2$. We prove that right multiplication by $U_n=\\sum_αT_α^\\dagger T_α$ has image $\\SJ(n)$, the space of multilinear Jordan elements. If its characteristic polynomial is $t^{e_n}q_n(t)$, where $q_n(0)\\ne0$, then $Π_n=I-q_n(U_n)/q_n(0)$ is an…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-08","reactions":{}}