• 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.39 no.3
• /
• pp.471-478
• /
• 2002

Let $Let\eta={\eta m}m$ be an eventually constant sequence of unit vectors $\eta m$ in $C^{n}$ and let $\rho$η be the pure state on $UHF_{n}$ algebra which is defined by $\rho\eta(\upsilon_i_1....\upsilon_i_k{\upsilon_{j1}}^*...{\upsilon_{j1}}^*)={\eta_1}^{i1}...{\eta_k}^{ik}{\eta_k}^{jk}...{\eta_1}^{j1}$. We find infinitely many state extensions of $\rho\eta$ to Cuntz algebra $O_n$ using representations and unitary operators. Also, we present theirconcrete expressions.

• Bulletin of the Korean Mathematical Society
• /
• v.25 no.2
• /
• pp.179-183
• /
• 1988

In this paper we study a $C^{*}$-dynamical system (A, G, .alpha.) where A is a UHF-algebra, G is a finite abelian group and .alpha. is a *-automorphic action of product type of G on A. In [2], A. Kishimoto considered the case G= $Z_{n}$, the cyclic group of order n and investigated a condition in order that the fixed point algebra $A^{\alpha}$ of A under the action .alpha. is UHF. In later N.J. Munch studied extremal tracial states on $A^{\alpha}$ by employing the method of A. Kishimoto [3], where G is a finite abelian group. Generally speaking, when G is compact (not necessarily discrete and abelian), $A^{\alpha}$ is an AF-algebra and its ideal structure was well analysed by N. Riedel [4]. Here we obtain some conditions for $A^{\alpha}$ to be UHF, where G is a finite abelian group, which is an extension of the result of A. Kishimoto.oto.

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

• Communications of the Korean Mathematical Society
• /
• v.15 no.4
• /
• pp.617-626
• /
• 2000

We study the vectors related tro states on the Cuntz algebra Ο(sub)n and prove hat, for tow states $\omega$ and $\rho$ on Ο(sub)n with $\omega$│UHF(sub)n = $\rho$│UHF(sub)n, if ($\omega$(s$_1$), …, $\omega$(s(sub)n)) and ($\rho$(s$_1$),…, $\rho$(s(sub)n)) are unit vectors, then they and linearly dependent. We also study the linear functional on Ο(sub)n associated to a sequence of unit vectors in C(sup)n which is the generalization of the Cuntz state. We show that if the linear functional associated to a sequence of unit vectors with a certain condition is a state, then it is just the Cuntz state.

• Honam Mathematical Journal
• /
• v.7 no.1
• /
• pp.119-127
• /
• 1985

A study is made of a special type of $C^{\ast}$ -dynamical systems, consisting of a class $n^{\infty}$ uniformly hyperfinite $C^{\ast}$-algebra A, the torus group $G=T^{d}$ ($$1{\leq_-}d{\leq_-}n-1$$) and a natural product action of G on A by $^{*}-automorphisms$. We give some conditions for product states on the fixed point algebra $A^{G}$ of A by G to be factorial.

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

• Communications of the Korean Mathematical Society
• /
• v.13 no.4
• /
• pp.759-764
• /
• 1998

We define the rational lens algebra (equation omitted)(n) as the crossed product by an action of Z on C( $S^{2n＋l}$). Assume the fibres are $M_{ k}$/(C). We prove that (equation omitted)(n) $M_{p}$ (C) is not isomorphic to C(Prim((equation omitted)(n))) $M_{kp}$ /(C) if k > 1, and that (equation omitted)(n) $M_{p{\infty}}$ is isomorphic to C(Prim((equation omitted)(n))) $M_{k}$ /(C) $M_{p{\infty}}$ if and only if the set of prime factors of k is a subset of the set of prime factors of p. It is moreover shown that if k > 1 then (equation omitted)(n) is not stably isomorphic to C(Prim(equation omitted)(n))) $M_{k}$ (c).

• 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})$.