bialgebra abelian algebra algebra superdialgebra alternative algebra prealgebra algebra over a field pseudoalgebra division algebra linear algebra