• Journal of the Korean Mathematical Society
• /
• v.48 no.1
• /
• pp.117-132
• /
• 2011

By developing a linear algebra program involving many different structures associated to a three-graded H*-algebra, it is shown that if L is a Lie triple automorphism of an infinite-dimensional topologically simple associative H*-algebra A, then L is either an automorphism, an anti-automorphism, the negative of an automorphism or the negative of an anti-automorphism. If A is finite-dimensional, then there exists an automorphism, an anti-automorphism, the negative of an automorphism or the negative of an anti-automorphism F : A $\rightarrow$ A such that $\delta$:= F - L is a linear map from A onto its center sending commutators to zero. We also describe L in the case of having A zero annihilator.

• Journal for History of Mathematics
• /
• v.22 no.4
• /
• pp.129-144
• /
• 2009

The purpose of this study is what exactly De Morgan contributed to abstract algebra and mathematical logic. He recognised the purely symbolic nature of algebra and was aware of the existence of algebras other than ordinary algebra. He madealgebra as a science by introducing the ordered field and made the base for abstract algebra. He was one of the reformer of classical mathematical logic. Looking into De Morgan's works, we made it clear that the developments of algebra and mathematical logic in 19C.

• Communications of the Korean Mathematical Society
• /
• v.17 no.3
• /
• pp.475-485
• /
• 2002

We estimate the stable rank, connected stable rank and general stable rank of the multiplier algebras of $C^{＊}$-algebras under some conditions and prove that the ranks of them are infinite. Moreover, we show that for any $\sigma$-unital subhomogeneous $C^{＊}$-algebra, its stable rank is equal to that of its multiplier algebra.

• The Pure and Applied Mathematics
• /
• v.20 no.4
• /
• pp.243-249
• /
• 2013

Let A be an algebra and D a derivation of A. Then D is called algebraic nil if for any $x{\in}A$ there is a positive integer n = n(x) such that $D^{n(x)}(P(x))=0$, for all $P{\in}\mathbb{C}[X]$ (by convention $D^{n(x)}({\alpha})=0$, for all ${\alpha}{\in}\mathbb{C}$). In this paper, we show that any algebraic nil derivation (possibly unbounded) on a commutative complex algebra A maps into N(A), where N(A) denotes the set of all nilpotent elements of A. As an application, we deduce that any nilpotent derivation on a commutative complex algebra A maps into N(A), Finally, we deduce two noncommutative versions of algebraic nil derivations inclusion range.

• The Pure and Applied Mathematics
• /
• v.22 no.4
• /
• pp.383-387
• /
• 2015

In [1], the definition of C*-Lie ternary (σ,τ,ξ)-derivation is not well-defined and so the results of [1, Section 4] on C*-Lie ternary (σ,τ,ξ)-derivations should be corrected.

• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.4
• /
• pp.749-755
• /
• 2010

We investigate biprojectivity of $C_{r}^{*}(G)$ as a $L^1(G)$-bimodule for a locally compact group G. The main results are the following. As a $L^1(G)$-bimodule$C_{r}^{*}(G)$ is biprojective if G is compact and is not biprojective if G is an infinite discrete group or G is a non-compact abelian group.

• Journal of applied mathematics & informatics
• /
• v.24 no.1_2
• /
• pp.535-539
• /
• 2007

Given operators X and Y acting on a separable complex Hilbert space $\mathcal{H}$, an interpolating operator is a bounded operator A such that AX=Y. In this article, we show the following: Let $Alg\mathcal{L}$ be a tridiagonal algebra on a separable complex Hilbert space $\mathcal{H}$ and let $X=(x_{ij})\;and\;Y=(y_{ij})$ be operators in $\mathcal{H}$. Then the following are equivalent: (1) There exists a normal operator $A=(a_{ij})\;in\;Alg\mathcal{L}$ such that AX=Y. (2) There is a bounded sequence $\{\alpha_n\}\;in\;\mathbb{C}$ such that $y_{ij}=\alpha_jx_{ij}\;for\;i,\;j\;{\in}\;\mathbb{N}$. Given vectors x and y in a separable complex Hilbert space $\mathcal{H}$, an interpolating operator is a bounded operator A such that Ax=y. We show the following: Let $Alg\mathcal{L}$ be a tridiagonal algebra on a separable complex Hilbert space $\mathcal{H}$ and let $x=(x_i)\;and\;y=(y_i)$ be vectors in $\mathcal{H}$. Then the following are equivalent: (1) There exists a normal operator $A=(a_{ij})\;in\;Alg\mathcal{L}$ such that Ax=y. (2) There is a bounded sequence $\{\alpha_n\}$ in $\mathbb{C}$ such that $y_i=\alpha_ix_i\;for\;i{\in}\mathbb{N}$.

