• Korean Journal of Mathematics
• /
• v.12 no.1
• /
• pp.49-54
• /
• 2004

In this paper we introduce the notion of quotient Boolean algebra and study the relation between the ideals of Boolean algebra ${\wp}(S)$ and the ideals of quotient Boolean algebra ${\wp}(S)/I$.

• Journal of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.311-319
• /
• 1995

Let $H$ be a separable, infinite dimensional, complex Hilbert space and let $L(H)$ be the algebra of all bounded linear operaors on $H$. A dual algebra is a subalgebra of $L(H)$ that contains the identity operator $I_H$ and is closed in the $weak^*$ topology on $L(H)$. Note that the ultraweak operator topology coincides with the $weak^*$ topology on $L(H)$ (see [5]).

• Journal of the Korean Mathematical Society
• /
• v.32 no.4
• /
• pp.775-784
• /
• 1995

Let $H$ be a separable, infnite dimensional, complex Hilbert space and let $L(H)$ denote the algebra of all bounded linear operators on $H$.

• Bulletin of the Korean Mathematical Society
• /
• v.22 no.1
• /
• pp.63-63
• /
• 1985

• Journal of the Korean Mathematical Society
• /
• v.47 no.3
• /
• pp.601-631
• /
• 2010

In [6] and [7], we introduced graph von Neumann algebras which are the (groupoid) crossed product algebras of von Neumann algebras and graph groupoids via groupoid actions. We showed that such crossed product algebras have the graph-depending amalgamated reduced free probabilistic properties. In this paper, we will consider a scalar-valued $W^*$-probability on a given graph von Neumann algebra. We show that a diagonal graph $W^*$-probability space (as a scalar-valued $W^*$-probability space) and a graph W¤-probability space (as an amalgamated $W^*$-probability space) are compatible. By this compatibility, we can find the relation between amalgamated free distributions and scalar-valued free distributions on a graph von Neumann algebra. Under this compatibility, we observe the scalar-valued freeness on a graph von Neumann algebra.

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

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

• Communications of the Korean Mathematical Society
• /
• v.15 no.1
• /
• pp.29-36
• /
• 2000

The T-ideal of F(X) generated by $x^{n}$ for all x $\in$ X, is generated also by the symmetric polynomials. For each symmetric poly-nomial, there corresponds one row of the incidence matrix. Finding the nilpotency of nil-algebra of nil-index n is equivalent to determining the smallest integer N such that the (n, N)-incidence matrix has rank equal to N!. In this work, we show that the (n, (equation omitted)$^{(1,....,n)}$-incidence matrix is center-symmetric.

• Journal of the Korean Mathematical Society
• /
• v.45 no.3
• /
• pp.711-725
• /
• 2008

We give an explicit construction of Grobner-Shirshov pairs and monomial bases for finite-dimensional irreducible representations of the simple Lie algebra $sp_4$. We also identify the monomial basis consisting of the reduced monomials with a set of semistandard tableaux of a given shape, on which we give a colored oriented graph structure.

• Journal of the Korean Mathematical Society
• /
• v.42 no.5
• /
• pp.893-912
• /
• 2005

We discuss a certain geometric property $X_{{\theta},{\gamma}}$ of dual algebras generated by a polynomially bounded operator and property ($\mathbb{A}_{N_0,N_0}$; these are central to the study of $N_{0}\timesN_{0}$-systems of simultaneous equations of weak$^{*}$-continuous linear functionals on a dual algebra. In particular, we prove that if T $\in$ $\mathbb{A}$$^{M}$ satisfies a certain sequential property, then T $\in$ $\mathbb{A}^{M}_{N_0}(H) if and only if the algebra $A_{T}$ has property $X_{0, 1/M}$, which is an improvement of Li-Pearcy theorem in [8].