In Q[t], define the equivalence relation ~ as f(t) ~ g(t) precisely when f(t) - g(t) is a multiple of t^2 - 5. We define the addition and multiplication of equivalence classes as [f(t)] + [g(t)] = [f(t) + g(t)] and [f(t)] * [g(t)] = [f(t) * g(t)]
(Assume: ~ is an equivalence relation...