algebra over a ring that has multiplicative identity