power-associative algebra