Idempotents in plenary train algebras (Q627963): Difference between revisions

A plenary train algebra is a baric algebra \((A,\omega)\) satisfying the identity: \[ x^{(n)}=\alpha_1\omega(x)^{2^{n-1}}x+\dots+\alpha_{n-1}\omega(x)^{2^{n-2}}x^{(n-1)}, \] where \(\sum\alpha_i=1\) and \(x^{(n)}\) is defined by \(x^{(1)}=x\), \(x^{(n)}={x^{(n-1)}}^2\). In this paper it is proved that, in many cases (i.e.; for most parameter choices of the train identity) these algebras also satisfy the identity \[ (x^2-\omega(x)x)^2=0. \] Sufficient condition for the existence of idempotents are also given.