Globals of completely regular periodic semigroups (Q802021): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: Q3848243 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Globally determined classes of semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Globally determined lattices and semilattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semilattices are globally determined / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Décompositions I-matricielles d'un demigroupe / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-isomorphic semigroups with isomorphic semigroups of subsets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Isomorphism problem of power semigroups of completely 0-simple semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3969123 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5583883 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1984083370 / rank | |||
Normal rank |
Latest revision as of 09:36, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Globals of completely regular periodic semigroups |
scientific article |
Statements
Globals of completely regular periodic semigroups (English)
0 references
1984
0 references
The global (power semigroup) \({\mathcal P}(S)\) of a semigroup S is the family of all non-empty subsets of a semigroup S with operation defined by \(AB=\{ab:\quad a\in A,\quad b\in B\}\) for all A,B\(\in {\mathcal P}(S)\). A class \({\mathcal K}\) of semigroups is said to be globally determined if \({\mathcal P}(S)\cong {\mathcal P}(T)\), \(T\in {\mathcal K}\), implies \(S\cong T\). In this paper the global determinacy of the following classes is established: (1) the class of all completely regular periodic monoids with irreducible identity element, (2) the class of all orthogonal sums of such semigroups and (3) the class of all orthogonal sums of groups. An element \(x\in S\) is called irreducible if y,z\(\in S\) and \(x=yz\) implies \(x=y\) or \(x=z\). For (1) the key is to characterize singleton idempotents. It is noted that if S,T\(\in {\mathcal K}\) and \(\psi\) : \({\mathcal P}(S)\to {\mathcal P}(T)\) is an isomorphism then the restriction of \(\psi\) to singletons is an isomorphism of S onto T. In (2) the orthogonal sum \(S=\sum_{i\in I}S_ i\) is defined to be the union \(\cup_{i\in I}S_ i\cup \{0\}\) where \(0\not\in S_ i\) for any \(i\in I\). The operation in S(\(\cdot)\) is given by \(x\cdot y=xy\) if \(x,y\in S_ i\) and \(x\cdot y=0\) if \(x\in S_ i\) and \(y\in S_ j\) with \(i\neq j\), and \(0\cdot 0=0\). (3) is obtained as a corollary to (2).
0 references
power semigroup
0 references
globally determined
0 references
global determinacy
0 references
completely regular periodic monoids
0 references
orthogonal sums of groups
0 references
idempotents
0 references