# Tagged Questions

**3**

votes

**2**answers

292 views

### Infinite products of representations of the additive group

Fix a $\mathbb{Q}$-algebra $R$. Let's call an endomorphism $f : M \to M$ of an $R$-module $M$ locally nilpotent if for every $m \in M$ there is some $n \in \mathbb{N}$ such that $f^n(m)=0$. ...

**21**

votes

**1**answer

872 views

### What does the Tannakian formalism reconstruct when fed the category of chain complexes?

I've recently realized that there is a gap in my understanding of the Tannakian formalism for reconstructing an (algebraic) group from its category of (finite-dimensional) representations. To warm ...

**34**

votes

**2**answers

1k views

### What algebraic group does Tannaka-Krein reconstruct when fed the category of modules of a non-algebraic Lie algebra?

Let $\mathfrak g$ be a finite-dimensional Lie algebra over $\mathbb C$, and let $\mathfrak g \text{-rep}$ be its category of finite-dimensional modules. Then $\mathfrak g\text{-rep}$ comes equipped ...

**5**

votes

**4**answers

383 views

### Is every monomorphism of commutative Hopf algebras (over a field) injective?

Is it true that any monomorphism of commutative Hopf algebras over a field is injective? Moreover, is it true that any epimorphism of commutative Hopf algebras over a field is surjective?

**19**

votes

**4**answers

3k views

### Tannakian Formalism

The Tannakian formalism says you can recover a complex algebraic group from its category of finite dimensional representations, the tensor structure, and the forgetful functor to Vect. Intuitively, ...

**18**

votes

**4**answers

3k views

### Is there a “universal group object”? (answered: yes!)

I want to say that a group object in a category (e.g. a discrete group, topological group, algebraic group...) is the image under a product-preserving functor of the "group object diagram", $D$. One ...