# Questions tagged [coalgebras]

For questions about coalgebras, comultiplication, cocommutativity, counity, comodules, bicomodules, coactions, corepresentations, cotensor product, subcoalgebras, coideals, coradical, cosemisimplicity, ...

115 questions
Filter by
Sorted by
Tagged with
76 views

### Subcoalgebras of symmetric algebra

Consider the symmetric algebra $S(V)$, with its coalgebra structure: $\Delta(x)=1\otimes x+x\otimes1$ on $V$, extended multiplicatively. What are its subcoalgebras? In some vague sense, they seem to ...
1 vote
126 views

### Infinite-dimensional, non-unital Frobenius algebras

A Frobenius algebra is a tuple $(A,\mu,\delta,\eta,\varepsilon)$, where $A$ is a vector space, $(A,\mu,\eta)$ a unital associative algebra, and $(A,\delta,\varepsilon)$ a counital coassociative ...
194 views

### Hopf algebra and coideal question

Let $A$ be a Hopf algebra (over a field). Consider a unital subalgebra $B\subseteq A$ with $\Delta(B)\subseteq B\otimes A$. Put $$B^+:= B\cap \ker(\epsilon).$$ It can be shown that $B^+$ is a two-...
69 views

95 views

### Frobenius algebras associated to posets and coalgebra structures

Let $P$ be a finite poset that we assume for simplicity to be bounded (that is it has a global maximum M and minimum m). Let k be a field, then the classical incidence algebra $kP$ has $k$-vector ...
219 views

### Cotensor products (in monoidal categories) without regularity

In Internal Categories and Quantum Groups, Aguiar defines the cotensor product of two bicomodules as follows. Let $(\mathcal{V},\otimes_{\mathcal{V}},\mathbf{1}_{\mathcal{V}})$ be a monoidal category;...
204 views

### Reconstruction of coalgebras

In the paper Reconstruction of hidden symmetries of Bodo Pareigis in the subsection "3.1 Reconstruction of coalgebras" there is the following proposition (3.3.). Let $\mathcal{C}$ be a ...
87 views

### Do chains send homotopy inverse limits of spaces to homotopy inverse limits of $E_\infty$-coalgebras?

Let $X_\bullet := ... X_2 \to X_1$ be a tower of connected and simple spaces with the following properties: The induced tower $H_\ast(X_\bullet; \mathbb{F}_p)$ of graded $\mathbb{F}_p$-vector spaces ...
I posted this question on MSE but got no answer even after putting a bounty on it, so I figured I can try to ask here. Let $(A, \Delta: A \to A \otimes A)$ be bialgebra (unital and counital) such that ... 