• Communications of the Korean Mathematical Society
• /
• v.26 no.2
• /
• pp.163-168
• /
• 2011

In this paper we introduce the notion of the center ZBin(X) in the semigroup Bin(X) of all binary systems on a set X, and show that if (X,${\bullet}$) ${\in}$ ZBin(X), then x ${\neq}$ y implies {x,y}=${x{\bullet}y,y{\bullet}x}$. Moreover, we show that a groupoid (X,${\bullet}$) ${\in}$ ZBin(X) if and only if it is a locally-zero groupoid.

• Kyungpook Mathematical Journal
• /
• v.61 no.1
• /
• pp.111-137
• /
• 2021

Higson proved that every homotopy invariant, stable and split exact functor from the category of C⁎-algebras to an additive category factors through Kasparov's KK-theory. By adapting a group equivariant generalization of this result by Thomsen, we generalize Higson's result to the inverse semigroup and locally compact, not necessarily Hausdorff groupoid equivariant setting.

• Journal of the Korean Mathematical Society
• /
• v.47 no.3
• /
• pp.601-631
• /
• 2010

In [6] and [7], we introduced graph von Neumann algebras which are the (groupoid) crossed product algebras of von Neumann algebras and graph groupoids via groupoid actions. We showed that such crossed product algebras have the graph-depending amalgamated reduced free probabilistic properties. In this paper, we will consider a scalar-valued $W^*$-probability on a given graph von Neumann algebra. We show that a diagonal graph $W^*$-probability space (as a scalar-valued $W^*$-probability space) and a graph W¤-probability space (as an amalgamated $W^*$-probability space) are compatible. By this compatibility, we can find the relation between amalgamated free distributions and scalar-valued free distributions on a graph von Neumann algebra. Under this compatibility, we observe the scalar-valued freeness on a graph von Neumann algebra.

• Communications of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.375-381
• /
• 2019

In this paper, we introduce an operation denoted by [$Br_e$], a bracket operation, which maps an arbitrary groupoid ($X,{\ast}$) on a set X to another groupoid $(X,{\bullet})=[Br_e](X,{\ast})$ which on groups corresponds to sending a pair of elements (x, y) of X to its commutator $xyx^{-1}y^{-1}$. When applied to classes such as d-algebras, BCK-algebras, a variety of results is obtained indicating that this construction is more generally useful than merely for groups where it is of fundamental importance.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.217-227
• /
• 2024

Let G be an infinite countable group and A be a finite set. If Σ ⊆ A^G is a strongly irreducible subshift of finite type and 𝓖 is the local conjugacy equivalence relation on Σ. We construct a decreasing sequence 𝓡 of unital C^*-subalgebras of C(Σ) and a sequence of faithful conditional expectations E defined on C(Σ), and obtain a Toeplitz algebra 𝓣 (𝓡, 𝓔) and a C^*-algebra C^*(𝓡, 𝓔) for the pair (𝓡, 𝓔). We show that C^*(𝓡, 𝓔) is *-isomorphic to the reduced groupoid C^*-algebra C^*_r(𝓖).

• Korean Journal of Mathematics
• /
• v.32 no.1
• /
• pp.27-42
• /
• 2024

In this paper we define generalized double group-groupoids and crossed modules over generalized group-groupoids. Also we prove that these algebraic structures are categorically equivalent.

• Communications of the Korean Mathematical Society
• /
• v.11 no.4
• /
• pp.925-932
• /
• 1996

On certain groupoids called LIR-groupoids, one can define abstract definitions of continuity and differentiation of functions. Many properties of this abstract continuity and differentiation have analogy to the ordinary continuity and differentiation of real-valued functions.

• East Asian mathematical journal
• /
• v.22 no.2
• /
• pp.215-221
• /
• 2006

On a groupoid satisfying the Austin's identity, every n-ary linear term is essentially n-ary. That is, if a term has no variables appearing more than once, then the term depends on every variable it involves.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.8 no.4
• /
• pp.276-283
• /
• 2008

We investigate the images and preimages of intuitionistic fuzzy G-equivalence relations and G-congruences under product mappings.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.1
• /
• pp.133-146
• /
• 2021

For pseudo-free and recurrent self-similar groups, we show that continuous orbit equivalence of inverse semigroup partial actions implies continuous orbit equivalence of group actions. Conversely, if group actions are continuous orbit equivalent, and the induced homeomorphism commutes with the shift maps on their groupoids, we obtain continuous orbit equivalence of inverse semigroup partial actions.