treatiseonalgebra00loomrich