• Bulletin of the Korean Mathematical Society
• /
• v.30 no.2
• /
• pp.187-191
• /
• 1993

In this note we prove the following result: Let A be a complex Banach *-algebra with continuous involution and let B be an $A^{*}$-algebra./T(A) = B. Then T is continuous (Theorem 2). From above theorem some others results of special interest and some well-known results follow. (Corollaries 3,4,5,6 and 7). We close this note with some generalizations and some remarks (Theorems 8.9.10 and question). Throughout this note we consider only complex algebras. Let A and B be complex algebras. A linear mapping T from A into B is called jordan homomorphism if T( $x^{1}$) = (Tx)$^{2}$ for all x in A. A linear mapping T : A .rarw. B is called spectrally-contractive mapping if .rho.(Tx).leq..rho.(x) for all x in A, where .rho.(x) denotes spectral radius of element x. Any homomorphism algebra is a spectrally-contractive mapping. If A and B are *-algebras, then a homomorphism T : A.rarw.B is called *-homomorphism if (Th)$^{*}$=Th for all self-adjoint element h in A. Recall that a Banach *-algebras is a complex Banach algebra with an involution *. An $A^{*}$-algebra A is a Banach *-algebra having anauxiliary norm vertical bar . vertical bar which satisfies $B^{*}$-condition vertical bar $x^{*}$x vertical bar = vertical bar x vertical ba $r^{2}$(x in A). A Banach *-algebra whose norm is an algebra $B^{*}$-norm is called $B^{*}$-algebra. The *-semi-simple Banach *-algebras and the semi-simple hermitian Banach *-algebras are $A^{*}$-algebras. Also, $A^{*}$-algebras include $B^{*}$-algebras ( $C^{*}$-algebras). Recall that a semi-prime algebra is an algebra without nilpotents two-sided ideals non-zero. The class of semi-prime algebras includes the class of semi-prime algebras and the class of prime algebras. For all concepts and basic facts about Banach algebras we refer to [2] and [8].].er to [2] and [8].].

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.997-1000
• /
• 2010

We prove that the reduced free product of $k\;{\times}\;k$ matrix algebras over abelian $C^*$-algebras is not the minimal tensor product of reduced free products of $k\;{\times}\;k$ matrix algebras over abelian $C^*$-algebras. It is shown that the reduced group $C^*$-algebra associated with a group having the property T of Kazhdan is not isomorphic to a reduced free product of abelian $C^*$-algebras or the minimal tensor product of such reduced free products. The infinite tensor product of reduced free products of abelian $C^*$-algebras is not isomorphic to the tensor product of a nuclear $C^*$-algebra and a reduced free product of abelian $C^*$-algebra. We discuss the freeness of free product $II_1$-factors and solidity of free product $II_1$-factors weaker than that of Ozawa. We show that the freeness in a free product is related to the existence of Cartan subalgebras in free product $II_1$-factors. Finally, we give a free product factor which is not solid in the weak sense.

• Communications of the Korean Mathematical Society
• /
• v.10 no.3
• /
• pp.499-518
• /
• 1995

In this paper we consider more systematically the centralizer C(S) of the set $S = {f_a $\mid$ f_a : X \to X ; x \longmapsto x * a, a \in X}$ with respect to the semigroup End(X) of all endomorphisms of an implicative BCK-algebra X with the condition (S). We obtain a series of interesting results. The main results are stated as follows : (1) C(S) with repect to a binary operation * defined in a certain way forms a bounded implicative BCK-algebra with the condition (S). (2) X can be imbedded in C(S) such that X is an ideal of C(S)/ (3) If X is not bounded, it can be imbedded in a bounded subalgebra T of C(S) such that X is a maximal ideal of T. (4) If $X (\neq {0})$ is semisimple, C(S) is BCK-isomorphic to $\prod_{i \in I}{A_i}$ in which ${A_i}_{i \in I}$ is simple ideal family of X.