Originally Posted by

**matt.qmar** Let $\displaystyle T$ be the set of continous functions on the reals $\displaystyle {f : R \rightarrow R}$

It's not hard to show that it forms a ring under "pointwise" addition and multiplication:

$\displaystyle (f+g)(x) = f(x) + g(x)$

$\displaystyle (fg)(x) = f(x)g(x)$

Now, Let $\displaystyle I = \{ f \in T : f(2) = 0\}$

I am trying to

i) Show that $\displaystyle I$ is an ideal in $\displaystyle T$.

ii) Describe T/I using the 1st isomorphism theorem.

Well, in i), I think that if we let $\displaystyle f \in I, g \in T$ then $\displaystyle (fg)(2) = f(2)g(2) = 0g(2) = 0$ so $\displaystyle fg \in I$ so it's an ideal? Also, it contains the 0 element and is closed under "subtraction".

and in ii), I need to think of a ring homomorphism from $\displaystyle T$ to some ring which has $\displaystyle I$ as the kernel, but I can't seem to think what that would be!!

Any help appreciated.... and if anyone could verify my reasoning in (i) that would be great!

Thanks!!