Right projective semigroups with 0 (Q1602661): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 05:03, 5 March 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