• Honam Mathematical Journal
• /
• v.38 no.1
• /
• pp.95-125
• /
• 2016

In this paper, we study more general version of the paper [J. H. Lee, I. S. Kong, H. S. Kim and J. U. Jung, Generalized int-soft subsemigroups, Ann. Fuzzy Math. Inform. 8(6) (2014) 869-887]. We introduce the notion of int-soft semigroup with two thresholds ${\varepsilon}$ and ${\delta}$ (briefly, (${\varepsilon}$, ${\delta}$)-int-soft semigroup) of a semigroup S, and investigate several related properties.

• Journal of the Korean Mathematical Society
• /
• v.46 no.4
• /
• pp.775-784
• /
• 2009

In 1932, Lehmer [4] gave the definition of a ternary semigroup. We can see that any semigroup can be reduced to a ternary semigroup. In this paper, we give some auxiliary results which are also necessary for our considerations and characterize the relationship between the (0-)minimal and maximal ordered lateral ideals and the lateral simple and lateral 0-simple ordered ternary semigroups analogous to the characterizations of minimal and maximal left ideals in ordered semigroups considered by Cao and Xu [2].

• Korean Journal of Mathematics
• /
• v.13 no.2
• /
• pp.177-182
• /
• 2005

If a semigroup S has no nontrivial congruences then S is either simple or 0-simple.([2]) By contrast with ring theory, not every congruence on a semigroup is associated with an ideal, hence some simple(or 0-simple) semigroup may have a nontrivial congruence. Thus it is a short note for the characterization of a simple(or 0-simple) semigroup that is congruence-free. A semigroup that has no nontrivial congruences is said to be congruence-free.

• Korean Journal of Mathematics
• /
• v.27 no.1
• /
• pp.53-62
• /
• 2019

Recently, an infinite class of finitely based finite involution semigroups with non-finitely based semigroup reducts have been found. In contrast, only one example of the opposite type-non-finitely based finite involution semigroups with finitely based semigroup reducts-has so far been published. In the present article, a sufficient condition is established under which an involution semigroup is non-finitely based. This result is then applied to exhibit several examples of the desired opposite type.

• Communications of the Korean Mathematical Society
• /
• v.26 no.1
• /
• pp.1-12
• /
• 2011

In this paper, the connection of the inverse transversal with the adequate transversal is explored. It is proved that if S is an abundant semigroup with an adequate transversal $S^o$, then S is regular if and only if $S^o$ is an inverse semigroup. It is also shown that adequate transversals of a regular semigroup are just its inverse transversals. By means of a quasi-adequate semigroup and a right normal band, we construct an abundant semigroup containing a quasi-ideal S-adequate transversal and conversely, every such a semigroup can be constructed in this manner. It is simpler than the construction of Guo and Shum [9] through an SQ-system and the construction of El-Qallali [5] by W(E, S).

• The Pure and Applied Mathematics
• /
• v.22 no.4
• /
• pp.403-412
• /
• 2015

Kato[6] and Torres[9] characterized the Weierstrass semigroup of ramification points on h-hyperelliptic curves. Also they showed the converse results that if the Weierstrass semigroup of a point P on a curve C satisfies certain numerical condition then C can be a double cover of some curve and P is a ramification point of that double covering map. In this paper we expand their results on the Weierstrass semigroup of a ramification point of a double covering map to the Weierstrass semigroup of a pair (P, Q). We characterized the Weierstrass semigroup of a pair (P, Q) which lie on the same fiber of a double covering map to a curve with relatively small genus. Also we proved the converse: if the Weierstrass semigroup of a pair (P, Q) satisfies certain numerical condition then C can be a double cover of some curve and P, Q map to the same point under that double covering map.

• Journal of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1159-1172
• /
• 2019

