• 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.

• Communications of the Korean Mathematical Society
• /
• v.38 no.2
• /
• pp.355-364
• /
• 2023

In this paper, we investigate the sums of the elements in the finite set $\{x^k:1{\leq}x{\leq}{\frac{n}{m}},\;gcd_u(x,n)=1\}$, where k, m and n are positive integers and gcd_u(x, n) is the unitary greatest common divisor of x and n. Moreover, for some cases of k and m, we can give the explicit formulae for the sums involving some well-known arithmetic functions.

• Communications of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.1019-1028
• /
• 2023

Let 𝔄 and 𝔅 be unital prime *-algebras such that 𝔄 contains a nontrivial projection. In the present paper, we show that if a bijective map Θ : 𝔄 → 𝔅 satisfies Θ(_*[X ⋄ Y, Z]) = _*[Θ(X) ⋄ Θ(Y), Θ(Z)] for all X, Y, Z ∈ 𝔄, then Θ or -Θ is a *-ring isomorphism. As an application, we shall characterize such maps in factor von Neumann algebras.

• Korean Journal of Mathematics
• /
• v.8 no.2
• /
• pp.155-162
• /
• 2000

For a sequence $\{{\eta}_m\}_m$ of unit vectors in $\mathbb{C}^n$, we consider the associated linear functional ${\omega}$ on the Cuntz algebra $\mathcal{O}_n$. We show that the restriction ${\omega}{\mid}_{UHF_n}$ is the product pure state of a subalgebra $UHF_n$ of $\mathcal{O}_n$ such that ${\omega}{\mid}_{UHF_n}={\otimes}{\omega}_m$ with ${\omega}_m({\cdot})$ < ${\cdot}{\eta}_m,{\eta}_m$ >. We study product pure states of UHF and obtain a concrete description of them in terms of unit vectors. We also study states of $UHF_n$ which is the restriction of the linear functionals on $O_n$ associated to a fixed unit vector in $\mathbb{C}^n$.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.857-866
• /
• 2009

Let n be a fixed positive integer, R be a 2n!-torsion free prime ring and $\mu$, $\nu$ be a pair of generalized derivations on R. If < $\mu^2(x)+\nu(x),\;x^n$ > = 0 for all x $\in$ R, then $\mu$ and $\nu$ are either left multipliers or right multipliers. Let n be a fixed positive integer, R be a noncommutative 2n!-torsion free prime ring with the center $C_R$ and d, g be a pair of derivations on R. If < $d^2(x)+g(x)$, $x^n$ > $\in$ $C_R$ for all x $\in$ R, then d = g = 0. Then we apply these purely algebraic techniques to obtain several range inclusion results of pair of (generalized-)derivations on a Banach algebra.

• Kyungpook Mathematical Journal
• /
• v.51 no.3
• /
• pp.301-309
• /
• 2011

In this paper we dene the notions of left *-bimultiplier, *-bimultiplier and generalized *-biderivation, and to prove that if a semiprime *-ring admits a left *-bimultiplier M, then M maps R ${\times}$ R into Z(R). In Section 3, we discuss the applications of theory of *-bimultipliers. Further, it was shown that if a semiprime *-ring R admits a symmetric generalized *-biderivation G : R ${\times}$ R ${\rightarrow}$ R with an associated nonzero symmetric *-biderivation R ${\times}$ R ${\rightarrow}$ R, then G maps R ${\times}$ R into Z(R). As an application, we establish corresponding results in the setting of $C^*$-algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.1
• /
• pp.189-212
• /
• 2006

Let $F^{\alpha}G$ be a twisted group algebra with basis ${{\mu}g|g\;{\in}\;G}$ and $P\;=\;{C_g|g\;{\in}\;G}$ be a partition of G. A projective class algebra associated with P is a subalgebra of $F^{\alpha}G$ generated by all class sums $\sum\limits{_{x{\in}C_g}}\;{\mu}_x$. A main object of the paper is to find interrelationships of projective class algebras in $F^{\alpha}G$ and in $F^{\alpha}H$ for H < G. And the a-spherical function will play an important role for the purpose. We find functional properties of a-spherical functions and investigate roles of $\alpha-spherical$ functions as characters of projective class algebras.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.495-506
• /
• 2016

In this note we consider the monoid $\mathcal{PODI}_n$ of all monotone partial permutations on $\{1,{\ldots},n\}$ and its submonoids $\mathcal{DP}_n$, $\mathcal{POI}_n$ and $\mathcal{ODP}_n$ of all partial isometries, of all order-preserving partial permutations and of all order-preserving partial isometries, respectively. We prove that both the monoids $\mathcal{POI}_n$ and $\mathcal{ODP}_n$ are quotients of bilateral semidirect products of two of their remarkable submonoids, namely of extensive and of co-extensive transformations. Moreover, we show that $\mathcal{PODI}_n$ is a quotient of a semidirect product of $\mathcal{POI}_n$ and the group $\mathcal{C}_2$ of order two and, analogously, $\mathcal{DP}_n$ is a quotient of a semidirect product of $\mathcal{ODP}_n$ and $\mathcal{C}_2$.

• Kyungpook Mathematical Journal
• /
• v.63 no.3
• /
• pp.345-353
• /
• 2023

Reduced solutions of size 2 and degree n of the Tarry-Escott problem over M₂(ℚ) are determined. As an application, the diophantine equation αAⁿ + βBⁿ = αCⁿ + βDⁿ, where α, β are rational numbers satisfying α + β ≠ 0 and n ∈ {1, 2}, is completely solved for A, B, C, D ∈ M₂(ℚ).

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.2
• /
• pp.337-342
• /
• 1999

M. Cohen and S. Montgomery showed that a Maschke-type theorem for the smash product, which unlike the corresponding result for group actions, does not require any assumptions about the characterstic of the algebra. Our purpose in this paper is a Maschke-type theorem for the graded smash coproduct C⋊kG: let V be a right C⋊kG-comodule and W a C⋊kG-subcomoduleof V which is a C-direct summand of V. Then W is a C⋊kG-direct summand of V. Also this result is equivalent to the following : let V be a graded right C-comodule and W a graded subcomodule of V which has a complement as a C-subcomodule of V. Then W has a graded complement.