0
votes
0answers
41 views

When does the Spectrum of a Commutative Hopf Algebra Separate Points?

Let $H$ be a (finitely generated) commutative Hopf algebra over the complex numbers. When is it true that, for every $g \in H$, we can always find an algebra map $f_g:H \to \mathbb{C}$ such that ...
6
votes
1answer
149 views

Problem with Eisenbud's Lemma “Symmetry of Diagonalization”?

This question was first asked on MathSE but nobody answered. In his proof of Lemma A2.5 in his book Commutative Algebra with a View towards Algebraic Geometry, Prof. Eisenbud writes something like ...
4
votes
1answer
225 views

Tannaka–Krein duality

First I would like to stress that maybe I don't have a necessary background from the theory of Lie groups. I met the topic of Tannaka–Krein duality while reading the book of Gracia–Bondia, Varilly and ...
4
votes
2answers
258 views

Sub-Hopf algebras of group algebras

Let $k$ be a field and $G$ a finite group. Is every sub-Hopf algebra over $k$ of the group algebra $k[G]$ of the form $k[U]$ for a subgroup $U$ of $G$ ?
1
vote
0answers
342 views

Ring objects in the category of cocommutative coalgebras (aka Hopf rings).

I have recently been doing some calculations in topology which are naturally expressed in terms commutative ring objects in the category of cocommutative coalgebras. These have been studied for quite ...