An ordered pair (e, f) of idempotents of a regular semigroup is called a skew pair if ef is not idempotent whereas fe is idempotent. We have shown previously that there are four distinct types of skew pairs of idemp...An ordered pair (e, f) of idempotents of a regular semigroup is called a skew pair if ef is not idempotent whereas fe is idempotent. We have shown previously that there are four distinct types of skew pairs of idempotents. Here we investigate the ubiquity of such skew pairs in full transformation semigroups.展开更多
Let T n be the full transformation semigroup on the n-element set X n . For an arbitrary integer r such that 2 ≤ r ≤ n-1, we completely describe the maximal subsemigroups of the semigroup K(n, r) = {α ∈? T n : |im...Let T n be the full transformation semigroup on the n-element set X n . For an arbitrary integer r such that 2 ≤ r ≤ n-1, we completely describe the maximal subsemigroups of the semigroup K(n, r) = {α ∈? T n : |im α| ≤ r}. We also formulate the cardinal number of such subsemigroups which is an answer to Problem 46 of Tetrad in 1969, concerning the number of subsemigroups of T n .展开更多
For a finite discrete topological space X with at least two elements,a nonempty setГ,and a map p■is a generalized shift.In this text for■is bijective}we study proximal relations of transformation semigroups(S,X^(Г...For a finite discrete topological space X with at least two elements,a nonempty setГ,and a map p■is a generalized shift.In this text for■is bijective}we study proximal relations of transformation semigroups(S,X^(Г))and(H,XX^(Г)).Regarding proximal relation we prove:■is infinite■.Moreover,for infinite T,both transformation semigroups(S,X^(Г)and(H,XX^(Г))are regionally proximal,i.e.,■is finite.展开更多
Let Tx be the full transformation semigroup on a set X. For a non-trivial equivalence F on X, letTF(X) = {f ∈ Tx : arbieary (x, y) ∈ F, (f(x),f(y)) ∈ F}.Then TF(X) is a subsemigroup of Tx. Let E be ano...Let Tx be the full transformation semigroup on a set X. For a non-trivial equivalence F on X, letTF(X) = {f ∈ Tx : arbieary (x, y) ∈ F, (f(x),f(y)) ∈ F}.Then TF(X) is a subsemigroup of Tx. Let E be another equivalence on X and TFE(X) = TF(X) ∩ TE(X). In this paper, under the assumption that the two equivalences F and E are comparable and E lohtain in F, we describe the regular elements and characterize Green's relations for the semigroup TFE(X).展开更多
In 2006, Sanwong and Sullivan described the maximal congruences on the semigroup N consisting of all non-negative integers under standard multiplication, and on the semigroup T(X) consisting of all total transformat...In 2006, Sanwong and Sullivan described the maximal congruences on the semigroup N consisting of all non-negative integers under standard multiplication, and on the semigroup T(X) consisting of all total transformations of an infinite set X under composition. Here, we determine all maximal congruences on the semigroup Zn under multiplication modulo n. And, when Y lohtain in X, we do the same for the semigroup T(X, Y) consisting of all elements of T(X) whose range is contained in Y. We also characterise the minimal congruences on T(X. Y).展开更多
We generalize an important theorem of Fred Galvin from the Stone-Cˇech compactification βT of any discrete semigroup T to any compact Hausdorff right-topological semigroup with a dense topological center;and then ap...We generalize an important theorem of Fred Galvin from the Stone-Cˇech compactification βT of any discrete semigroup T to any compact Hausdorff right-topological semigroup with a dense topological center;and then apply it to Ellis' semigroups to prove that a point is distal if and only if it is IP*-recurrent, for any semiflow(T, X) with arbitrary compact Hausdorff phase space X not necessarily metrizable and with arbitrary phase semigroup T not necessarily cancelable.展开更多
文摘An ordered pair (e, f) of idempotents of a regular semigroup is called a skew pair if ef is not idempotent whereas fe is idempotent. We have shown previously that there are four distinct types of skew pairs of idempotents. Here we investigate the ubiquity of such skew pairs in full transformation semigroups.
基金supported by N.S.F.of Zhejiang Province and Hangzhou Teachers College
文摘Let T n be the full transformation semigroup on the n-element set X n . For an arbitrary integer r such that 2 ≤ r ≤ n-1, we completely describe the maximal subsemigroups of the semigroup K(n, r) = {α ∈? T n : |im α| ≤ r}. We also formulate the cardinal number of such subsemigroups which is an answer to Problem 46 of Tetrad in 1969, concerning the number of subsemigroups of T n .
文摘For a finite discrete topological space X with at least two elements,a nonempty setГ,and a map p■is a generalized shift.In this text for■is bijective}we study proximal relations of transformation semigroups(S,X^(Г))and(H,XX^(Г)).Regarding proximal relation we prove:■is infinite■.Moreover,for infinite T,both transformation semigroups(S,X^(Г)and(H,XX^(Г))are regionally proximal,i.e.,■is finite.
基金the Natural Science Found of Henan Province (No.0511010200)the Doctoral Fund of Henan Polytechnic University (No.2009A110007)the Natural Science Research Project for Education Department of Henan Province (No.2009A110007)
文摘Let Tx be the full transformation semigroup on a set X. For a non-trivial equivalence F on X, letTF(X) = {f ∈ Tx : arbieary (x, y) ∈ F, (f(x),f(y)) ∈ F}.Then TF(X) is a subsemigroup of Tx. Let E be another equivalence on X and TFE(X) = TF(X) ∩ TE(X). In this paper, under the assumption that the two equivalences F and E are comparable and E lohtain in F, we describe the regular elements and characterize Green's relations for the semigroup TFE(X).
文摘In 2006, Sanwong and Sullivan described the maximal congruences on the semigroup N consisting of all non-negative integers under standard multiplication, and on the semigroup T(X) consisting of all total transformations of an infinite set X under composition. Here, we determine all maximal congruences on the semigroup Zn under multiplication modulo n. And, when Y lohtain in X, we do the same for the semigroup T(X, Y) consisting of all elements of T(X) whose range is contained in Y. We also characterise the minimal congruences on T(X. Y).
基金supported by National Natural Science Foundation of China (Grant Nos. 11431012 and 11271183)PAPD of Jiangsu Higher Education Institutions
文摘We generalize an important theorem of Fred Galvin from the Stone-Cˇech compactification βT of any discrete semigroup T to any compact Hausdorff right-topological semigroup with a dense topological center;and then apply it to Ellis' semigroups to prove that a point is distal if and only if it is IP*-recurrent, for any semiflow(T, X) with arbitrary compact Hausdorff phase space X not necessarily metrizable and with arbitrary phase semigroup T not necessarily cancelable.