Classification of monoids by injectivities. I: C-injectivity. (Q2480772): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Created claim: Wikidata QID (P12): Q122980887, #quickstatements; #temporary_batch_1722203565125 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q122980887 / rank | |||
Normal rank |
Latest revision as of 23:08, 28 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Classification of monoids by injectivities. I: C-injectivity. |
scientific article |
Statements
Classification of monoids by injectivities. I: C-injectivity. (English)
0 references
3 April 2008
0 references
For a monoid \(S\), a right \(S\)-act \(A_S\) is called `C-injective' if for any cyclic \(S\)-act \(M_S\), any homomorphism \(f\colon M_S\to A_S\) can be extended to any right \(S\)-act \(N_S\supseteq M_S\). It is proved that all right ideals of \(S\) (or, equivalently, all principal right ideals of \(S\)) are C-injective if and only if \(S\) is a regular self-injective monoid. All \(S\)-acts (equivalently, all cyclic \(S\)-acts) are C-injective if and only if \(S\) has a left zero and for every right ideal \(K\) of \(S\), right congruences \(\mu,\lambda\) on \(S\), and every homomorphism \(f\in\Hom(\overline K_\mu,S/\lambda\)), there exists an element \(q\) of \(S\) such that \(f([m]_\mu)=[q]_\lambda m\) for each \([m]_\mu\in\overline K_\mu\), and \(s{\mathcal R}(K,\mu,\lambda,q)t\), \(s,t\in S\), implies that \((qs)\lambda(qt)\), where \((K,\mu,\lambda,q)\) is a certain right congruence on \(S\).
0 references
right acts
0 references
cyclic acts
0 references
C-injective principal right ideals
0 references
regular self-injective monoids
0 references
right congruences
0 references