• Bulletin of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.527-541
• /
• 2001

We find the necessary and sufficient conditions for the smash product algebra structure and the crossed coproduct coalgebra structure with th dual cocycle $\alpha$ to afford a Hopf algebra (A equation,※See Full-text). If B and H are finite algebra and Hopf algebra, respectively, then the linear dual (※See Full-text) is also a Hopf algebra. We show that the weak coaction admissible mapping system characterizes the new Hopf algebras (※See Full-text).

• Communications of the Korean Mathematical Society
• /
• v.10 no.1
• /
• pp.11-14
• /
• 1995

In [1], Alo and Deeba introduced the uniformity of a BCK-algebra by using ideals. Meng [5] introduced the concept of dual ideals in BCK-algebras. We note that the concept of dual ideals is not a dual concept of ideals. In this paper, by using dual ideals, we consider the uniformity of a BCK-algebra.

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

The braid group $B_n$ maps homomorphically into the Temperley-Lieb algebra $TL_n$. It was shown by Zinno that the homomorphic images of simple elements arising from the dual presentation of the braid group $B_n$ form a basis for the vector space underlying the Temperley-Lieb algebra $TL_n$. In this paper, we establish that there is a dual presentation of Temperley-Lieb algebras that corresponds to the dual presentation of braid groups, and then give a simple geometric proof for Zinno's theorem, using the interpretation of simple elements as non-crossing partitions.

• Journal of the Chungcheong Mathematical Society
• /
• v.11 no.1
• /
• pp.13-26
• /
• 1998

The purpose of this note is to study the relation between Heyting algebra and t-algebra which is the dual concept of BCK-algebra. We define t-algebra with binary operation ${\rhd}$ which is a generalization of the implication in the Heyting algebra, and define a bounded ness and commutativity of it, and then characterize a Heyting algebra and a Boolean algebra as a bounded commutative t-algebra X satisfying $x=(x{\rhd}y){\rhd}x$ for all $x,y{\in}X$.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.1
• /
• pp.17-21
• /
• 2011

Let A be a co-Poisson Hopf algebra with Poisson co-bracket $\delta$. Here it is shown that the Hopf dual $A^{\circ}$ is a Poisson Hopf algebra with Poisson bracket {f, g}(x) = < $\delta(x)$, $f\;{\otimes}\;g$ > for any f, g $\in$ $A^{\circ}$ and x $\in$ A if A is an almost normalizing extension over the ground field. Moreover we get, as a corollary, the fact that the Hopf dual of the universal enveloping algebra U(g) for a finite dimensional Lie bialgebra g is a Poisson Hopf algebra.

• Journal of the Korean Mathematical Society
• /
• v.31 no.4
• /
• pp.659-667
• /
• 1994

Let $H$ be a separable, infinite dimensional, complex Hilbert space and let $L(H)$ be the algebra of all bounded linear operators on $H$. A dual algebra is a subalgebra of $L(H)$ that contains the identity operator $I_H$ and is closed in the ultraweak operator topology on $L(H)$. Note that the ultraweak operator topology coincides with the weak topology on $L(H) (cf. [6]). Several functional analysists have studied the problem of solving systems of simultaneous equations in the predual of a dual algebra (cf. [3]). This theory is applied to the study of invariant subspaces and dilation theory, which are deeply related to the classes $A_{m,n}$ (that will be defined below) (cf. [3]). An abstract geometric criterion for dual algebras with property $(A_{\aleph_0}, {\aleph_0})$ was first given in [1].

• Journal of the Korean Mathematical Society
• /
• v.32 no.3
• /
• pp.635-647
• /
• 1995

Let $H$ denote a separable, infinite dimensional complex Hilbert space and let $L(H)$ denote the algebra of all bounded linear operators on $H$. A dual algebra is a subalgebra of $L(H)$ that contains the identity operator $1_H$ and is closed in the $weak^*$ operator topology on $L(H)$. For $T \in L(H)$, let $A_T$ denote the smallest subalgebra of $L(H)$ that contains T and $1_H$ and is closed in the $weak^*$ operator topology.

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

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