• Bulletin of the Korean Mathematical Society
• /
• v.24 no.1
• /
• pp.55-55
• /
• 1987

• Communications of the Korean Mathematical Society
• /
• v.2 no.1
• /
• pp.123-128
• /
• 1987

• Journal of the Korean Institute of Intelligent Systems
• /
• v.5 no.4
• /
• pp.3-11
• /
• 1995

In this paper we introduce the notions of a TL-state machines, an admissible relation and a TL-transformation semigroup and discuss their basic properties.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.6
• /
• pp.1841-1850
• /
• 2014

It is known that the ranks of the semigroups $\mathcal{SOP}_n$, $\mathcal{SPOP}_n$ and $\mathcal{SSPOP}_n$ (the semigroups of orientation preserving singular self-maps, partial and strictly partial transformations on $X_n={1,2,{\ldots},n}$, respectively) are n, 2n and n + 1, respectively. The idempotent rank, defined as the smallest number of idempotent generating set, of $\mathcal{SOP}_n$ and $\mathcal{SSPOP}_n$ are the same value as the rank, respectively. Idempotent can be seen as a special case (with m = 1) of m-potent. In this paper, we investigate the m-potent ranks, defined as the smallest number of m-potent generating set, of the semigroups $\mathcal{SOP}_n$, $\mathcal{SPOP}_n$ and $\mathcal{SSPOP}_n$. Firstly, we characterize the structure of the minimal generating sets of $\mathcal{SOP}_n$. As applications, we obtain that the number of distinct minimal generating sets is $(n-1)^nn!$. Secondly, we show that, for $1{\leq}m{\leq}n-1$, the m-potent ranks of the semigroups $\mathcal{SOP}_n$ and $\mathcal{SPOP}_n$ are also n and 2n, respectively. Finally, we find that the 2-potent rank of $\mathcal{SSPOP}_n$ is n + 1.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2001.05a
• /
• pp.25-28
• /
• 2001

We introduce sums and joins of fuzzy finite state machines and investigate their algebraic structures.

• Journal of the Korean Mathematical Society
• /
• v.48 no.2
• /
• pp.289-300
• /
• 2011

Let T(X) denote the semigroup (under composition) of transformations from X into itself. For a fixed nonempty subset Y of X, let S(X, Y) = {${\alpha}\;{\in}\;T(X)\;:\;Y\;{\alpha}\;{\subseteq}\;Y$}. Then S(X, Y) is a semigroup of total transformations of X which leave a subset Y of X invariant. In this paper, we characterize when S(X, Y) is isomorphic to T(Z) for some set Z and prove that every semigroup A can be embedded in S($A^1$, A). Then we describe Green's relations for S(X, Y) and apply these results to obtain its group H-classes and ideals.

• Honam Mathematical Journal
• /
• v.35 no.4
• /
• pp.607-623
• /
• 2013

Operational properties of cubic sets are first investigated. The notion of cubic subsemigroups and cubic left (resp. right) ideals are introduced, and several properties are investigated. Relations between cubic subsemigroups and cubic left (resp. right) ideals are discussed. Characterizations of cubic left (resp. right) ideals are considered, and how the images or inverse images of cubic subsemigroups and cubic left (resp. right) ideals become cubic subsemigroups and cubic left (resp. right) ideals, respectively, are studied.

• Korean Journal of Mathematics
• /
• v.27 no.2
• /
• pp.269-277
• /
• 2019

Let X be a nonempty set, ${\rho}$ be an equivalence on X, T(X) be the semigroup of all transformations from X into itself, and $T_{\rho}(X)=\{f{\in}T(X)|(x,y){\in}{\rho}{\text{ implies }}((x)f,\;(y)f){\in}{\rho}\}$. In this paper, we investigate some necessary and sufficient conditions for elements in $T_{\rho}(X)$ to be left or right magnifying.

• Korean Journal of Mathematics
• /
• v.30 no.1
• /
• pp.109-119
• /
• 2022

In this paper, we present a new definition of conjugacy that can be applied to an arbitrary semigroup and it does not reduce to the universal relation in semigroups with a zero. We compare the new notion of conjugacy with existing notions, characterize the conjugacy in subsemigroups of partial transformations through digraphs and restrictive partial homomorphisms.

• Journal of applied mathematics & informatics
• /
• v.42 no.2
• /
• pp.237-243
• /
• 2024

A similarity transformation of a solution of the Cauchy problem for the linear difference equation in Hilbert space has been studied. In this manuscript, we obtain necessary and sufficient conditions for linear equivalence of the discrete semigroup of operators, generated by the solution of the difference equation utilizing four Canonical semigroups.