{"id":"arxiv/2607.24039","url":"https://arxiv.org/abs/2607.24039","tags":["math.QA"],"score":0,"title":"Freeness and divisibility for right $H$-simple left $H$-comodule algebras over a pointed Hopf algebra $H$","domain":"math.QA","source":"arxiv","authors":["Daisuke Nakamura"],"reviews":0,"subject":"math.QA","summary":"Let $H$ be a pointed Hopf algebra and let $A$ be a right $H$-simple left $H$-comodule algebra. We show that every relative $(H,A)$-Hopf module is free as an $A$-module and that this freeness characterizes the class of pointed Hopf algebras. We give a criterion for the category of relative $(H,A)$-Hopf modules to be semisimple. We also show that $A$ can be embedded into a left $H$-comodule algebra of a specific form when $H$ and $A$ are $\\mathbb{N}_0$-graded. As a consequence, we prove that if $H$ is finite-dimensional and $A^{\\mathrm{co} H}=\\Bbbk$, then $A$ is finite-dimensional and $\\dim A$…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-27","reactions":{}}