• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.2
• /
• pp.323-333
• /
• 2010

The biproduct bialgebra has been generalized to generalized biproduct bialgebra $B{\times}^L_H\;D$ in [5]. Let (D, B) be an admissible pair and let D be a bialgebra. We show that if generalized biproduct bialgebra $B{\times}^L_H\;D$ is a Hopf algebra with antipode s, then D is a Hopf algebra and the identity $id_B$ has an inverse in the convolution algebra $Hom_k$(B, B). We show that if D is a Hopf algebra with antipode $s_D$ and $s_B$ in $Hom_k$(B, B) is an inverse of $id_B$ then $B{\times}^L_H\;D$ is a Hopf algebra with antipode s described by $s(b{\times}^L_H\;d)={\Sigma}(1_B{\times}^L_H\;s_D(b_{-1}{\cdot}d))(s_B(b_0){\times}^L_H\;1_D)$. We show that the mapping system $B{\leftrightarrows}^{{\Pi}_B}_{j_B}\;B{\times}^L_H\;D{\rightleftarrows}^{{\pi}_D}_{i_D}\;D$ (where $j_B$ and $i_D$ are the canonical inclusions, ${\Pi}_B$ and ${\pi}_D$ are the canonical coalgebra projections) characterizes $B{\times}^L_H\;D$. These generalize the corresponding results in [6].

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

• Honam Mathematical Journal
• /
• v.41 no.2
• /
• pp.421-433
• /
• 2019

Let n denote an integer greater than 2 and let c denote a nonzero complex number. In this paper, we introduce a family of elements of the rational Cherednik algebra $H^{sl_n}(c)$ of type $sl_n$, which are analogous to the Dunkl-Cherednik elements of the rational Cherednik algebra $H^{gl_n}(c)$ of type $gl_n$. We also introduce the raising and lowering element of $H^{sl_n}(c)$ which are useful in the representation theory of the algebra $H^{sl_n}(c)$, and provide simple results related to these elements.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.2
• /
• pp.243-246
• /
• 2003

In this paper we define a weak positive implicative hyperBCK-ideal of hyperBCK-algebra. Also we investigate that every positive implicative hyperBCK-algebra is a positive implicative hyperK-algebra and then we prove that every positive implicative hyperK-algebra is a weak positive implicative hyperk-algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.5
• /
• pp.1587-1606
• /
• 2015

Comonoid, bi-algebra, and Hopf algebra structures are studied within the universal-algebraic context of entropic varieties. Attention focuses on the behavior of setlike and primitive elements. It is shown that entropic $J{\acute{o}}nsson$-Tarski varieties provide a natural universal-algebraic setting for primitive elements and group quantum couples (generalizations of the group quantum double). Here, the set of primitive elements of a Hopf algebra forms a Lie algebra, and the tensor algebra on any algebra is a bi-algebra. If the tensor algebra is a Hopf algebra, then the underlying $J{\acute{o}}nsson$-Tarski monoid of the generating algebra is cancellative. The problem of determining when the $J{\acute{o}}nsson$-Tarski monoid forms a group is open.

• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.2
• /
• pp.357-365
• /
• 2013

Fix $n-2$ elements $h_1,{\cdots},h_{n-2}$ of the quotient field B of the polynomial algebra $\mathbb{C}[x_1,x_2,{\cdots},x_n]$. It is proved that B is a Poisson algebra with Poisson bracket defined by $\{f,g\}=det(Jac(f,g,h_1,{\cdots},h_{n-2})$ for any $f,g{\in}B$, where det(Jac) is the determinant of a Jacobian matrix.

• Honam Mathematical Journal
• /
• v.19 no.1
• /
• pp.21-27
• /
• 1997

We shall define three kinds of points for algebraic varieties associated to the center 3 of U(L) which is the universal enveloping algebra of a finite-dimensional modular Lie algebra over an algebraically closed field F of prime characteristic p. We announce here that $sp_4$(F) with p = 2 has a subregular point.

• Communications of the Korean Mathematical Society
• /
• v.11 no.3
• /
• pp.595-600
• /
• 1996

We give a characterization of a deductive system. We introduce the concept of maximal deductive systems and show that every bounded Hilbert algebra with at least two elements contains at least one maximal deductive system. Moreover, we introduce the notion of radical and semisimple in a Hilbert algebra and prove that if H is a bounded Hilbert algebra in which every element is an involution, then H is semisimple.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.4
• /
• pp.617-630
• /
• 2011

Let X, Y be vector spaces, and let r be 2 or 4. It is shown that if an odd mapping $f:X{\rightarrow}Y$ satisfies the functional equation $${\hspace{50}}rf(\frac{\sum_{j=1}^{d}\;x_j} {r})+\;{\sum\limits_{\iota(j)=0,1 \atop {\sum_{j=1}^{d}}\;{\iota}(j)=l}}\;rf(\frac{\sum_{j=1}^{d}{(-1)^{\iota(j)}x_j}}{r}) \\({\ddag}){\hspace{160}}=(_{d-1}C_l-_{d-1}C_{l-1}+1)\;{\sum\limits_{j=1}^{d}\;f(x_j)}$$ then the odd mapping $f:X{\rightarrow}Y$ is additive, and we prove the Cauchy-Rassias stability of the functional equation in Banach modules over a unital $C^*$-algebra. As an application, we show that every almost linear bijection $h:{\mathcal{A}}{\rightarrow}{\mathcal{B}}$ of a unital $C^*$-algebra ${\mathcal{A}}$ onto a unital $C^*$-algebra ${\mathcal{B}}$ is a $C^*$-algebra isomorphism when $h(2^nuy)=h(2^nu)h(y)$ for all unitaries $u{\in}{\mathcal{A}}$, all $y{\in}{\mathcal{A}}$, and $n=0,1,2,{\cdots}$.