• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.591-603
• /
• 2005

A representation for non-commutative Banach algebras is discussed, which generalizes the Gelfand representation for commutative Banach algebras and the Gelfand-Naimark representation for $C^{\ast}$-algebras. Its basic properties are also investigated. In appendix, an example of Banach algebra that is neither semi-simple nor radical is presented.

• Honam Mathematical Journal
• /
• v.42 no.3
• /
• pp.501-510
• /
• 2020

This paper considers coupled fixed point theorems on unital without of order semi-simple fundamental locally multiplicative topological algebras (abbreviated by FLM algebras).

• Bulletin of the Korean Mathematical Society
• /
• v.20 no.2
• /
• pp.71-74
• /
• 1983

The problems of the continuity of homomorphisms between Banach algebras have been studied widely for the last two decades to obtain various fruitful results, yet it is far from characterizing the calss of Banach algebras for which each homomorphism from a member of the class into a Banach algebra is conitnuous. For commutative Banach algebras A and B a simple proof shows that every homomorphism .theta. from A into B is continuous provided that B is semi-simple, however, with a non semi-simple Banach algebra B examples of discontinuous homomorphisms from C(K) into B have been constructed by Dales [6] and Esterle [7]. For non commutative Banach algebras the problems of automatic continuity of homomorphisms seem to be much more difficult. Many positive results and open questions related to this subject may be found in [1], [3], [5] and [8], in particular most recent development can be found in the Lecture Note which contains [1]. It is well-known that a$^{*}$-isomorphism from a $C^{*}$-algebra into another $C^{*}$-algebra is an isometry, and an isomorphism of a Banach algebra into a $C^{*}$-algebra with self-adjoint range is continuous. But a$^{*}$-isomorphism from a $C^{*}$-algebra into an involutive Banach algebra is norm increasing [9], and one can not expect each of such isomorphisms to be continuous. In this note we discuss an isomorphism from a commutative $C^{*}$-algebra into a commutative Banach algebra with dense range via separating space. It is shown that such an isomorphism .theta. : A.rarw.B is conitnuous and maps A onto B is B is semi-simple, discontinuous if B is not semi-simple.

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

• Kyungpook Mathematical Journal
• /
• v.45 no.4
• /
• pp.481-489
• /
• 2005

We first show that any complete MV-algebra whose Boolean subalgebra of idempotent elements is atomic, called a complete MV-algebra with atomic center, is isomorphic to a product of unit interval MV-algebra 1's and finite linearly ordered MV-algebras of A(m)-type $(m{\in}{\mathbb{Z}}^+)$. Secondly, for a semi-simple MV-algebra A, we introduce a completion ${\delta}(A)$ of A which is a complete, MV-algebra with atomic center. Under their intrinsic topologies $(see\;{\S}3)$ A is densely embedded into ${\delta}(A)$. Moreover, ${\delta}(A)$ has the extension universal property so that complete MV-algebras with atomic centers are epireflective in semi-simple MV-algebras

• Kyungpook Mathematical Journal
• /
• v.48 no.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.

• Journal of the Korean Mathematical Society
• /
• v.42 no.6
• /
• pp.1111-1120
• /
• 2005

Hong and Nel in [8] obtained a number of spectral dualities between a cartesian closed topological category X and a category of algebras of suitable type in X in accordance with the original formalism of Porst and Wischnewsky[12]. In this paper, there arises a dual adjointness S $\vdash$ C between the category X = Lim of limit spaces and that A of MV-algebras in X. We firstly show that the spectral duality: $S(A)^{op}{\simeq}C(X^{op})$ holds for the dualizing object K = I = [0,1] or K = 2 = {0, 1}. Secondly, we study a duality between the category of Tychonoff spaces and the category of semi-simple MV-algebras. Furthermore, it is shown that for any $X\;\in\;Lim\;(X\;{\neq}\;{\emptyset})\;C(X,\;I)$ is densely embedded into a cube $I^/H/$, where H is a set.

• Journal for History of Mathematics
• /
• v.13 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.30 no.1
• /
• pp.109-115
• /
• 1993

In 1940 Eidelheit showed that every homomorphism of a Banach algebra onto the Banach algebra B(X) of all bounded linear operators on a Banach space X is continuous. At about the same time, Gelfand proved that every homomorphism of a commutative Banach algebra into a commutative semi-simple Banach algebra is continuous. In [7] Johnson proved that every homomorphism of a Banach algebra onto non-commutative semi-simple Banach algebra is continuous, and this is still the most important result of this type. In this paper we are concerned with continuity of derivations on commutative Banach algebras and of homomorphisms into commutative Banach algebras. Throughout this paper we suppose that A is a commutative Banach algebra. R will denote the redical of A.

• Communications of the Korean Mathematical Society
• /
• v.21 no.1
• /
• pp.45-52
• /
• 2006

Every non-associative algebra L corresponds to its symmetric semi-Lie algebra $L_{[,]}$ with respect to its commutator. It is an interesting problem whether the equality $Aut{non}(L)=Aut_{semi-Lie}(L)$ holds or not [2], [13]. We find the non-associative algebra automorphism groups $Aut_{non}\; \frac\;{(WN_{0,0,1}_{[0,1,r_1...,r_p])}$ and $Aut_{non-Lie}\; \frac\;{(WN_{0,0,1}_{[0,1,r_1...,r_p])}$ where every automorphism of the automorphism groups is the composition of elementary maps [3], [4], [7], [8], [9], [10], [11]. The results of the paper show that the F-algebra automorphism groups of a polynomial ring and its Laurent extension make easy to find the automorphism groups of the algebras in the paper.