• Journal of the Korean Mathematical Society
• /
• v.51 no.2
• /
• pp.345-362
• /
• 2014

We describe the Haagerup tensor product ${\ell}^{\infty}{\otimes}_h{\ell}^{\infty}$ and the extended Haagerup tensor product ${\ell}^{\infty}{\otimes}_{eh}{\ell}^{\infty}$ in terms of Schur product maps, and show that ${\ell}^{\infty}{\otimes}_h{\ell}^{\infty}{\cap}\mathbb{B}({\ell}^2)$(resp. ${\ell}^{\infty}{\otimes}_{eh}{\ell}^{\infty}{\cap}\mathbb{B}({\ell}^2)$) coincides with $c_0{\otimes}_hc_0{\cap}\mathbb{B}({\ell}^2)$(resp. $c_0{\otimes}_{eh}c_0{\cap}\mathbb{B}({\ell}^2)$). For $C^*2$-algebras A, B, it is shown that $A{\otimes}_hB=A{\otimes}_{eh}B$ if and only if A or B is finite-dimensional.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.2
• /
• pp.391-397
• /
• 2017

In this note we extend our previous result about the structure of the dual of a crossed product $C^*$-algebra $A{\rtimes}_{\sigma}G$, when G is a finite group. We consider the space $\tilde{\Gamma}$ which consists of pairs of irreducible representations of A and irreducible projective representations of subgroups of G. Our goal is to endow $\tilde{\Gamma}$ with a topology so that the orbit space e $G{\backslash}{\tilde{\Gamma}}$ is homeomorphic to the dual of $A{\rtimes}_{\sigma}G$. In particular, we will show that if $\widehat{A}$ is Hausdorff then $G{\backslash}{\tilde{\Gamma}}$ is homeomorphic to $\widehat{A{\rtimes}_{\sigma}G}$.

• Journal of the Korean Mathematical Society
• /
• v.40 no.2
• /
• pp.241-250
• /
• 2003

Let (B, m$_{B}$, k) be a maximal commutative $textsc{k}$-subalgebra of M$_{m}$(k). Then, for some element z $\in$ Soc(B), a k-algebra R = B［X,Y］/I, where I ＝ (m$_{B}$X, m$_{B}$Y, X$^2$- z,Y$^2$- z, XY) will create an interesting maximal commutative $textsc{k}$-subalgebra of a matrix algebra which is neither a $C_1$-construction nor a $C_2$-construction. This construction will also be useful to embed a maximal commutative $textsc{k}$-subalgebra of matrix algebra to a maximal commutative $textsc{k}$-subalgebra of a larger size matrix algebra.gebra.a.

• Korean Journal of Mathematics
• /
• v.26 no.2
• /
• pp.285-291
• /
• 2018

Let $\mathcal{A}$ be a unital $C^*$-algebra. It is shown that additive map ${\delta}:{\mathcal{A}}{\rightarrow}{\mathcal{A}}$ which satisfies $${\delta}({\mid}x{\mid}x)={\delta}({\mid}x{\mid})x+{\mid}x{\mid}{\delta}(x),\;{\forall}x{{\in}}{\mathcal{A}}_N$$ is a Jordan derivation on $\mathcal{A}$. Here, $\mathcal{A}_N$ is the set of all normal elements in $\mathcal{A}$. Furthermore, if $\mathcal{A}$ is a semiprime $C^*$-algebra then ${\delta}$ is a derivation.

• Journal of the Chungcheong Mathematical Society
• /
• v.7 no.1
• /
• pp.117-122
• /
• 1994

In this paper we show that if {$H_n$} is a continuous strong higher derivation of order n on an ultraprime Banach algebra with a constant c, then $c||H_1||^2{\leq}4||H_2||$ and for each $1{\leq}l$ < n $$c^2||H_1||\;||H_{n-l}{\leq}6||H_n||+\frac{3}{2}\sum_{\array{i+j+k=n\\i,j,k{\geq}1}}||H_i||\;||H_j||\;||H_k||+\frac{3}{2}\sum_{\array{i+k=n\\i{\neq}l,\;n-1}}||H_i||\;||H_k|| $$ and for a strong higher derivation {$H_n$} of order n on a prime ring A we also show that if [$H_n$(x),x]=0 for all $x{\in}A$ and for every $n{\geq}1$, then A is commutative or $H_n=0$ for every $n{\geq}1$.

• Kyungpook Mathematical Journal
• /
• v.28 no.1
• /
• pp.23-34
• /
• 1988

A version of Ascoli's Theorem (equating compact and equicontinuous sets) is presented in the context of convergence spaces. This theorem and another, (involving equicontinuity) are applied to characterize compact subsets of quasi-multipliers of a $C^*$-algebra B, and to characterize the compact subsets of the state space of B. The classical Ascoli Theorem states that, for pointwise pre-compact families F of continuous functions from a locally compact space Y to a complete Hausdorff uniform space Z, equicontinuity of F is equivalent to relative compactness in the compact-open topology([4] 7.17). Though this is one of the most important theorems of modern analysis, there are some applications of the ideas inherent in this theorem which arc not readily accessible by direct appeal to the theorem. When one passes to so-called "non-commutative analysis", analysis of non-commutative $C^*$-algebras, the analogue of Y may not be relatively compact, while the conclusion of Ascoli's Theorem still holds. Consequently it seems plausible to establish a more general Ascoli Theorem which will directly apply to these examples.

