abstract algebra pseudoalgebra alternative algebra algebra subalgebra hyperalgebra submultialgebra linear algebra non-associative algebra additive group