A semigroup S is called a weakly abundant semigroup if its every $\tilde{\mathcal{L}}$-class and every $\tilde{\mathcal{R}}$-class contains an idempotent. Our purpose is to study an analogue of orthodox semigroups in the class of weakly abundant semigroups. Such an analogue is called a left quasi-abundant semigroup, which is a weakly abundant semigroup with a left quasi-normal band of idempotents and having the congruence condition (C). To build our main structure theorem for left quasi-abundant semigroups, we first give a sufficient and necessary condition of the idempotent set E(S) of a weakly abundant semigroup S being a left quasi-normal band. And then we construct a left quasi-abundant semigroup in terms of weak spined products. Such a result is a generalisation of that of Guo and Shum for left semi-perfect abundant semigroups. In addition, we consider a type Q semigroup which is a left quasi-abundant semigroup having the PC condition.

• Kyungpook Mathematical Journal
• /
• v.49 no.3
• /
• pp.457-471
• /
• 2009

Let S = {a, b, c, ...} and ${\Gamma}$ = {${\alpha}$, ${\beta}$, ${\gamma}$, ...} be two nonempty sets. S is called a ${\Gamma}$-semigroup if $a{\alpha}b{\in}S$, for all ${\alpha}{\in}{\Gamma}$ and a, b ${\in}$ S and $(a{\alpha}b){\beta}c=a{\alpha}(b{\beta}c)$, for all a, b, c ${\in}$ S and for all ${\alpha}$, ${\beta}$ ${\in}$ ${\Gamma}$. An element $e{\in}S$ is said to be an ${\alpha}$-idempotent for some ${\alpha}{\in}{\Gamma}$ if $e{\alpha}e$ = e. A ${\Gamma}$-semigroup S is called an E-inversive ${\Gamma}$-semigroup if for each $a{\in}S$ there exist $x{\in}S$ and ${\alpha}{\in}{\Gamma}$ such that a${\alpha}$x is a ${\beta}$-idempotent for some ${\beta}{\in}{\Gamma}$. A ${\Gamma}$-semigroup is called a right E-${\Gamma}$-semigroup if for each ${\alpha}$-idempotent e and ${\beta}$-idempotent f, $e{\alpha}$ is a ${\beta}$-idempotent. In this paper we investigate different properties of E-inversive ${\Gamma}$-semigroup and right E-${\Gamma}$-semigroup.

• Korean Journal of Mathematics
• /
• v.17 no.2
• /
• pp.189-196
• /
• 2009

Let D be an integral domain, and let U be a group of units of D. Let $D^*=D-\{0\}$ and ${\Gamma}=D^*/U$ be the commutative cancellative semigroup under aU+bU=abU. We prove that $Cl(D)=Cl({\Gamma})$ and that D is a PvMD (resp., GCD-domain, Mori domain, Krull domain, factorial domain) if and only if ${\Gamma}$ is a PvMS(resp., GCD-semigroup, Mori semigroup, Krull semigroup, factorial semigroup). Let U=U(D) be the group of units of D. We also show that if D is integrally closed, then $D[{\Gamma}]$, the semigroup ring of ${\Gamma}$ over D, is an integrally closed domain with $Cl(D[{\Gamma}])=Cl(D){\oplus}Cl(D)$; hence D is a PvMD (resp., GCD-domain, Krull domain, factorial domain) if and only if $D[{\Gamma}]$ is.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.4
• /
• pp.1217-1227
• /
• 2014

The intersection of all two-sided ideals of an ordered semigroup, if it is non-empty, is called the kernel of the ordered semigroup. A left ideal L of an ordered semigroup ($S,{\cdot},{\leq}$) having a kernel I is said to be simple if I is properly contained in L and for any left ideal L' of ($S,{\cdot},{\leq}$), I is properly contained in L' and L' is contained in L imply L' = L. The notions of simple right and two-sided ideals are defined similarly. In this paper, the author characterize when an ordered semigroup having a kernel is the class sum of its simple left, right and two-sided ideals. Further, the structure of simple two-sided ideals will be discussed.