Greetings, about the third exercise, I have to make a comment here, if I’m not mistaken, we need to choose because also have the property that but it doesn’t belong to the group.

I think that could help. (Thanks to Yiby Morales, she encouraged me to post this!)

### Like this:

Like Loading...

*Related*

Thanks Sebastian (and thanks Yiby)!

I was thinking the same thing and came to the forum to see if anyone had posted about it! I think you’re right, and the PlanetMath website seems to say the same thing about the grouplike element.

http://planetmath.org/encyclopedia/GrouplikeElementsInHopfAlgebras.html

In the group ring is it appropriate to consider the elements of $latexG$ as a basis for $latex\mathbb{F}[G]$ and therefore the pure tensors of elements of $latexG$ as a basis for $latex\mathbb{F}[G]\otimes\mathbb{F}[G]$? My hope is that two elements of $latex\mathbb{F}[G]\otimes\mathbb{F}[G]$ are equal only if the coefficients of corresponding pure tensors are equal. Is this true?

also, how do you get the latex to compile?

alyssapalfreyman, the basis of the are exactly the elements with

PD: You write $, then latex, spacebar, then the latex code, and last you close with $.