{"id":"arxiv/2610.34332","url":"https://arxiv.org/abs/2610.34332","tags":["math.QA","math.CT","math.RA","math.RT"],"score":0,"title":"Automatic cocommutativity for the quantum-group comonad","domain":"math.QA","source":"arxiv","authors":["Alexandru Chirvasitu"],"reviews":0,"subject":"math.QA","summary":"We prove that the cofree Hopf algebra on a cocommutative bialgebra is again cocommutative, and in fact coincides with the latter's largest Hopf subalgebra. This answers a question of Ardizzoni-Menini-Saracco and provides a proof for a statement to the same effect in the literature, whose original justification contains an apparent gap. The result relies on (and is in fact equivalent to) the observation that cocommutative bialgebra quotients of arbitrary Hopf algebras are automatically Hopf. This latter statement strengthens the analogue due to Newman, which assumes cocommutativity for the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-25","reactions":{}}