Direct product, subdirect product, and representability in autometrized algebras

Partial orders, general (06A06) Structure theory of lattices (06B05) Representation theory of lattices (06B15) Commutative semigroups (20M14) Algebraic monoids (20M32)

Review text

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.

Recommendations

Cites work

This page was built for publication: Direct product, subdirect product, and representability in autometrized algebras

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