• Bulletin of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.1123-1132
• /
• 2015

In this paper, we investigate derivations on the noncommutative Banach algebra $L^{\infty}_0({\omega})^*$ equipped with an Arens product. As a main result, we prove the Singer-Wermer conjecture for the noncommutative Banach algebra $L^{\infty}_0({\omega})^*$. We then show that a derivation on $L^{\infty}_0({\omega})^*$ is continuous if and only if its restriction to rad($L^{\infty}_0({\omega})^*$) is continuous. We also prove that there is no nonzero centralizing derivation on $L^{\infty}_0({\omega})^*$. Finally, we prove that the space of all inner derivations of $L^{\infty}_0({\omega})^*$ is continuously homomorphic to the space $L^{\infty}_0({\omega})^*/L^1({\omega})$.

• Journal of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.331-340
• /
• 1998

We define the spherical non-commutative torus $L_{\omega}$/ as the crossed product obtained by an iteration of l crossed products by actions of, the first action on C( $S^{2n＋l}$). Assume the fibres are isomorphic to the tensor product of a completely irrational non-commutative torus $A_{p}$ with a matrix algebra $M_{m}$ ( ) (m > 1). We prove that $L_{\omega}$/ $M_{p}$ (C) is not isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{mp}$ (C), and that the tensor product of $L_{\omega}$/ with a UHF-algebra $M_{p{\infty}}$ of type $p^{\infty}$ is isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{m}$ (C) $M_{p{\infty}}$ if and only if the set of prime factors of m is a subset of the set of prime factors of p. Furthermore, it is shown that the tensor product of $L_{\omega}$/, with the C＊-algebra K(H) of compact operators on a separable Hilbert space H is not isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{m}$ (C) K(H) if Prim( $L_{\omega}$/) is homeomorphic to $L^{k}$ (n)$\times$ $T^{l'}$ for k and l' non-negative integers (k > 1), where $L^{k}$ (n) is the lens space.$T^{l'}$ for k and l' non-negative integers (k > 1), where $L^{k}$ (n) is the lens space.e.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.351-361
• /
• 2015

We give examples of Lie ideals in a tridiagonal algebra $Alg\mathcal{L}_{\infty}$ and study some properties of Lie ideals in $Alg\mathcal{L}_{\infty}$. We also investigate relationships between Lie ideals in $Alg\mathcal{L}_{\infty}$. Let k be a fixed natural number. Let $\mathcal{A}$ be a linear manifold in $Alg\mathcal{L}_{\infty}$ such that $T_{(2k-1,2k)}=0$ for all $T{\in}\mathcal{A}$. Then $\mathcal{A}$ is a Lie ideal if and only if $T_{(2k-1,2k-1)}=T_{(2k,2k)}$ for all $T{\in}\mathcal{A}$.

• East Asian mathematical journal
• /
• v.15 no.2
• /
• pp.313-324
• /
• 1999

What we will be concerned with is, first, the question of the condition about $\mathcal{L}$ that gives Alg$\mathcal{L}$ a von Neumann algebra, that is, the question of the condition about $\mathcal{L}$ that will give Alg$\mathcal{L}$ a self-adjoint algebra. Secondly, if Alg$\mathcal{L}$ is a von Neumann algebra, we want to find out what type it is.

• Journal of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.699-705
• /
• 1999

Given a probability space and a subsigma algebra A, each measure equivalent to the probability measure generates a different conditional expectation operator. We characterize those which act boundedly on the original $L^2$ space, and show there are sufficiently many such conditional expectations to generate the commutant of $L^{\infty}$ (A).

• The Pure and Applied Mathematics
• /
• v.11 no.2
• /
• pp.167-173
• /
• 2004

Given vectors x and y in a separable Hilbert space $\cal H$, an interpolating operator is a bounded operator A such that Ax = y. In this article, we investigate Hilbert-Schmidt interpolation problems for vectors in a tridiagonal algebra. We show the following: Let $\cal L$ be a subspace lattice acting on a separable complex Hilbert space $\cal H$ and let x = ($x_{i}$) and y = ($y_{i}$) be vectors in $\cal H$. Then the following are equivalent; (1) There exists a Hilbert-Schmidt operator A = ($a_{ij}$ in Alg$\cal L$ such that Ax = y. (2) There is a bounded sequence {$a_n$ in C such that ${\sum^{\infty}}_{n=1}\mid\alpha_n\mid^2 < \infty$ and $y_1 = \alpha_1x_1 + \alpha_2x_2$ ... $y_{2k} =\alpha_{4k-1}x_{2k}$ $y_{2k=1} = \alpha_{4kx2k} + \alpha_{4k+1}x_{2k+1} + \alpha_{4k+1}x_{2k+2}$ for K $\epsilon$ N.

• Journal of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.125-134
• /
• 2001

Independent $\sigma$-algebras Α and Β on X, L$^2$(X, Α V Β), L$^2$(X x X, Α x Β), and the Hilbert space tensor product L$^2$(X,Α), (※Equations, See Full-text) L$^2$(X,Β), are isomorphic. In this note, we show that various Hilbert C(sup)*-algebra tensor products provide the analogous roles when independence is weakened to conditional independence.

• Journal of the Korean Mathematical Society
• /
• v.34 no.4
• /
• pp.859-869
• /
• 1997

It is shown that for $A_{k, m}$ a k-homogeneous $C^*$-algebra over $S^{2n - 1} \times S^1$ such that no non-trivial matrix algebra can be factored out of $A_{k, m}$ and $A_{k, m} \otimes M_l(C)$ has a non-trivial bundle structure for any positive integer l, we construct an $A_{k, m^-} C(S^{2n - 1} \times S^1) \otimes M_k(C)$-equivalence bimodule to show that every k-homogeneous $C^*$-algebra over $S^{2n - 1} \times S^1)$. Moreover, we prove that the tensor product of the k-homogeneous $C^*$-algebra $A_{k, m}$ with a UHF-algebra of type $p^\infty$ has the tribial bundle structure if and only if the set of prime factors of k is a subset of the set of prime factors of pp.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.557-570
• /
• 2015

Let $\mathbb{G}$ be a von Neumann algebraic locally compact quantum group, in the sense of Kustermans and Vaes. In this paper, as a consequence of a notion of amenability for actions of Lau algebras, we show that $\hat{\mathbb{G}}$, the dual of $\mathbb{G}$, is co-amenable if and only if there is a state $m{\in}L^{\infty}(\hat{\mathbb{G}})^*$ which is invariant under a left module action of $L^1(\mathbb{G})$ on $L^{\infty}(\hat{\mathbb{G}})^*$. This is the quantum group version of a result by Stokke [17]. We also characterize amenable action of Lau algebras by several properties such as fixed point property. This yields in particular, a fixed point characterization of amenable groups and H-amenable representation of groups.

• Journal of the Chungcheong Mathematical Society
• /
• v.13 no.1
• /
• pp.139-144
• /
• 2000

The generalized noncommutative torus $T_{\rho}^d$ of rank m was defined in [2]. Assume that for the completely irrational noncommutative subtorus $A_{\rho}$ of rank m of $T_{\rho}^d$ there is no integer q > 1 such that $tr(K_0(A_{\rho}))=\frac{1}{q}{\cdot}tr(K_0(A_{\rho^{\prime}}))$ for $A_{\rho^{\prime}}$ a completely irrational noncommutative torus of rank m. All $C^*$-algebras ${\Gamma}({\eta})$ of sections of locally trivial $C^*$-algebra bundles ${\eta}$ over $M=\prod_{i=1}^{e}S^{2k_i}{\times}\prod_{i=1}^{s}S^{2n_i+1}$, $\prod_{i=1}^{s}\mathbb{PR}_{2n_i}$, or $\prod_{i=1}^{s}L_{k_i}(n_i)$ with fibres $T_{\rho}^d{\otimes}M_c(\mathbb{C})$ were constructed in [6, 7, 8]. We prove that ${\Gamma}({\eta}){\otimes}M_{p^{\infty}}$ is isomorphic to $C(M){\otimes}A_{\rho}{\otimes}M_{cd}(\mathbb{C}){\otimes}M_{p^{\infty}}$ if and only if the set of prime factors of cd is a subset of the set of prime factors of p, that $\mathcal{O}_{2u}{\otimes}{\Gamma}({\eta})$ is isomorphic to $\mathcal{O}_{2u}{\otimes}C(M){\otimes}A_{\rho}{\otimes}M_{cd}(\mathbb{C})$ if and only if cd and 2u - 1 are relatively prime, and that $\mathcal{O}_{\infty}{\otimes}{\Gamma}({\eta})$ is not isomorphic to $\mathcal{O}_{\infty}{\otimes}C(M){\otimes}A_{\rho}{\otimes}M_{cd}(\mathbb{C})$ if cd > 1 when no non-trivial matrix algebra can be ${\Gamma}({\eta})$.