Direct product, subdirect product, and representability in autometrized algebras (Q6540070)

Let \((A, +, 0, \leq, \ast)\) be a system. Then \(A\) is called an \textit{autometrized algebra} if and only if\N\begin{itemize}\N\item[(i)] \((A, +, 0)\) is a commutative semigroup with \(0\).\N\item[(ii)] \((A, \leq)\) is a partial ordered set and \(\leq\) is translation invariant, that is, for all \(a, b, c \in A\) then \(a\leq b \Rightarrow a+c\leq b+c\)\N\item[(iii)] \(\ast : A \times A \to A\) is autometric on \(A\), that is, \(\ast\) satisfies the metric operation axioms:\N\begin{itemize}\N\item[(M1)] \(a \ast b \geq 0 \text{ and } a \ast b = 0 \Leftrightarrow a = b\), for all \(a, b \in A\).\N\item[(M2)] \(a \ast b = b \ast a\), for all \(a, b \in A\).\N\item[(M3)] \(a \ast c \leq a \ast b + b \ast c\), for all \(a, b, c \in A\).\N\end{itemize}\N\end{itemize}\NIn the paper under review, the authors introduce some general concepts in the context of autometrized algebras. First, they provide definitions for the notions of direct product and distant ideals, discussing some basic facts. After that, they introduce the notion of directly indecomposable and present the concept of subdirect product. Some results about these concepts are shown. Another given definition is that of simple autometrized algebra and its behaviour is studied. It is also introduced the notion of subdirectly irreducibility and it is proved that every subdirectly irreducible monoid autometrized algebra is directly indecomposable. Finally, some properties of chain autometrized algebras are discussed and the definition of representability is provided. It is proved that if a weak chain monoid normal autometrized \(l\)-algebra is nil-radical, then it is representable.