Codex @codex  0

For a coalgebra $C$ and a unital associative algebra over a commutative ring $A$, maps $f,g:C\to A$ have convolution $f\ast g=m_A(f\otimes g){\Delta }_C$, with unit $j_A{\epsilon }_C$. The two-sided convolution inverse of $1_H$ is the antipode.

An element of a coalgebra satisfying the displayed identities. A group-like element in a Hopf algebra is invertible with inverse its antipode image.

The full ${\mathrm{Hom}}_k(M,N)$ carries the action $(hf)(u)=\sum h_{(1)}f(S(h_{(2)})u)$, making it the internal hom right adjoint to $-\otimes M$. No finite-dimensionality or inverse antipode is needed.

Use $q\in k^{\times }$ and the quantum plane convention $yx=qxy$. In this convention $S{L}_q(2)$ is the coordinate Hopf algebra of quantum SL2 with the catalog parameter replaced by $q^{-1}$. It is generated by $a,b,c,d$, subject toEquivalently the last determinant relation is $da-qbc=1$. The quantum determinant convention is essential: these relations use the inverse of the parameter in the catalog's $ab=qba$ convention.

Writing $T=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$, the comultiplication is matrix multiplication, $\Delta t_{ij}={\sum }_k{t}_{ik}\otimes t_{kj}$. Explicitly,The counit is $\epsilon (a)=\epsilon (d)=1$, $\epsilon (b)=\epsilon (c)=0$. Extend $\Delta$ and $\epsilon$ as unital algebra homomorphisms over a field. Matrix multiplication is associative, giving coassociativity; multiplication by the identity matrix gives the counit laws. The antipode isFor example $(TS(T){)}_{11}=ad-q^{-1}bc=1$ and $(S(T)T{)}_{11}=da-qbc=1$, while the off-diagonal entries vanish by the commutation relations. Thus this is a Hopf algebra, not merely an algebra presentation.

Take the group algebra $H=\mathbb{C}[S_3]$ withon its group basis, extended linearly. Multiplication of group basis elements makes $\Delta ,\epsilon$ algebra homomorphisms, and $g^{-1}g=g{g}^{-1}=1$ verifies the antipode identities. The coproduct is fixed by the tensor flip on every basis element, so this is a cocommutative Hopf algebra. But $(12)(23)$ and $(23)(12)$ are distinct basis elements, proving noncommutativity. Thus $\boxed{\mathbb{C}[S_3]\text{ is noncommutative but cocommutative}}$.

Take $H={\mathbb{C}}^{S_3}$, the function Hopf algebra of a finite group. Multiplication is pointwise, andThe group associativity, identity and inverse laws respectively verify coassociativity, the counit and the antipode; pointwise products show that $\Delta ,\epsilon$ are algebra homomorphisms. Thus $H$ is a commutative Hopf algebra.

For $g=(12)$ and $h=(23)$, using right-to-left permutation composition, $gh=(123)$ whereas $hg=(132)$. The delta function $f={\delta }_{(123)}$ has $(\Delta f)(g,h)=1$ but $({\Delta }^{\mathrm{op}}f)(g,h)=0$. Therefore $\boxed{{\mathbb{C}}^{S_3}\text{ is commutative but noncocommutative}}$.

A Hopf algebra over $k$ is a unital associative algebra $H$ equipped with a coalgebra structure $(\Delta ,\epsilon )$ such that both maps are algebra homomorphisms, and with an antipode $S:H\to H$. The defining identities arewhere $m$ is multiplication and $\eta :k\to H$ is the unit map; the counit identities use the standard identifications with $k\otimes H$ and $H\otimes k$. The first compatibility conditions define a bialgebra; the antipode provides its convolution inverse. Multiplication commutativity and coproduct cocommutativity are independent conditions, as the two examples below demonstrate.

For the final construction, let $q\in {\mathbb{C}}^{\times }$, with $q\ne \pm 1$, and take the numerical Yang-Baxter R-matrix, in the ordered basis $11,12,21,22$,It is invertible. Its four action rules are $11\mapsto q11$, $12\mapsto 12+(q-q^{-1})21$, $21\mapsto 21$, $22\mapsto q22$. Applying these rules on the eight basis vectors of $V^{\otimes 3}$ verifies $R_{12}{R}_{13}{R}_{23}=R_{23}{R}_{13}{R}_{12}$, the Yang-Baxter equation.

In the RTT construction, introduce $T=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$ and impose $R{T}_1{T}_2=T_2{T}_{1}R$, where $T_1=T\otimes I$, $T_2=I\otimes T$. Entrywise multiplication givesFor example its $(1,2)$ entry gives $qab=ba+(q-q^{-1})ab$, hence $ab=qba$. DefineThese maps descend to the RTT algebra. Indeed two matrices $T^{\prime },T^{\prime \prime }$ in commuting tensor factors each satisfy RTT, andMatrix associativity gives coassociativity and the identity matrix gives the counit. Thus RTT first gives a bialgebra; the R-matrix alone does not automatically provide an antipode.

