algebra (ring theory)