Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
1 answer
426 views

Is Malcev completion an embedding?

The Malcev completion of an abstract group $G$ over a field $k$ of characteristic zero is defined by $$\hat G = \mathbb{G}(\widehat{k[G]}) ,$$ the group-like part of the completed (by the augmentation ...
Qwert Otto's user avatar
0 votes
1 answer
184 views

Hopf algebra of representative k-valued functions of an abstract group

Let $G$ be an abstract group. If we can embed $G$ into a group $H$, in a way that we had $G$ and $H$ of the same Hopf algebra of representative $k$-valued functions ($R(G)\sim R(H)$ as Hopf algebras). ...
user502786's user avatar
1 vote
1 answer
106 views

Cosemisimple pointed Hopf algebras

Let $\mathbb{K}$ be an algebraically closed field of characteristic $0$. Every cosemisimple pointed Hopf $\mathbb{K}$-algebra $A$ is easily seen to be cocommutative. Does this imply that $A$ is the ...
Dyke Acland's user avatar
  • 1,479
6 votes
2 answers
210 views

groupring morphisms and bialgebra

Let $G_{1}$ and $G_{2}$ be two groups. Suppose that we have a morphism $\mathbb{Z}[G_{1}]\rightarrow \mathbb{Z}[G_{2}] $ of bialgebras is it true that this morphism comes from a morphism of groups $G_{...
Ofra's user avatar
  • 1,613
0 votes
1 answer
123 views

Orthogonal idempotents with sum equal to 1 in $k[G]$ span sub-Hopf algebra

Let $G$ be a finite group. Let $B$ be a set of orthogonal non-zero idempotents with $|B| \leq |G|$, s.t. $\sum_{b \in B}b =1_{kG}$. Is it known if $B$ spans a sub-Hopf algebra $kH \subseteq kG$?
Bipolar Minds's user avatar
3 votes
0 answers
515 views

What happens geometrically when you take associated-graded (or complete, ...) of a group ring at its augmentation ideal?

I am interested in the following functor from Monoids (in $\text{Set}$) to Graded Lie Algebras (over a fixed field of characteristic $0$). (By "graded" I mean only that my Lie algebras have some ...
Theo Johnson-Freyd's user avatar