• Bulletin of the Korean Mathematical Society
• /
• v.47 no.6
• /
• pp.1275-1283
• /
• 2010

If the Wiener-Hopf $C^*$-algebra W(G,M) for a discrete group G with a semigroup M has the uniqueness property, then the structure of it is to some extent independent of the choice of isometries on a Hilbert space. In this paper we show that if the Wiener-Hopf $C^*$-algebra W(G,M) of a partially ordered group G with the positive cone M has the uniqueness property, then (G,M) is weakly unperforated. We also prove that the Wiener-Hopf $C^*$-algebra W($\mathbb{Z}$, M) of subsemigroup generating the integer group $\mathbb{Z}$ is isomorphic to the Toeplitz algebra, but W($\mathbb{Z}$, M) does not have the uniqueness property except the case M = $\mathbb{N}$.

• 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 Chungcheong Mathematical Society
• /
• v.26 no.1
• /
• pp.91-103
• /
• 2013

Let (D,B) be an admissible pair. Then recall that $B\;{\times}^L_HD^{{\rightarrow}{\pi}_D}_{{\leftarrow}i_D}\;D$ are bialgebra maps satisfying ${\pi}_D{\circ}i_D=I$. We have solved a converse in case D is a Hopf algebra. Let D be a Hopf algebra with antipode $S_D$ and be a left H-comodule algebra and a left H-module coalgebra over a field $k$. Let A be a bialgebra over $k$. Suppose $A^{{\rightarrow}{\pi}}_{{\leftarrow}i}D$ are bialgebra maps satisfying ${\pi}{\circ}i=I_D$. Set ${\Pi}=I_D*(i{\circ}s_D{\circ}{\pi}),B=\Pi(A)$ and $j:B{\rightarrow}A$ be the inclusion. Suppose that ${\Pi}$ is an algebra map. We show that (D,B) is an admissible pair and $B^{\leftarrow{\Pi}}_{\rightarrow{j}}A^{\rightarrow{\pi}}_{\leftarrow{i}}D$ is an admissible mapping system and that the generalized biproduct bialgebra $B{\times}^L_HD$ is isomorphic to A as bialgebras.

• Journal of the Chungcheong Mathematical Society
• /
• v.17 no.1
• /
• pp.85-101
• /
• 2004

Let A be a Hopf algebra with a linear form ${\sigma}:k{\rightarrow}A{\otimes}A$, which is convolution invertible, such that ${\sigma}_{21}({\Delta}{\otimes}id){\tau}({\sigma}(1))={\sigma}_{32}(id{\otimes}{\Delta}){\tau}({\sigma}(1))$. We define Hopf algebras, ($A_{\sigma}$, m, u, ${\Delta}_{\sigma}$, ${\varepsilon}$, $S_{\sigma}$). If B and C are opposite skew copaired Hopf algebras and $A=B{\otimes}_kC$ then we find Hopf algebras, ($A_{[{\sigma}]}$, $m_B{\otimes}m_C$, $u_B{\otimes}u_C$, ${\Delta}_{[{\sigma}]}$, ${\varepsilon}B{\otimes}{\varepsilon}_C$, $S_{[{\sigma}]}$). Let H be a finite dimensional commutative Hopf algebra with dual basis $\{h_i\}$ and $\{h_i^*\}$, and let $A=H^{op}{\otimes}H^*$. We show that if we define ${\sigma}:k{\rightarrow}H^{op}{\otimes}H^*$ by ${\sigma}(1)={\sum}h_i{\otimes}h_i^*$ then ($A_{[{\sigma}]}$, $m_A$, $u_A$, ${\Delta}_{[{\sigma}]}$, ${\varepsilon}_A$, $S_{[{\sigma}]}$) is the dual space of Drinfeld double, $D(H)^*$, as Hopf algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.6
• /
• pp.1687-1695
• /
• 2023

In this paper, we study the Green ring r(𝔴⁰_n) of the weak Hopf algebra 𝔴⁰_n based on Taft Hopf algebra H_n(q). Let R(𝔴⁰_n) := r(𝔴⁰_n) ⊗_ℤ ℂ be the Green algebra corresponding to the Green ring r(𝔴⁰_n). We first determine all finite dimensional simple modules of the Green algebra R(𝔴⁰_n), which is based on the observations of the roots of the generating relations associated with the Green ring r(𝔴⁰_n). Then we show that the nilpotent elements in r(𝔴⁰_n) can be written as a sum of finite dimensional indecomposable projective 𝔴⁰_n-modules. The Jacobson radical J(r(𝔴⁰_n)) of r(𝔴⁰_n) is a principal ideal, and its rank equals n - 1. Furthermore, we classify all finite dimensional non-simple indecomposable R(𝔴⁰_n)-modules. It turns out that R(𝔴⁰_n) has n² - n + 2 simple modules of dimension 1, and n non-simple indecomposable modules of dimension 2.

• Journal of the Chungcheong Mathematical Society
• /
• v.21 no.3
• /
• pp.301-320
• /
• 2008

The smash product algebra has been generalized to general smash product algebra in [3] and we can generalize the smash coproduct coalgebra to obtain the general smash coproduct coalgebra. It is natural to replace the smash product and smash coproduct by the generalized smash product and generalized smash coproduct and consider the condition under which the generalized smash product algebra structure and the generalized smash coproduct coalgebra structure will inherit a bialgebra structure or a Hopf algebra structure. We derive necessary sufficient conditions for the problem. This generalizes the corresponding results in [7] and [4].

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

We construct a weak Hopf algebra $wX_q(A_1)$ corresponding to non-standard quantum group $X_q(A_1)$. The PBW basis of $wX_q(A_1)$ is described and all the highest weight modules of $wX_q(A_1)$ are classified. Finally we give the Clebsch-Gordan decomposition of the tensor product of two highest weight modules of $wX_q(A_1)$.

• Journal of the Chungcheong Mathematical Society
• /
• v.14 no.1
• /
• pp.85-103
• /
• 2001

Suppose that Hand K are paired Hopf algebras and that A is an H - K - bicomodule algebra with multiplication which is a left H-comodule map and is a right K-comodule map. We define a new twisted algebra, $A^{\tau}$ and define $M^{\tau}$ for $M{\in}M_A^K$. We find an equivalent condition for $M^{\tau}{\in}M_{A^{\tau}}^K$. We show that the above defined twisted multiplication is the special case of Beattie's twist multiplication. We show that if K is commutative, then A is an H-module algebra and show that if $H^*$ is cocommutative then the construction of smash product appears as a special case of the new twist product.

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

Let (H, K) be a paired Hopf algebras and let A be arbitrary left H-module coalgebra. We construct twisting coproduct on $A{\otimes}K$. We show that the well known construction of the smash coproduct can be viewed as a particular case of the construction above.

• Journal of the Chungcheong Mathematical Society
• /
• v.16 no.1
• /
• pp.81-96
• /
• 2003

Let ${\sigma}:k{\rightarrow}A{\otimes}B$ be a skew copairing on (A, B), where A and B are Hopf algebras of the same dimension n. Skew dual bases of A and B are introduced. If ${\sigma}$ is an invertible skew copairing then we can give a 2-cocycle bilinear form [${\sigma}$] on $A{\otimes}B$ and define a new Hopf algebra.