{"id":"arxiv/2610.24555","url":"https://arxiv.org/abs/2610.24555","tags":["math.RA"],"score":0,"title":"Special identities of nonsymmetric bicommutative operations in associative algebra with an operator","domain":"math.RA","source":"arxiv","authors":["Bauyrzhan Sartayev","Abdibek Ydyrys"],"reviews":0,"subject":"math.RA","summary":"Let $A$ be an associative non-unital algebra with a linear operator $S$ satisfying \\[aS(S(b)c)=S(aS(b))c,\\] and define $a\\prec b=aS(b)$ and $a\\succ b=S(a)b$. We determine the special identities of these two operations. If $K_n$ is the arity-$n$ kernel of the corresponding operad morphism and $D_n$ is the space of consequences of smaller-arity kernel elements, then for every $n\\geq8$ the quotient $K_n/D_n$ has dimension $n-2$. A basis is given by the classes of $F_{n-2}$, $ρF_{n-2}$, $G_{n-3}$, $ρG_{n-3}$, $J_{n-4}$, $ρJ_{n-4}$ and $H_{p,n-p-1}$, $4\\leq p\\leq n-5$. The upper bound is proved…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-17","reactions":{}}