• Journal of the Korean Mathematical Society
• /
• v.50 no.6
• /
• pp.1369-1400
• /
• 2013

The concept of "orbifold embedding" is introduced. This is more general than sub-orbifolds. Some properties of orbifold embeddings are studied, and in the case of translation groupoids, orbifold embedding is shown to be equivalent to a strong equivariant immersion.

• Communications of the Korean Mathematical Society
• /
• v.37 no.3
• /
• pp.649-658
• /
• 2022

In this paper, we introduce the notion of a left-almost-zero groupoid, and we generalize two axioms which play important roles in the theory of BCK-algebra using the notion of a projection. Moreover, we investigate a Smarandache disjointness of semi-leftoids.

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.651-661
• /
• 2008

Given binary operations "*" and "$\circ$" on a set X, define a product binary operation "$\Box$" as follows: $x{\Box}y\;:=\;(x\;{\ast}\;y)\;{\circ}\;(y\;{\ast}\;x)$. This in turn yields a binary operation on Bin(X), the set of groupoids defined on X turning it into a semigroup (Bin(X), $\Box$)with identity (x * y = x) the left zero semigroup and an analog of negative one in the right zero semigroup (x * y = y). The composition $\Box$ is a generalization of the composition of functions, modelled here as leftoids (x * y = f(x)), permitting one to study the dynamics of binary systems as well as a variety of other perspectives also of interest.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.4
• /
• pp.1373-1386
• /
• 2017

In this paper, we introduce and explore suggested notions of 'above', 'below' and 'between' in general groupoids, Bin(X), as well as in more detail in several well-known classes of groupoids, including groups, semigroups, selective groupoids (digraphs), d/BCK-algebras, linear groupoids over fields and special cases, in order to illustrate the usefulness of these ideas. Additionally, for groupoid-classes (e.g., BCK-algebras) where these notions have already been accepted in a standard form, we look at connections between the several definitions which result from our introduction of these ideas as presented in this paper.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.13 no.3
• /
• pp.231-244
• /
• 2013

We introduce the concept of interval-valued fuzzy congruences on a semigroup S and we obtain some important results: First, for any interval-valued fuzzy congruence $R_e$ on a group G, the interval-valued congruence class Re is an interval-valued fuzzy normal subgroup of G. Second, for any interval-valued fuzzy congruence R on a groupoid S, we show that a binary operation * an S=R is well-defined and also we obtain some results related to additional conditions for S. Also we improve that for any two interval-valued fuzzy congruences R and Q on a semigroup S such that $R{\subset}Q$, there exists a unique semigroup homomorphism g : S/R${\rightarrow}$S/G.

• Korean Journal of Mathematics
• /
• v.26 no.2
• /
• pp.175-189
• /
• 2018

In this paper, at first we generalize the notion of algebra over a field. A ${\Gamma}$-algebra is an algebraic structure consisting of a vector space V, a groupoid ${\Gamma}$ together with a map from $V{\times}{\Gamma}{\times}V$ to V. Then, on every associative ${\Gamma}$-algebra V and for every ${\alpha}{{\in}}{\Gamma}$ we construct an ${\alpha}$-Lie algebra. Also, we discuss some properties about ${\Gamma}$-Lie algebras when V and ${\Gamma}$ are the sets of $m{\times}n$ and $n{\times}m$ matrices over a field F respectively. Finally, we define the notions of ${\alpha}$-derivation, ${\alpha}$-representation, ${\alpha}$-nilpotency and prove Engel theorem in this case.

• Kyungpook Mathematical Journal
• /
• v.61 no.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.