Constructing an ample monoid from a weak Loganathan pair (Q444677): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:16, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Constructing an ample monoid from a weak Loganathan pair |
scientific article |
Statements
Constructing an ample monoid from a weak Loganathan pair (English)
0 references
16 August 2012
0 references
Let \(S\) be a monoid and let \(a{\mathcal L}^*b\) (\(a{\mathcal R}^*b\)) if and only if \(a{\mathcal L}b\) (\(a{\mathcal R}b\)) in some overmonoid of \(S\). A monoid \(S\) is called abundant if each \({\mathcal R}^*\)-class and each \({\mathcal L}^*\)-class contains an idempotent. If the idempotents commute then an abundant monoid is called \textit{adequate}. The (unique) idempotent in an \({\mathcal R}^*\)-class (\({\mathcal L}^*\)-class) of an adequate monoid is denoted by \(a^+\) (\(a^*\)). An adequate monoid \(S\) is called ample if \(ea=a(ea)^*\) and \(ae=(ae)^+a\) for all elements \(a\) and idempotents \(e\) of \(S\). Given an ample monoid \(S\), the author constructs two categories \(\mathcal D_A(S)\) and \(\mathcal D_B(S)\) both having the set of idempotents of \(S\) as the set of objects, and describes the monomorphisms, epimorphisms, isomorphisms and pushouts in these categories. For a category \(\mathcal D\) and for its subcategory \(\mathcal E\) such that obj \(\mathcal E\) = obj \(\mathcal D\), a Loganathan category pair and a weak Loganathan category pair -- both denoted by (\(\mathcal D\), \(\mathcal E\)) -- are defined. It turned out that for \(\mathcal E=\mathcal E(S)\) with the set of morphisms Mor \(\mathcal E\) = \(\{(e,f,f): e,f\in \mathcal E(S)\) and \(f\leq e\}\), the pairs \((\mathcal D_A(S), \mathcal E)\) and \((\mathcal D_B(S), \mathcal E)\) are both weak Loganathan category pairs. Moreover, for an arbitrary weak Loganathan category pair (\(\mathcal D\), \(\mathcal E\)), an ample monoid \(S[\mathcal D,\mathcal E]\) can be constructed such that an arbitrary ample monoid \(S\) is isomorphic to \(S[\mathcal D_A(S), \mathcal E]\).
0 references
ample monoid
0 references
type A monoid
0 references
Loganathan category pair
0 references
weak Loganathan category pair
0 references
abundant monoid
0 references
adequate monoid
0 references