Dado un finito grupo $G$, se puede definir el grupo de álgebra $\mathbb{C}[G]$ como el álgebra tener los elementos de $G$ como base, con la multiplicación de $G$. Claramente, cualquier grupo homomorphism induce un álgebra de homomorphism en el grupo de álgebras.
Me pregunto si se puede demostrar que el álgebra homomorphism de dos álgebras de grupo siempre debe provenir de un homomorphism de grupos.