• Honam Mathematical Journal
• /
• v.28 no.4
• /
• pp.533-541
• /
• 2006

let E be a Finsler modules over $C^*$-algebras. A with norm-map $\rho$ and L(E) set of all A-linear bonded operators on E. We show that the canonical homomorphism ${\phi}:L(E){\rightarrow}L(E_I)$ sending each operator T to its restriction $T|E_I$ is injective if and only if I is an essential ideal in the underlying $C^*$-algebra A. We also show that $T{\in}L(E)$ is a bounded below if and only if ${\mid}{\mid}x{\mid}{\mid}={\mid}{\mid}{\rho}{\prime}(x){\mid}{\mid}$ is complete, where ${\rho}{\prime}(x)={\rho}(Tx)$ for all $x{\in}E$. Also, we give a necessary and sufficient condition for the equivalence of the norms generated by the norm map.

• Journal of the Chungcheong Mathematical Society
• /
• v.31 no.1
• /
• pp.47-52
• /
• 2018

Let ${\delta}$ be a derivation in a noetherian integral domain A. It is shown that a natural map induces a homeomorphism between the spectrum of $A[z;{\delta}]$ and the Poisson spectrum of $A[z;{\delta}]_p$ such that its restriction to the primitive spectrum of $A[z;{\delta}]$ is also a homeomorphism onto the Poisson primitive spectrum of $A[z;{\delta}]_p$.

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

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.583-590
• /
• 1998

The purpose of this paper is to prove the following results: Let A be a noncommutative semisimple Banach algebra. (1) Suppose that a linear derivation D : A $\to A$ is such that [D(x),x]x=0 holds for all $x \in A$. Then we have D=0. (2) Suppose that a linear derivation $D:A\to A$ is such that $D(x)x^2 + x^2D(x)=0$ holds for all $x \in A$. Then we have C=0.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.737-746
• /
• 1999

For a locally compact Abelian group G, and a commutative Banach algebra B, let $L^1$(G, B) be the Banach algebra of all Bochner integrable functions. We show that if G is noncompact and B is a semiprime Banach algebras in which every minimal prime ideal is cnotained in a regular maximal ideal, then $L^1$(G, B) contains no nontrivial separating idal. As a consequence we deduce some automatic continuity results for $L^1$(G, B).

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.4
• /
• pp.671-678
• /
• 2005

Let R be a noncommutative semi prime ring. Suppose that there exists a derivation d : R $\to$ R such that for all x $\in$ R, either [[d(x),x], d(x)] = 0 or $\langle$$\langle(x),\;x\rangle,\;d(x)\rangle$ = 0. In this case [d(x), x] is nilpotent for all x $\in$ R. We also apply the above results to a Banach algebra theory.

• Communications of the Korean Mathematical Society
• /
• v.15 no.3
• /
• pp.521-531
• /
• 2000

Graph C*-algebras C*(E) are the universal C*-algebras generated by partial isometries satisfying the Cuntz-Krieger relations determined by directed graphs E, and it is known that a simple graph C*-algebra is extremally rich in sense that it contains enough extreme consider a sufficient condition on a graph for which the associated graph algebra(possibly nonsimple) is extremally rich. We also present examples of nonextremally rich prime graph C*-algebras with finitely many ideals and with real rank zero.

• Communications of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.1019-1028
• /
• 2023

Let 𝔄 and 𝔅 be unital prime *-algebras such that 𝔄 contains a nontrivial projection. In the present paper, we show that if a bijective map Θ : 𝔄 → 𝔅 satisfies Θ(_*[X ⋄ Y, Z]) = _*[Θ(X) ⋄ Θ(Y), Θ(Z)] for all X, Y, Z ∈ 𝔄, then Θ or -Θ is a *-ring isomorphism. As an application, we shall characterize such maps in factor von Neumann algebras.

• Honam Mathematical Journal
• /
• v.36 no.4
• /
• pp.813-830
• /
• 2014

The notions of a (Boolean, prime, ultra, good) hesitant fuzzy filter and a hesitant fuzzy MV -filter of an MTL-algebras are introduced, and their relations are investigated. Characterizations of a (Boolean, ultra) hesitant fuzzy filter are discussed. Conditions for a hesitant fuzzy set to be a hesitant fuzzy filter, and for a hesitant fuzzy filter to be a Boolean hesitant fuzzy filter are provided.

• Communications of the Korean Mathematical Society
• /
• v.28 no.3
• /
• pp.535-558
• /
• 2013

The purpose of this paper is to prove that the noncommutative version of the Singer-Wermer Conjecture is affirmative under certain conditions. Let A be a noncommutative Banach algebra. Suppose there exists a continuous linear Jordan derivation $D:A{\rightarrow}A$ such that $D(x)^3[D(x),x]{\in}rad(A)$ for all $x{\in}A$. In this case, we show that $D(A){\subseteq}rad(A)$.