量子Yang-Baxter模的对偶模

设H是城k上的Hopf代数,M是左量子Yang-Baxter H-模。本文证明了如下结论:(1)M的最大有理子模M^(*rat)是量子左Yang-Baxter H-模;(2)对偶余模M^0是右量子Yang-Baxter H^0-模;(3)如果M,N是左量子Yang-Baxter H-模,则HOM_k(M,N)是左量子Yang-Baxter H-模。