• Journal of the Chungcheong Mathematical Society
• /
• v.10 no.1
• /
• pp.141-146
• /
• 1997

In this paper we prove that the corona theorem for the algebra $H^{\infty}(D){\cap}D(D)$. That is, we prove that $\mathcal{M}{\setminus}{\overline{D}}$ is an empty set where $\mathcal{M}$ is the maximal ideal space of the given algebra.

• Honam Mathematical Journal
• /
• v.31 no.3
• /
• pp.407-419
• /
• 2009

The simple non-associative algebra $N(e^{A_S},q,n,t)_k$ and its simple sub-algebras are defined in the papers [1], [3], [4], [5], [6], [12]. We define the non-associative algebra $\overline{WN_{(g_n,\mathfrak{U}),m,s_B}}$ and its antisymmetrized algebra $\overline{WN_{(g_n,\mathfrak{U}),m,s_B}}$. We also prove that the algebras are simple in this work. There are various papers on finding all the derivations of an associative algebra, a Lie algebra, and a non-associative algebra (see [3], [5], [6], [9], [12], [14], [15]). We also find all the derivations $Der_{anti}(WN(e^{{\pm}x^r},0,2)_B^-)$ of te antisymmetrized algebra $WN(e^{{\pm}x^r}0,2)_B^-$ and every derivation of the algebra is outer in this paper.

• Communications of the Korean Mathematical Society
• /
• v.9 no.2
• /
• pp.299-302
• /
• 1994

Throughout this paper, let X be a compact Hausdorff space, and let C(X) (resp. $C_{R}$ /(X)) be the complex (resp. real) Banach algebra of all continuous complex-valued (resp. real-valued) functions on X with the pointwise operations and the supremum norm x. A Banach function algebra on X is a Banach algebra lying in C(X) which separates the points of X and contains the constants. A Banach function algebra on X equipped with the supremum norm is called a uniform algebra on X, that is, a uniformly closed subalgebra of C(X) which separates the points of X and contains the constants.(omitted)

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

Let X be a compact Hausdorff space, and let C(X) (resp. $C_{R}$(X)) be the complex (resp. real) Banach algebra of all continuous complex-valued(resp. real-valued) functions on X with the pointwise operations and the supremum norm x. A Banach function algebra on X is a Banach algebra lying in C(X) which separates the points of X and contains the constants. A Banach function algebra on X equipped with the supremum norm is called a uniform algebra on X, that is, a uniformly closed subalgebra of C(X) which separates the points of X and contains the constants.s.

• Kyungpook Mathematical Journal
• /
• v.46 no.3
• /
• pp.433-436
• /
• 2006

In this note we show that a representable difference algebra is equivalent to a commutative BCK-algebra.

• Honam Mathematical Journal
• /
• v.32 no.3
• /
• pp.467-480
• /
• 2010

There are various papers on finding all the derivations of a non-associative algebra and an anti-symmetrized algebra (see [2], [3], [4], [5], [6], [10], [13], [15], [16]). We and all the derivations of the growing algebra WN($e^{{\pm}x_1x_2x_3}$, 0, 3)[1] with the set of all right annihilators $T_3$ = $\{id,\;\partial_1,\;\partial_2,\;\partial_3\}$ in the paper. The dimension of $Der_{non}$(WN($e^{{\pm}x_1x_2x_3}$, 0, 3)$_{[1]}$) of the algebra WN($e^{{\pm}x_1x_2x_3}$, 0, 3)$_{[1]}$ is one and every derivation of the algebra WN($e^{{\pm}x_1x_2x_3}$, 0, 3)$_{[1]}$ is outer. We show that there is a class P of purely outer algebras in this work.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.2
• /
• pp.455-461
• /
• 2017

The Lie algebra analogue of Schur's result which is proved by Moneyhun in 1994, states that if L is a Lie algebra such that dimL/Z(L) = n, then $dimL_{(2)}={\frac{1}{2}}n(n-1)-s$ for some non-negative integer s. In the present paper, we determine the structure of central factor (for s = 0) and the factor Lie algebra $L/Z_2(L)$ (for all $s{\geq}0$) of a finite dimensional nilpotent Lie algebra L, with n-dimensional central factor. Furthermore, by using the concept of n-isoclinism, we discuss an upper bound for the dimension of $L/Z_n(L)$ in terms of $dimL_{(n+1)}$, when the factor Lie algebra $L/Z_n(L)$ is finitely generated and $n{\geq}1$.

• Journal for History of Mathematics
• /
• v.21 no.4
• /
• pp.61-78
• /
• 2008

In this paper, we discuss about De Morgan's view on the development of algebra according to following distinctions: arithmetic, universal arithmetic, symbolic algebra, significant algebra. De Morgan thought that the differences between arithmetic and universal arithmetic lie in the usage of letters and the immediate performance of computation. In his viewpoint, universal arithmetic is a transitional phase, in which absurd phenomena occur, from arithmetic to algebra and these absurd phenomena call for algebra. The feature of De Morgan's view on the development of algebra is that symbolic calculus which consist of symbol system without symbol's meaning is acquired, then as extended meanings are furnished to symbols, symbolic calculus become logical so significant calculus is developed. For example, Single algebra is developed, as an extended meaning is furnished to a symbol -1, and double algebra is developed, as an extended meaning is furnished to a symbol $\sqrt{-1}$. According to De Morgan, a symbol system is derived from the incompleteness of a prior symbol system.

• Honam Mathematical Journal
• /
• v.44 no.1
• /
• pp.78-97
• /
• 2022

In this study, new properties of various filters on a Sheffer stroke BL-algebra are studied. Then some new results in filters of Sheffer stroke BL-algebras are given. Also, stabilizers of nonempty subsets of Sheffer stroke BL-algebras are defined and some properties are examined. Moreover, it is shown that the stabilizer of a filter with respect to a/n (ultra) filter of a Sheffer stroke BL-algebra is its (ultra) filter. It is proved that the stabilizer of the subset {0} of a Sheffer stroke BL-algebra is {1}. Finally, it is stated that the stabilizer St(P, Q) of P with respect to Q is an ultra filter of a Sheffer stroke BL-algebra when P is any filter and Q is an ultra filter of this algebra.

• Communications of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.261-262
• /
• 2016

We present a short and very elementary proof that each finite BCK-algebra is solvable. It is a positive answer to the question posed in [4].