• 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.38 no.3
• /
• pp.527-541
• /
• 2001

We find the necessary and sufficient conditions for the smash product algebra structure and the crossed coproduct coalgebra structure with th dual cocycle $\alpha$ to afford a Hopf algebra (A equation,※See Full-text). If B and H are finite algebra and Hopf algebra, respectively, then the linear dual (※See Full-text) is also a Hopf algebra. We show that the weak coaction admissible mapping system characterizes the new Hopf algebras (※See Full-text).

• Journal of the Chungcheong Mathematical Society
• /
• v.11 no.1
• /
• pp.151-161
• /
• 1998

The odd spherical non-commutative tori $\mathbb{S}_{\omega}$ were defined in [2]. Assume that no non-trivial matrix algebra can be factored out of $\mathbb{S}_{\omega}$, and that the fibres are isomorphic to the tensor product of a completely irrational non-commutative torus with a matrix algebra $M_{km}(\mathbb{C})$. It is shown that the tensor product of $\mathbb{S}_{\omega}$ with the even Cuntz algebra $\mathcal{O}_{2d}$ has the trivial bundle structure if and, only if km and 2d - 1 are relatively prime, and that the tensor product of $\mathbb{S}_{\omega}$ with the generalized Cuntz algebra $\mathcal{O}_{\infty}$ has a non-trivial bundle structure when km > 1.

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

• East Asian mathematical journal
• /
• v.21 no.2
• /
• pp.151-161
• /
• 2005

We analyze the structure of $C^*-algebras$ generated by left regular isometric representations of semigroups.

• Journal of the Chungcheong Mathematical Society
• /
• v.10 no.1
• /
• pp.127-139
• /
• 1997

The spherical non-commutative $\mathbb{S}_{\omega}$ were defined in [2,3]. Assume that no non-trivial matrix algebra can be factored out of the $\mathbb{S}_{\omega}$, and that the fibres are isomorphic to the tensor product of a completely irrational non-commutative torus with a matrix algebra $M_k(\mathbb{C})$. It is shown that the tensor product of the spherical non-commutative torus $\mathbb{S}_{\omega}$ with the even Cuntz algebra $\mathcal{O}_{2d}$ has a trivial bundle structure if and only if k and 2d - 1 are relatively prime, and that the tensor product of the spherical non-commutative torus $S_{\omega}$ with the generalized Cuntz algebra $\mathcal{O}_{\infty}$ has a non-trivial bundle structure when k > 1.

• The Pure and Applied Mathematics
• /
• v.12 no.1
• /
• pp.1-15
• /
• 2005

We study continuous fields and K-groups of crossed products of C＊-algebras. It is shown under a reasonable assumption that there exist continuous fields of C＊ -algebras between crossed products of C＊ -algebras by amenable locally compact groups and tensor products of C＊ -algebras with their group C＊ -algebras, and their K-groups are the same under the additional assumptions.

• 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.1-11
• /
• 2000

The non-commutative torus $A_{\omega}=C^*(\mathbb{Z}^n,{\omega})$ may be realized as the $C^*$-algebra of sections of a locally trivial $C^*$-algebra bundle over $\widehat{S_{\omega}}$ with fibres $C^*(\mathbb{Z}^n/S_{\omega},{\omega}_1)$ for some totally skew multiplier ${\omega}_1$ on $\mathbb{Z}^n/S_{\omega}$. It is shown that $A_{\omega}{\otimes}M_l(\mathbb{C})$ has the trivial bundle structure if and only if $\mathbb{Z}^n/S_{\omega}$ is torsion-free.

• Bulletin of the Korean Mathematical Society
• /
• v.37 no.2
• /
• pp.249-254
• /
• 2000

We give an easy proof of the fact that every noncommutative torus $A_{\omega}$ is stably isomorphic to the noncommutative torus $C(\widehat{S\omega}){\;}\bigotimes{\;}A_p$ which hasa trivial bundle structure. It is well known that stable isomorphism of two separable $C^{*}-algebras$ is equibalent to the existence of eqivalence bimodule between the two stably isomorphic $C^{*}-algebras{\;}A_{\omega}$ and $C(\widehat{S\omega}){\;}\bigotimes{\;}A_p$.