Peirce-evanescent baric identities

DOI10.1016/J.JALGEBRA.2020.08.006MaRDI QIDQ2201063zbMATH OpenOpenAlexFDO

Publication date 25 September 2020

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jalgebra.2020.08.006

\(T\)-ideal algebraic systems altitude of a polynomial baric algebras labeled rooted binary trees mutation algebras Peirce polynomial polynomial identities variety of algebraic systems

Mathematics Subject Classification ID

Nonassociative algebras satisfying other identities (17A30) Genetic algebras (17D92)

Review text

In an algebra \(A\) an element \(e\in A\) is an \textit{idempotent} if \(e^2=e\). If \(A\) is associative, then \(e^2x-ex=0\) for every \(x\in A\) and then the left multiplication \(L_e\) is annihilated by the polynomial \(X^2-X\). If \(A\) is not associative, then \(X^2-X\) need not annihilate \(L_e\) but, if we assume that \(A\) satisfies some other identity, it is sometimes possible to find the annihilator of \(L_e\), which is called the \textit{Peirce polynomial of \(A\)} and use it to obtain the so-called \textit{Peirce decomoposition} of the algebra \(A\). However, for some classes of algebras the Peirce polynomial turns out to be the null polynomial and, hence, it does not lead to the Peirce decomposition of \(A\). In such a setting, the author calls the identity satisfied by the algebra \textit{Peirce-evanescent}. In this paper, the author focuses on Peirce-evanescent identities in the context of baric algebras; i.e., \(K\)-algebras \(A\) endowed with an algebra homomorphism \(w:A\rightarrow K\). In this setting, procedures for constructing such homogeneous and non homogeneous identities are given. Many particular examples are worked out, obtaining a little more than 250 evanescent identities.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Peirce-evanescent baric identities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2201063)