• Korean Journal of Mathematics
• /
• 제14권1호
• /
• pp.95-100
• /
• 2006

In this paper we give some new characterizations of the intra-regular ordered semigroups in terms of bi-ideals and quasi-ideals, bi-ideals and left ideals, bi-ideals and right ideals of ordered semigroups.

• 한국IT서비스학회지
• /
• 제7권4호
• /
• pp.221-230
• /
• 2008

Green's relations are five equivalence relations that characterize the elements of a semigroup in terms of the principal ideals. The J relation is one of Green's relations. Although there are known algorithms that can compute Green relations, they are not useful for finding all J relations in the semigroup of all $n{\times}n$ Boolean matrices. Its computation requires multiplication of three Boolean matrices for each of all possible triples of $n{\times}n$ Boolean matrices. The size of the semigroup of all $n{\times}n$ Boolean matrices grows exponentially as n increases. It is easy to see that it involves exponential time complexity. The computation of J relations over the $5{\times}5$ Boolean matrix is left an unsolved problem. The paper shows theorems that can reduce the computation time, discusses an algorithm for efficient J relation computation whose design reflects those theorems and gives its execution results.

• 대한수학회지
• /
• 제52권6호
• /
• pp.1323-1336
• /
• 2015

Let S be a semigroup with 0 and R be a ring with 1. We extend the definition of the zero-divisor graphs of commutative semigroups to not necessarily commutative semigroups. We define an annihilating-ideal graph of a ring as a special type of zero-divisor graph of a semigroup. We introduce two ways to define the zero-divisor graphs of semigroups. The first definition gives a directed graph ${\Gamma}$(S), and the other definition yields an undirected graph ${\overline{\Gamma}}$(S). It is shown that ${\Gamma}$(S) is not necessarily connected, but ${\overline{\Gamma}}$(S) is always connected and diam$({\overline{\Gamma}}(S)){\leq}3$. For a ring R define a directed graph ${\mathbb{APOG}}(R)$ to be equal to ${\Gamma}({\mathbb{IPO}}(R))$, where ${\mathbb{IPO}}(R)$ is a semigroup consisting of all products of two one-sided ideals of R, and define an undirected graph ${\overline{\mathbb{APOG}}}(R)$ to be equal to ${\overline{\Gamma}}({\mathbb{IPO}}(R))$. We show that R is an Artinian (resp., Noetherian) ring if and only if ${\mathbb{APOG}}(R)$ has DCC (resp., ACC) on some special subset of its vertices. Also, it is shown that ${\overline{\mathbb{APOG}}}(R)$ is a complete graph if and only if either $(D(R))^2=0,R$ is a direct product of two division rings, or R is a local ring with maximal ideal m such that ${\mathbb{IPO}}(R)=\{0,m,m^2,R\}$. Finally, we investigate the diameter and the girth of square matrix rings over commutative rings $M_{n{\times}n}(R)$ where $n{\geq} 2$.

• 호남수학학술지
• /
• 제26권3호
• /
• pp.247-256
• /
• 2004

Buchmann and Williams[1] proposed a key exchange system making use of the properties of the maximal order of an imaginary quadratic field. $H{\ddot{u}}hnlein$ et al. [6,7] also introduced a cryptosystem with trapdoor decryption in the class group of the non-maximal imaginary quadratic order with prime conductor q. Their common techniques are based on the properties of the invertible ideals of the maximal or non-maximal orders respectively. Kim and Moon [8], however, proposed a key-exchange system and a public-key encryption scheme, based on the class semigroups of imaginary quadratic non-maximal orders. In Kim and Moon[8]'s cryptosystem, a non-invertible ideal is chosen as a generator of key-exchange ststem and their secret key is some characteristic value of the ideal on the basis of Zanardo et al.[9]'s quantity for ideal equivalence. In this paper we propose the methods for finding the non-invertible ideals corresponding to non-primitive quadratic forms and clarify the structure of the class semigroup of non-maximal order as finitely disjoint union of groups with some quantities correctly. And then we correct the misconceptions of Zanardo et al.[9] and analyze Kim and Moon[8]'s cryptosystem.

• 한국전자통신학회논문지
• /
• 제6권1호
• /
• pp.90-96
• /
• 2011

본 논문에서는 비-최대 복소 이차 정수환(order)의 가역 이데알의 특성을 이용하는 암호계중에서 매우 중요한 이산대수문제(DLP)를 제안하고 그의 안전성을 분석하려고 한다. 우선 이러한 이산대수문제를 제안하게 된 수학적인 배경을 소개한 다음, Cls (O) 위에서 안전한 이산대수문제를 구축 한다. 또한 제안된 암호계의 안전성을 결정하는 최대 복소 이차 정수환의 류군(class group)의 류수(class number)와 비최대 류반군(class semigroup)의 류수를 비교하여 안전성이 증가하는 정도를 계산한다. 마지막으로 이데알의 소 이데알 인수분해과정에서 유일인수분해의 가능성 문제를 기반으로 최대 order의 류군(class group)위에서의 DLP와 비최대 류반군(class semigroup)위에서의 DLP를 비교하면서, 본 논문에서 제안된 DLP의 안전성을 검증하고자 한다.

• 대한수학회논문집
• /
• 제30권3호
• /
• pp.143-154
• /
• 2015

Characterizations of hesitant fuzzy left (right) ideals are considered. The notion of hesitant fuzzy (generalized) bi-ideals is introduced, and related properties are investigated. Relations between hesitant fuzzy generalized bi-ideals and hesitant fuzzy semigroups are discussed, and characterizations of (hesitant fuzzy) generalized bi-ideals and hesitant fuzzy bi-ideals are considered. Given a hesitant fuzzy set $\mathcal{H}$ on a semigroup S, hesitant fuzzy (generalized) bi-ideals generated by $\mathcal{H}$ are established.

• Korean Journal of Mathematics
• /
• 제8권1호
• /
• pp.43-45
• /
• 2000

In this paper, we give the characterization of a left (right) filter of $po$-semigroups.

• 대한수학회논문집
• /
• 제11권2호
• /
• pp.315-321
• /
• 1996

Recently, N. Kehayopulu [4] introduced the concepts of weakly prime ideals of ordered semigroups. In this paper, we define the concepts of left(right) weakly prime and left(right) semiregular. Also we investigate the properties of them.

• 호남수학학술지
• /
• 제26권3호
• /
• pp.309-330
• /
• 2004

In this paper, we apply the concept of intuitionistic fuzzy sets to theory of semigroups. We give some properties of intuitionistic fuzzy ideals and intuitionistic fuzzy bi-ideals, and characterize which is left [right] simple, left [right] duo and a semilattice of left [right] simple semigroups or another type of semigroups in terms of intuitionistic fuzzy ideals and intuitionistic fuzzy bi-ideals.

• 대한수학회논문집
• /
• 제15권3호
• /
• pp.499-509
• /
• 2000

In [9], the concept of fuzzy sets is applied to the theory of Ζ-ideals in a BCI-semigroup (it was renamed as an IS-algebra for the convenience of study), and a characterization of fuzzy Ζ-ideals by their level Ζ-ideals was discussed. In this paper, we study further properties of fuzzy Ζ-ideals. We prove that the homomorphic image and preimage of a fuzzy Ζ-ideal are also fuzzy Ζ-ideals.