Global determinism of semigroups having regular globals (Q520011): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The global, or power semigroup, of a semigroup \(S\) is the semigroup \(P(S)\) of all nonempty subsets of \(S\), equipped with set-wise multiplication. A class \({\mathcal C}\) of semigroups is \textit{globally determined} if any two members of \(S\) having isomorphic globals are themselves isomorphic, and the class is said to \textit{satisfy the strong isomorphism property} if, further, any isomorphism from one member of \({\mathcal C}\) to another maps the singleton subsets of the first to those of the second (thereby inducing a `canonical' isomorphism of the semigroups). By results of \textit{J. Pelikán} [Period. Math. Hung. 4, 103--106 (1973; Zbl 0277.20083)] and [\textit{B. Pondelicek}, in: Algebraic theory of semigroups, Proc. Conf. Szeged 1976, Colloq. Math. Soc. Janos Bolyai, 20, 453--461 (1979; Zbl 0408.20044)], if \(P(S)\) is regular, then it satisfies \(x^3 = x\) (and so is completely regular). It is shown here that (1) the class of semigroups for which the global satisfies \(x^2 = x\) (that is, it is a band) is globally determined and (2) the class for which the global is regular, but not a band, satisfies the strong isomorphism property. In combination, it follows that the class for which the global is regular is globally determined. The authors do not address the question of whether or not the entire class actually satisfies the strong isomorphism property. | |||
Property / review text: The global, or power semigroup, of a semigroup \(S\) is the semigroup \(P(S)\) of all nonempty subsets of \(S\), equipped with set-wise multiplication. A class \({\mathcal C}\) of semigroups is \textit{globally determined} if any two members of \(S\) having isomorphic globals are themselves isomorphic, and the class is said to \textit{satisfy the strong isomorphism property} if, further, any isomorphism from one member of \({\mathcal C}\) to another maps the singleton subsets of the first to those of the second (thereby inducing a `canonical' isomorphism of the semigroups). By results of \textit{J. Pelikán} [Period. Math. Hung. 4, 103--106 (1973; Zbl 0277.20083)] and [\textit{B. Pondelicek}, in: Algebraic theory of semigroups, Proc. Conf. Szeged 1976, Colloq. Math. Soc. Janos Bolyai, 20, 453--461 (1979; Zbl 0408.20044)], if \(P(S)\) is regular, then it satisfies \(x^3 = x\) (and so is completely regular). It is shown here that (1) the class of semigroups for which the global satisfies \(x^2 = x\) (that is, it is a band) is globally determined and (2) the class for which the global is regular, but not a band, satisfies the strong isomorphism property. In combination, it follows that the class for which the global is regular is globally determined. The authors do not address the question of whether or not the entire class actually satisfies the strong isomorphism property. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Peter R. Jones / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20M10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20M17 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6699247 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
global | |||
Property / zbMATH Keywords: global / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
idempotent semigroup | |||
Property / zbMATH Keywords: idempotent semigroup / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
regular power semigroup | |||
Property / zbMATH Keywords: regular power semigroup / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s10998-015-0107-y / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2246555668 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4846425 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4484922 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5584555 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On power varieties of semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3758116 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3760741 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On semigroups, in which products are equal to one of the factors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5583883 / 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: GLOBAL DETERMINISM OF CLIFFORD SEMIGROUPS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3222376 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semilattices are globally determined / 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: Globals of completely regular periodic semigroups / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:22, 13 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Global determinism of semigroups having regular globals |
scientific article |
Statements
Global determinism of semigroups having regular globals (English)
0 references
31 March 2017
0 references
The global, or power semigroup, of a semigroup \(S\) is the semigroup \(P(S)\) of all nonempty subsets of \(S\), equipped with set-wise multiplication. A class \({\mathcal C}\) of semigroups is \textit{globally determined} if any two members of \(S\) having isomorphic globals are themselves isomorphic, and the class is said to \textit{satisfy the strong isomorphism property} if, further, any isomorphism from one member of \({\mathcal C}\) to another maps the singleton subsets of the first to those of the second (thereby inducing a `canonical' isomorphism of the semigroups). By results of \textit{J. Pelikán} [Period. Math. Hung. 4, 103--106 (1973; Zbl 0277.20083)] and [\textit{B. Pondelicek}, in: Algebraic theory of semigroups, Proc. Conf. Szeged 1976, Colloq. Math. Soc. Janos Bolyai, 20, 453--461 (1979; Zbl 0408.20044)], if \(P(S)\) is regular, then it satisfies \(x^3 = x\) (and so is completely regular). It is shown here that (1) the class of semigroups for which the global satisfies \(x^2 = x\) (that is, it is a band) is globally determined and (2) the class for which the global is regular, but not a band, satisfies the strong isomorphism property. In combination, it follows that the class for which the global is regular is globally determined. The authors do not address the question of whether or not the entire class actually satisfies the strong isomorphism property.
0 references
global
0 references
idempotent semigroup
0 references
regular power semigroup
0 references