• 충청수학회지
• /
• 제13권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.

• 대한수학회지
• /
• 제43권2호
• /
• pp.323-356
• /
• 2006

Let X and Y be vector spaces. It is shown that a mapping $f\;:\;X{\rightarrow}Y$ satisfies the functional equation $$mn_{mn-2}C_{k-2}f(\frac {x_1+...+x_{mn}} {mn})$$ $(\ddagger)\;+mn_{mn-2}C_{k-1}\;\sum\limits_{i=1}^n\;f(\frac {x_{mi-m+1}+...+x_{mi}} {m}) =k\;{\sum\limits_{1{\leq}i_1<... if and only if the mapping $f : X{\rightarrow}Y$ is additive, and we prove the Cauchy-Rassias stability of the functional equation $(\ddagger)$ in Banach modules over a unital $C^*-algebra$. Let A and B be unital $C^*-algebra$ or Lie $JC^*-algebra$. As an application, we show that every almost homomorphism h : $A{\rightarrow}B$ of A into B is a homomorphism when $h(2^d{\mu}y) = h(2^d{\mu})h(y)\;or\;h(2^d{\mu}\;o\;y)=h(2^d{\mu})\;o\;h(y)$ for all unitaries ${\mu}{\in}A,\;all\;y{\in}A$, and d = 0,1,2,..., and that every almost linear almost multiplicative mapping $h:\;A{\rightarrow}B$ is a homomorphism when h(2x)=2h(x) for all $x{\in}A$. Moreover, we prove the Cauchy-Rassias stability of homomorphisms in $C^*-algebras$ or in Lie $JC^*-algebras$, and of Lie $JC^*-algebra$ derivations in Lie $JC^*-algebras$.

• Kyungpook Mathematical Journal
• /
• 제48권2호
• /
• pp.223-232
• /
• 2008

We estimate the real rank of CCR C*-algebras under some assumptions. A applications we determine the real rank of the reduced group C*-algebras of non-compac connected, semi-simple and reductive Lie groups and that of the group C*-algebras of connected nilpotent Lie groups.

• 대한수학회지
• /
• 제34권2호
• /
• pp.279-284
• /
• 1997

Let L/F be a finite separable extension of Henselian valued fields with same residue fields $\overline{L} = \overline{F}$. Let D be an inertially split division algebra over L, and let $^cD$ be the underlying division algebra of the corestriction $cor_{L/F} (D)$ of D. We show that the index $ind(^cD) of ^cD$ divides $[Z(\overline{D}) : Z(\overline {^cD})] \cdot ind(D), where Z(\overline{D})$ is the center of the residue division ring $\overline{D}$.

• Korean Journal of Mathematics
• /
• 제12권1호
• /
• pp.23-32
• /
• 2004

Let (B, $m_B$, ${\kappa}$) be a maximal commutative ${\kappa}$-subalgebra of a matrix algebra $M_n(\kappa)$. We will construct a maximal commutative ${\kappa}$-subalgebra (R, $m$, ${\kappa}$) of $M_n+3(\kappa)$ from the algebra B such that the algebra R has dimension greater than the dimension of B by 3. Moreover, we will show a $C_i$-construction doesn't imply a $C^3_2$-construction for $i=1,2$.

• 충청수학회지
• /
• 제24권2호
• /
• pp.147-162
• /
• 2011

In this paper, we investigate the Ulam-Hyers stability of $C^{\star}$-ternary algebra 3-homomorphisms for the functional equation $$f(x_1+x_2,y_1+y_2,z_1+z_2)=\;\displaystyle\sum_{1{\leq}i,j,k{\leq}2}\;f(x_i,y_j,z_k)$$ in $C^{\star}$-ternary algebras.

• Korean Journal of Mathematics
• /
• 제19권1호
• /
• pp.33-52
• /
• 2011

We prove the Hyers-Ulam stability of partitioned functional equations in Banach modules over a unital $C^*$-algebra. It is applied to show the stability of algebra homomorphisms in Banach algebras associated with partitioned functional equations in Banach algebras.

• 대한수학회보
• /
• 제39권3호
• /
• pp.401-410
• /
• 2002

We prove the generalized Hyers-Ulam-Rassias stability of generalized Jensen's functional equations in Banach modules over a unital $C^{*}$-algebra. It is applied to show the stability of algebra homomorphisms between Banach algebras associated with generalized Jensen's functional equations in Banach algebras.

• 한국수학사학회지
• /
• 제13권1호
• /
• pp.125-136
• /
• 2000

The notion of MV-algebra was introduced by C.C. Chang in 1958 to provide an algebraic proof of the completeness of Lukasiewicz axioms for infinite valued logic. These algebras appear in the literature under different names: Bricks, Wajsberg algebra, CN-algebra, bounded commutative BCK-algebras, etc. The purpose of this paper is to give a topological lattice completion of semisimple MV-algebras. To this end, we characterize the complete atomic center MV-algebras and semisimple algebras as subalgebras of a cube. Then we define the $\delta$-completion of semisimple MV-algebra and construct the $\delta$-completion. We also study some important properties and extension properties of $\delta$-completion.

• 충청수학회지
• /
• 제13권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})$.