?? can "defective modules" of a bialgebra be tensored ??? .... (?? bialgebra structure on v given one on tensor and/or symmetric algebra over v ??? ... ??? ...)

x # b -> x

y # b -> y

x # y # b -> x # y # b # b = x # b # y # b -> x # y ....

?? defectiveness doesn't interfere here ???? ?? geometric interpretation of defective modules ??? ?? non-defective as defective with what sort of extra ... ???? .... mere property, but ... ??? ....

?? egger ... tensoring of modules as related to tensoring of vector spaces .... ??? .....

?? bialgebra homomorphism preserves multiplication and comultiplication ... ?? indiced functor on modules preserves "ordinary tensor product" ... while some adjoint of it preserves "convolution tensor product" ??? ... ??? ... ?? ... ?? try to straighten this out .... ???? .......