• Journal of the Korean Mathematical Society
• /
• v.41 no.3
• /
• pp.461-477
• /
• 2004

It is shown that every almost linear mapping h : A\longrightarrowB of a unital $C^{*}$ -algebra A to a unital $C^{*}$ -algebra B is a homomorphism under some condition on multiplication, and that every almost linear continuous mapping h : A\longrightarrowB of a unital $C^{*}$ -algebra A of real rank zero to a unital $C^{*}$ -algebra B is a homomorphism under some condition on multiplication. Furthermore, we are going to prove the generalized Hyers-Ulam-Rassias stability of *-homomorphisms between unital $C^{*}$ -algebras, and of C-linear *-derivations on unital $C^{*}$ -algebras./ -algebras.

• Communications of the Korean Mathematical Society
• /
• v.30 no.4
• /
• pp.385-402
• /
• 2015

In this paper we study the (good) semi-prime closure operations on ideals of a BCK-algebra, lower BCK-semilattice, Noetherian BCK-algebra and meet quotient ideal and then we give several theorems that make different (good) semi-prime closure operations. Moreover by given some examples we show that the given different notions are independent together, for instance there is a semi-prime closure operation, which is not a good semi-prime. Finally by given the notion of "$c_f$-Max X", we prove that every member of "$c_f$-Max X" is a prime ideal. Also we conclude some more related results.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.217-227
• /
• 2024

Let G be an infinite countable group and A be a finite set. If Σ ⊆ A^G is a strongly irreducible subshift of finite type and 𝓖 is the local conjugacy equivalence relation on Σ. We construct a decreasing sequence 𝓡 of unital C^*-subalgebras of C(Σ) and a sequence of faithful conditional expectations E defined on C(Σ), and obtain a Toeplitz algebra 𝓣 (𝓡, 𝓔) and a C^*-algebra C^*(𝓡, 𝓔) for the pair (𝓡, 𝓔). We show that C^*(𝓡, 𝓔) is *-isomorphic to the reduced groupoid C^*-algebra C^*_r(𝓖).

• Journal of the Korean Mathematical Society
• /
• v.43 no.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$.

• Communications of Mathematical Education
• /
• v.23 no.2
• /
• pp.399-428
• /
• 2009

2007 Renewed Korea Elementary Mathematics Curriculum introduce algebra 6th grade. According to many studies about introducing algebra, it is desirable to teach 6th graders algebra through generalization of patterns. In this study, 6th graders' understanding processes and difficulties in pattern generalization were analyzed and possiblities of introducing algebra to 6th graders through pattern generalization were examined.

• School Mathematics
• /
• v.9 no.3
• /
• pp.409-426
• /
• 2007

The relevance of secondary school algebra focused on paper and pencil manipulation has been reconsidered along with the expansion of universal education and the development of ICT such as computer or calculators. This study was designed to investigate the issues and trends of the recent algebra so as to provide implementations for algebra curriculum in Korea. The focus of algebra education has being shifted from paper pencil manipulation to algebraic thinking. The early algebra or informal algebra is one of the important traits of revolution, and the role of ICT is integrated in newly developed curricula. In Korea, algebra education has been retaining the traditional line even though the national curriculum documents allows ICT for instruction. The reasons of these discrepancies were analyzed and the tasks for the new curriculum in accordance with the current trends were suggested in this paper.

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

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.7 no.2
• /
• pp.115-119
• /
• 2007

The notion of ideals in subtraction algebras and characterizations of ideals introduced by Y.B.Jun et al. [?]. Using this idea, we consider the fuzzification of an ideal of a subtraction algebra. In this paper, we define the concept of a fuzzy ideal of a subtraction algebra and study characterizations of a fuzzy ideal. We give some conditions to show that a fuzzy set in a subtraction algebra is a fuzzy ideal of a subtraction algebra. We investigate the generalization of some properties of a fuzzy ideal of a subtraction algebra.

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

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