pseudoalgebra abstract algebra hypergroup linear algebraic group prealgebra bialgebra linear algebra algebraic group universal algebra algebrization