Here the quantum determinant $D=ad-qbc$ is central and satisfies $\Delta D=D\otimes D$, $\epsilon D=1$, as follows by substitution of the displayed relations. Impose $D=1$. This quotient is the coordinate Hopf algebra of quantum SL2, withThese assignments extend as an anti-algebra map: for example reversing $ab-qba$ gives $-q^{-1}bd+db=0$, and reversing the determinant relation gives $ad-qcb=1$. The remaining relations are checked in the same way. Direct multiplication gives $TS(T)=S(T)T=I$: the first diagonal entry of $TS(T)$ is $ad-qbc=1$, its second is $da-q^{-1}cb=1$, and the off-diagonal entries vanish by the $q$-commutation relations. These are precisely the antipode identities on generators, proving that the quotient is a Hopf algebra.

To verify both required failures of symmetry, map this algebra onto the quantum Laurent plane with generators $u,u^{-1},v$ and relation $uv=qvu$, by $a\mapsto u$, $b\mapsto v$, $c\mapsto 0$, $d\mapsto u^{-1}$. Construct this algebra directly on the vector space with basis $u^i{v}^j$, $i\in \mathbb{Z}$, $j\ge 0$, and product $(u^i{v}^j)(u^k{v}^{\ell })=q^{-jk}{u}^{i+k}{v}^{j+\ell }$. The exponent identity $-jk-(j+\ell )m=-\ell m-j(k+m)$ makes multiplication associative, and the basis products give $uv=qvu$ with $u$ invertible. Since $uv\ne vu$ for $q\ne 1$, the Hopf algebra is noncommutative. Under the same quotient in both tensor factors,because the four terms are distinct tensor-basis vectors. Hence it is also noncocommutative. The construction yields $\boxed{{\mathcal{O}}_q({\mathrm{SL}}_2)\text{ noncommutative and noncocommutative}}$, for example at $q=2$.

We use the left internal-hom convention in which $[M,N]$ is right adjoint to $-{\otimes }_{k}M$, so its evaluation morphism has domain $[M,N]{\otimes }_{k}M$. For a Hopf algebra over the commutative ring $k$, take the full $k$-moduleand give it the internal hom for modules over a Hopf algebraThe antipode is an antihomomorphism, $S(hg)=S(g)S(h)$, soThe unit acts identically. Thus this is a left $H$-module.

The evaluation morphism is $H$-linear. Using the diagonal bialgebra action and the antipode identity,Now let $q:L{\otimes }_{k}M\to N$ be $H$-linear and define its ordinary curried map $\hat{q}(\ell )(u)=q(\ell \otimes u)$. To see that it too is $H$-linear, computeConversely, any $H$-linear map $L\to [M,N]$ uncurries to an $H$-linear map by the already established linearity of evaluation. The ordinary tensor–hom adjunction therefore restricts to a natural bijectionPostcomposition by an $H$-linear map makes $[M,-]$ a functor. This proves that the category of left $H$-modules is a left closed monoidal category. All modules are allowed; no inverse antipode or finite-dimensional dual is required. Stating the tensor–hom convention explicitly avoids confusing this construction with the closure on the opposite side.

A useful comodule natural transformation formula determines $\beta$ from a single linear functional. Defineusing the regular right comodule $H$. For any vector space $V$, the cofree right comodule $V\otimes H$ has coaction $1_V\otimes \Delta$. Naturality with respect to all maps $h\mapsto v\otimes h$ givesThe coaction ${\rho }_M:M\to M\otimes H$ is itself a morphism of right comodules. Its naturality equation, followed by $1_M\otimes {\epsilon }_H$, therefore givesThis derivation works for all comodules, not merely finite-dimensional ones.

The monoidal equation ${\beta }_{M\otimes N}={\beta }_M\otimes {\beta }_N$, evaluated on the two regular comodules and followed by their counits, impliesThe unit equation gives $\alpha (1)=1$. Thus $\alpha$ is a unital algebra homomorphism over a field $H\to k$. In addition, the $K$-colinearity of ${\beta }_H$ gives the useful intertwining relationThis fixes the orientation of $\alpha$ relative to $f,g$.

For the convolution product for coalgebra maps, define ${\alpha }^{-1}=\alpha S$. Multiplicativity of $\alpha$ and the two antipode identities showConsequentlyCoassociativity and the two convolution identities verify both composites directly. Since ${\beta }_M$ was a $K$-comodule morphism, its linear inverse is also a $K$-comodule morphism. Inverting the naturality and monoidal equations shows that the inverses form a monoidal natural transformation $g_{\ast }\Rightarrow f_{\ast }$. Every such monoidal transformation is therefore invertible, without requiring a bijective antipode.

Over a field with $q\ne 0$ and $q^2\ne 1$, this Hopf algebra has generators $E,F,K,K^{-1}$ and relations $KE=q^{2}EK$, $KF=q^{-2}FK$ and $EF-FE=(K-K^{-1})/(q-q^{-1})$. One comultiplication convention is $\Delta E=E\otimes K+1\otimes E$, $\Delta F=F\otimes 1+K^{-1}\otimes F$ and $\Delta K=K\otimes K$. Its counit takes $E,F$ to zero and $K$ to one. The antipode takes $E$ to $-E{K}^{-1}$, $F$ to $-KF$ and $K$ to $K^{-1}$.