2
$\begingroup$

On the renowned "On the Structure of Hopf Algebras" by Milnor and Moore, there is a definition of "left normal morphism of augmented algebras." It says as follows. If $A$ and $B$ are augmented $R$-algebras, then $f:A\rightarrow B$ is called left normal if the natural map $\pi:B\rightarrow R\otimes_{A}B=B/(I(A)B)$ is a split epimorphism and $BI(A)\subset I(A)B$. But still I cannot understand why do we need $\pi$ to be split. Would someone explain me why do we need this?

$\endgroup$

1 Answer 1

0
$\begingroup$

I was looking at this too and I think I see why. So here's the setting :

$f \colon A \to B$ is a morphism of augmented $K$-algebras, and denote the augmentations by $\epsilon$. If $f$ is left normal, then there is a unique $K$-algebra structure on $C = K \otimes_A B$ making the natural projection $\pi \colon B \to K \otimes_A B \colon b \mapsto 1 \otimes b$ a morphism of augmented $K$-algebras.

Even without the splitting of $\pi$ you can define the product on $C$ just by $1 \otimes b \cdot 1 \otimes b' = 1 \otimes b b'$ and the unit just by composition $K \to B \to C \colon 1 \mapsto 1 \otimes 1$. This makes $C$ into an algebra.

Now for the augmentation, the map $C \to K \colon 1 \otimes b \mapsto 1 \cdot \epsilon(b)$ is not well-defined, since $K \times B \to K \colon (1,b) \mapsto 1 \epsilon(b)$ is not $A$-balanced. But if $\pi$ admits a splitting $j$, then you can define the counit on $C$ as $\epsilon \circ j$ making the diagram commute.

So that's interesting as it seems like the splitting is not needed for the algebra structure on the quotient, but for the augmented algebra structure, and eventually the Hopf algebra structure there.

$\endgroup$
2
  • $\begingroup$ Well.. I think the natural projection $\pi:B\rightarrow K\otimes_{A}B$ is $b\mapsto1\otimes b$, not $b\mapsto\epsilon(b)\otimes b$... $\endgroup$
    – Gyujin Oh
    Oct 21, 2013 at 5:10
  • $\begingroup$ Yes thanks, I changed that, does this make more sense now ? It's interesting that this seems to be needed for the Hopf algebra structure on the quotient. $\endgroup$
    – Bogdan
    Oct 25, 2013 at 22:08

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.