Right projective semigroups with 0 (Q1602661): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Ulrich Knauer / rank | |||
Property / reviewed by | |||
Property / reviewed by: Ulrich Knauer / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4693062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rees matrix rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Functors into categories of M-sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pullback-Flat Acts are Strongly Flat / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Absolutely flat semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3848243 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4286317 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Idempotent bounded C-semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4196606 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On monoids over which all strongly flat cyclic right acts are projective / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Projectivity of acts and Morita equivalence of monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3853827 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5604482 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5598318 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5583884 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Flatness and localization over monoids / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:06, 4 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Right projective semigroups with 0 |
scientific article |
Statements
Right projective semigroups with 0 (English)
0 references
24 June 2002
0 references
Here \(S\) always denotes a semigroup with zero 0, right \(S\)-objects (= right \(S\)-acts) \(M_S\) and \(S\)-homomorphisms are defined as usual with the additional requirement that \(M_S\) has a distinguished zero element \(0_M\) such that \(_M0=0_M\). Set \(A:=S\setminus S^2\) and \(I:=\bigcap_{1\leq i\leq\infty}S^i\), \(\langle A\rangle\) the subsemigroup generated by \(A\), \(T:=\langle A\rangle\cup\{0\}\), \(B:=\bigcap_{1\leq i\leq\infty}T^iI\) and assume that \(A\not=\emptyset\). The following ist proved: The semigroup \(S\) is right projective iff (a) \(A\) is a set of left cancellable elements, (b) \(aI\cap bI=\{0\}\) for all \(a,b\in A\) such that \(a\not=b\), (c) every maximal indecomposable right ideal is a principal right ideal, and (d) every maximal principal right ideal \(R\) with \(R=RS\) is isomorphic with an idempotent-generated right ideal. Let now \(S\) be a semigroup with \(0\) which is a disjoint union of a subsemigroup \(T\) such that \(\bigcap_{1\leq i<\infty}T^i=\{0\}\) and a two-sided ideal \(I\subseteqq S^2\). Then the following are equivalent: (0) \(S\) is a free semigroup with 0. (1) \(S^2\not=S\), \(S\) is 0-cancellative, \(S_S\) projective, and \(I_S\) finitely generated. (2) \(S\) is 0-cancellative, \(S_S\) free, and \(I_S\) finitely generated. (3) \(S\) is right 0-cancellative, \(S_S\) projective, \(B_S\) finitely generated, and \(K^2\not=K\) for every non-zero ideal \(K\). (4) \(S\) is right free and satisfies the restricted minimal condition for principal right ideals. (5) \(S\) is right free and satisfies the restricted minimal condition for principal ideals. (6) \(S\) is right 0-cancellative and \(S_S\) and \(B_B\) are free. (7) \(S_S\) and \(_SI\) are free. Moreover, a structural characterization of concatenation monoids of bound \(\omega +1\) and of their right free Rees factor semigroups is given. The semigroup \(S\) as bioperand \(_SS_S\) is projective iff \(S=S^2\) and \(S\) is isomorphic with a 0-disjoint union of ideals which are Ress matrix semigroups over the two-element monoid \(\{0,1\}\). In the final section ``generalizations'' the author considers flatness properties from monoid acts and adopts them for semigroups acts. He suggests to consider right projective semigroups with respect to certain sets of identities. Finally he lists some observations about rings considered as semigroups over Abelian groups.
0 references
centered acts
0 references
operands
0 references
projective biacts
0 references
concatenation monoids
0 references
right semigroup acts
0 references
right projective semigroups
0 references
principal right ideals
0 references
maximal ideals
0 references
Rees matrix semigroups
0 references
flatness
0 references