• Bulletin of the Korean Mathematical Society
• /
• v.50 no.2
• /
• pp.627-637
• /
• 2013

Let [$n$] = {1, 2, ${\ldots}$, $n$} be ordered in the standard way. The order-preserving full transformation semigroup ${\mathcal{O}}_n$ is the set of all order-preserving singular full transformations on [$n$] under composition. For this semigroup we describe maximal subsemibands, maximal regular subsemibands, locally maximal regular subsemibands, and completely obtain their classification.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.495-506
• /
• 2016

In this note we consider the monoid $\mathcal{PODI}_n$ of all monotone partial permutations on $\{1,{\ldots},n\}$ and its submonoids $\mathcal{DP}_n$, $\mathcal{POI}_n$ and $\mathcal{ODP}_n$ of all partial isometries, of all order-preserving partial permutations and of all order-preserving partial isometries, respectively. We prove that both the monoids $\mathcal{POI}_n$ and $\mathcal{ODP}_n$ are quotients of bilateral semidirect products of two of their remarkable submonoids, namely of extensive and of co-extensive transformations. Moreover, we show that $\mathcal{PODI}_n$ is a quotient of a semidirect product of $\mathcal{POI}_n$ and the group $\mathcal{C}_2$ of order two and, analogously, $\mathcal{DP}_n$ is a quotient of a semidirect product of $\mathcal{ODP}_n$ and $\mathcal{C}_2$.

• 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$.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.3
• /
• pp.589-602
• /
• 1999

There are some advantages of developing applications based on the object oriented concepts. One os them is that it is possible to reuse the existing designs and products. This paper provides a formal method for the reorganization of class hierarchies for the object extension in the object oriented design phase. In this paper, we introduce classes, and edges to represent the inheritance and aggregation relationship between classes. Based on the graph, we define an order relation(called the object extension) between class hierarchy graphs. And also we present a set of five basic transformations preserving the object extension relation. The set is proven to be correct and complete. The results of this paper help form a theoretical basis for the extension and reorganization object-oriented application systems.