• Journal of the Korean Mathematical Society
• /
• v.41 no.1
• /
• pp.1-20
• /
• 2004

Let A be a uniform algebra, and let $\phi$ be a self-map of the spectrum $M_A$ of A that induces a composition operator $C_{\phi}$, on A. It is shown that the image of $M_A$ under some iterate ${\phi}^n$ of \phi is hyperbolically bounded if and only if \phi has a finite number of attracting cycles to which the iterates of $\phi$ converge. On the other hand, the image of the spectrum of A under $\phi$ is not hyperbolically bounded if and only if there is a subspace of $A^{**}$ "almost" isometric to ${\ell}_{\infty}$ on which ${C_{\phi}}^{**}$ "almost" an isometry. A corollary of these characterizations is that if $C_{\phi}$ is weakly compact, and if the spectrum of A is connected, then $\phi$ has a unique fixed point, to which the iterates of $\phi$ converge. The corresponding theorem for compact composition operators was proved in 1980 by H. Kamowitz [17].

• Communications of the Korean Mathematical Society
• /
• v.33 no.2
• /
• pp.561-569
• /
• 2018

In this paper, we introduce some notions of orthogonality in the setting of Finsler $C^*$-modules and investigate their relations with the Birkhoff-James orthogonality. Suppose that ($E,{\rho}$) and ($F,{\rho}^{\prime}$) are Finsler modules over $C^*$-algebras $\mathcal{A}$ and $\mathcal{B}$, respectively, and ${\varphi}:{\mathcal{A}}{\rightarrow}{\mathcal{B}}$ is a *-homomorphism. A map ${\Psi}:E{\rightarrow}F$ is said to be a ${\varphi}$-morphism of Finsler modules if ${\rho}^{\prime}({\Psi}(x))={\varphi}({\rho}(x))$ and ${\Psi}(ax)={\varphi}(a){\Psi}(x)$ for all $a{\in}{\mathcal{A}}$ and all $x{\in}E$. We show that each ${\varphi}$-morphism of Finsler $C^*$-modules preserves the Birkhoff-James orthogonality and conversely, each surjective linear map between Finsler $C^*$-modules preserving the Birkhoff-James orthogonality is a ${\varphi}$-morphism under certain conditions. In fact, we state a version of Wigner's theorem in the framework of Finsler $C^*$-modules.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.4
• /
• pp.617-630
• /
• 2011

Let X, Y be vector spaces, and let r be 2 or 4. It is shown that if an odd mapping $f:X{\rightarrow}Y$ satisfies the functional equation $${\hspace{50}}rf(\frac{\sum_{j=1}^{d}\;x_j} {r})+\;{\sum\limits_{\iota(j)=0,1 \atop {\sum_{j=1}^{d}}\;{\iota}(j)=l}}\;rf(\frac{\sum_{j=1}^{d}{(-1)^{\iota(j)}x_j}}{r}) \\({\ddag}){\hspace{160}}=(_{d-1}C_l-_{d-1}C_{l-1}+1)\;{\sum\limits_{j=1}^{d}\;f(x_j)}$$ then the odd mapping $f:X{\rightarrow}Y$ is additive, and we prove the Cauchy-Rassias stability of the functional equation in Banach modules over a unital $C^*$-algebra. As an application, we show that every almost linear bijection $h:{\mathcal{A}}{\rightarrow}{\mathcal{B}}$ of a unital $C^*$-algebra ${\mathcal{A}}$ onto a unital $C^*$-algebra ${\mathcal{B}}$ is a $C^*$-algebra isomorphism when $h(2^nuy)=h(2^nu)h(y)$ for all unitaries $u{\in}{\mathcal{A}}$, all $y{\in}{\mathcal{A}}$, and $n=0,1,2,{\cdots}$.

• Communications of the Korean Mathematical Society
• /
• v.10 no.3
• /
• pp.499-518
• /
• 1995

In this paper we consider more systematically the centralizer C(S) of the set $S = {f_a $\mid$ f_a : X \to X ; x \longmapsto x * a, a \in X}$ with respect to the semigroup End(X) of all endomorphisms of an implicative BCK-algebra X with the condition (S). We obtain a series of interesting results. The main results are stated as follows : (1) C(S) with repect to a binary operation * defined in a certain way forms a bounded implicative BCK-algebra with the condition (S). (2) X can be imbedded in C(S) such that X is an ideal of C(S)/ (3) If X is not bounded, it can be imbedded in a bounded subalgebra T of C(S) such that X is a maximal ideal of T. (4) If $X (\neq {0})$ is semisimple, C(S) is BCK-isomorphic to $\prod_{i \in I}{A_i}$ in which ${A_i}_{i \in I}$ is simple ideal family of X.