Constructing an ample monoid from a weak Loganathan pair (Q444677): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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]\). | |||
Property / review text: 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]\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Peeter Normak / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18B40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20M50 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6066651 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
ample monoid | |||
Property / zbMATH Keywords: ample monoid / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
type A monoid | |||
Property / zbMATH Keywords: type A monoid / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Loganathan category pair | |||
Property / zbMATH Keywords: Loganathan category pair / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
weak Loganathan category pair | |||
Property / zbMATH Keywords: weak Loganathan category pair / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
abundant monoid | |||
Property / zbMATH Keywords: abundant monoid / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
adequate monoid | |||
Property / zbMATH Keywords: adequate monoid / rank | |||
Normal rank |
Revision as of 02:52, 30 June 2023
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