• Bulletin of the Korean Mathematical Society
• /
• v.49 no.5
• /
• pp.1015-1025
• /
• 2012

Let $[n]=\{1,2,{\cdots},n\}$, and let $PO_n$ be the partial order-preserving transformation semigroup on [n]. Let $$CPO_n=\{{\alpha}{\in}PO_n:({\forall}x,y{\in}dom{\alpha}),\;|x{\alpha}-y{\alpha}|{\leq}|x-y|\}$$ Then $CPO_n$ is a subsemigroup of $PO_n$. In this paper, we characterize Green's relations and the regularity of elements for $CPO_n$.

• Communications of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.217-227
• /
• 2016

Let X be a nonempty set, and let $\mathfrak{F}=\{Y_i:i{\in}I\}$ be a family of nonempty subsets of X with the properties that $X={\bigcup}_{i{\in}I}Y_i$, and $Y_i{\cap}Y_j={\emptyset}$ for all $i,j{\in}I$ with $i{\neq}j$. Let ${\emptyset}{\neq}J{\subseteq}I$, and let $T^{(J)}_{\mathfrak{F}}(X)=\{{\alpha}{\in}T(X):{\forall}i{\in}I{\exists}_j{\in}J,Y_i{\alpha}{\subseteq}Y_j\}$. Then $T^{(J)}_{\mathfrak{F}}(X)$ is a subsemigroup of the semigroup $T(X,Y^{(J)})$ of functions on X having ranges contained in $Y^{(J)}$, where $Y^{(J)}:={\bigcup}_{i{\in}J}Y_i$. For each ${\alpha}{\in}T^{(J)}_{\mathfrak{F}}(X)$, let ${\chi}^{({\alpha})}:I{\rightarrow}J$ be defined by $i{\chi}^{({\alpha})}=j{\Leftrightarrow}Y_i{\alpha}{\subseteq}Y_j$. Next, we define two congruence relations ${\chi}$ and $\widetilde{\chi}$ on $T^{(J)}_{\mathfrak{F}}(X)$ as follows: $({\alpha},{\beta}){\in}{\chi}{\Leftrightarrow}{\chi}^{({\alpha})}={\chi}^{({\beta})}$ and $({\alpha},{\beta}){\in}\widetilde{\chi}{\Leftrightarrow}{\chi}^{({\alpha})}{\mid}_J={\chi}^{({\alpha})}{\mid}_J$. We begin this paper by studying the regularity of the quotient semigroups $T^{(J)}_{\mathfrak{F}}(X)/{\chi}$ and $T^{(J)}_{\mathfrak{F}}(X)/{\widetilde{\chi}}$, and the semigroup $T^{(J)}_{\mathfrak{F}}(X)$. For each ${\alpha}{\in}T_{\mathfrak{F}}(X):=T^{(I)}_{\mathfrak{F}}(X)$, we see that the equivalence class [${\alpha}$] of ${\alpha}$ under ${\chi}$ is a subsemigroup of $T_{\mathfrak{F}}(X)$ if and only if ${\chi}^{({\alpha})}$ is an idempotent element in the full transformation semigroup T(I). Let $I_{\mathfrak{F}}(X)$, $S_{\mathfrak{F}}(X)$ and $B_{\mathfrak{F}}(X)$ be the sets of functions in $T_{\mathfrak{F}}(X)$ such that ${\chi}^{({\alpha})}$ is injective, surjective and bijective respectively. We end this paper by investigating the regularity of the subsemigroups [${\alpha}$], $I_{\mathfrak{F}}(X)$, $S_{\mathfrak{F}}(X)$ and $B_{\mathfrak{F}}(X)$ of $T_{\mathfrak{F}}(X)$.

• Communications of the Korean Mathematical Society
• /
• v.9 no.2
• /
• pp.285-291
• /
• 1994

This paper is a contribution to the study of the isomorphism problems for algebras. Among the isomorphism problems, that of global determination is investigated here. That is, our investigation of the problems is concerned with the question whether two algebras are isomorphic when their globals are isomorphic. The answer is not always affirmative. The counterexample, due to E. M. Mogiljanskaja, is the class of all infinite semigroups. But T. Tamura and J. Shafer [6] proved that the class of all groups is globally determined and announced the same result for the class of rectangular bands. Vazenin [7] proved that for any set X, the transformation semigroup $T_{X}$ must be isomorphic to any semigroup S for any P(S)$\simeq$P($T_{X}/TEX>).(omitted)

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.1
• /
• pp.109-126
• /
• 2012

In 2003, Marques-Smith and Sullivan described the join ${\Omega}$ of the 'natural order' $\leq$ and the 'containment order' $\subseteq$ on P(X), the semigroup under composition of all partial transformations of a set X. And, in 2004, Pinto and Sullivan described all automorphisms of PS(q), the partial Baer-Levi semigroup consisting of all injective ${\alpha}{\in}P(X)$ such that ${\mid}X{\backslash}X{\alpha}\mid=q$, where $N_0{\leq}q{\leq}{\mid}X{\mid}$. In this paper, we describe the group of automorphisms of R(q), the largest regular subsemigroup of PS(q). In 2010, we studied some properties of $\leq$ and $\subseteq$ on PS(q). Here, we characterize the meet and join under those orders for elements of R(q) and PS(q). In addition, since $\leq$ does not equal ${\Omega}$ on I(X), the symmetric inverse semigroup on X, we formulate an algebraic version of ${\Omega}$ on arbitrary inverse semigroups and discuss some of its properties in an algebraic setting.