• 충청수학회지
• /
• 제9권1호
• /
• pp.1-9
• /
• 1996

In this paper, we consider the quotient algebra of BCI-semigroups, and obtain some isomorphism theorems of BCI-semigroups.

• Kyungpook Mathematical Journal
• /
• 제61권2호
• /
• pp.223-237
• /
• 2021

Let n be a fixed natural number. Menger algebras of rank n can be regarded as a canonical generalization of arbitrary semigroups. This paper is concerned with studying algebraic properties of Menger algebras of rank n by first defining a special class of full n-place functions, the so-called a left translation, which possess necessary and sufficient conditions for an (n + 1)-groupoid to be a Menger algebra of rank n. The isomorphism parts begin with introducing the concept of homomorphisms, and congruences in Menger algebras of rank n. These lead us to establish a quotient structure consisting a nonempty set factored by such congruences together with an operation defined on its equivalence classes. Finally, the fundamental homomorphism theorem and isomorphism theorems for Menger algebras of rank n are given. As a consequence, our results are significant in the study of algebraic theoretical Menger algebras of rank n. Furthermore, we extend the usual notions of ordinary semigroups in a natural way.

• Korean Journal of Mathematics
• /
• 제26권3호
• /
• pp.373-385
• /
• 2018

In this paper we introduce the notion of a fuzzy kernel of a fuzzy homomorphism on groups and we show that it is a fuzzy normal subgroup of the domain group. Conversely, we also prove that any fuzzy normal subgroup is a fuzzy kernel of some fuzzy epimorphism, namely the canonical fuzzy epimorphism. Finally, we formulate and prove the fuzzy version of the fundamental theorem of homomorphism and those isomorphism theorems.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제30권4호
• /
• pp.377-395
• /
• 2023

The purpose of this paper is to consider the abstract theory of hypernear rings. In this regard, we derive the isomorphism theorems for hypernear rings as well as Chinese Remainder theorem. Our results can be considered as a generalization for the cases of Krasner hyperrings, near rings and rings.

• Journal of applied mathematics & informatics
• /
• 제26권5_6호
• /
• pp.945-959
• /
• 2008

n-ary $H_v$-structures is a generalisation of both n-ary structures and $H_v$-structures. A wide class of n-ary $P-H_v$-groups is the n-ary $P-H_v$-groups that is concidered in this paper. In this paper the notion of a normal subgroup of an n-ary $P-H_v$-groups is introduced and the isomorphism theorems for n-ary $P-H_v$-groups are stated and proved. Also some examples and related properties are investigated.

• 한국IT서비스학회지
• /
• 제9권4호
• /
• pp.219-229
• /
• 2010

The Green's equivalence relations have played a fundamental role in the development of semigroup theory. They are concerned with mutual divisibility of various kinds, and all of them reduce to the universal equivalence in a group. Boolean matrices have been successfully used in various areas, and many researches have been performed on them. Studying Green's relations on a monoid of boolean matrices will reveal important characteristics about boolean matrices, which may be useful in diverse applications. Although there are known algorithms that can compute Green relations, most of them are concerned with finding one equivalence class in a specific Green's relation and only a few algorithms have been appeared quite recently to deal with the problem of finding the whole D or J equivalence relations on the monoid of all $n{\times}n$ Boolean matrices. However, their results are far from satisfaction since their computational complexity is exponential-their computation requires multiplication of three Boolean matrices for each of all possible triples of $n{\times}n$ Boolean matrices and the size of the monoid of all $n{\times}n$ Boolean matrices grows exponentially as n increases. As an effort to reduce the execution time, this paper shows an isomorphism between the R relation and L relation on the monoid of all $n{\times}n$ Boolean matrices in terms of transposition. introduces theorems based on it discusses an improved algorithm for the J relation computation whose design reflects those theorems and gives its execution results.

• Journal of applied mathematics & informatics
• /
• 제8권3호
• /
• pp.855-867
• /
• 2001

This note we give a construction of a quotient ring $R/{\mu}$ induced via a fuzzy ideal ${\mu}$ in a ring R. The Fuzzy First, Second and Third Isomorphism Theorems are established. For some applications of this construction of quotient rings, we show that if ${\mu}$ is a fuzzy ideal of a commutative ring R, then $\mu$ is prime (resp. $R/{\mu}$ is a field, every zero divisor in $R/{\mu}$ is nilpotent). Moreover we give a simpler characterization of fuzzy maximal ideal of a ring.

• 대한수학회논문집
• /
• 제19권4호
• /
• pp.661-681
• /
• 2004

We research properties of the space of measurable functions square integrable with weight exp$2\nu $\mid$x$\mid$$, and those of the space of Fourier hyperfunctions. Also we show that the several embedding theorems hold true, and that the Fourier-Lapace operator is an isomorphism of the space of strongly decreasing Fourier hyperfunctions onto the space of analytic functions extended to any strip in $C^n$ which are estimated with the aid of a special exponential function exp($\mu$｜x｜).