• 대한수학회보
• /
• 제24권1호
• /
• pp.55-55
• /
• 1987

• 대한수학회논문집
• /
• 제2권1호
• /
• pp.123-128
• /
• 1987

• 한국지능시스템학회논문지
• /
• 제5권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.

• 대한수학회보
• /
• 제51권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.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2001년도 춘계학술대회 학술발표 논문집
• /
• pp.25-28
• /
• 2001

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

• 대한수학회지
• /
• 제48권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.

• 호남수학학술지
• /
• 제35권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
• /
• 제27권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
• /
• 제30권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
• /
• 제42권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.