>>106
(f(X))は部分環というよりイデアルだろう。Mは剰余環。