Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am working on this question and I was wondering if I was on the right track.

It states: "Let $A$ be a ring. Prove that $A[x]/\langle x\rangle$ is isomorphic to $A$.

So am I on the right track in saying that I must check to see if the sum of $A[x]/\langle x\rangle$ goes to the sum of $A$, and the product of $A[x]/\langle x\rangle$ goes to the product of $A$?

share|improve this question
What does "goes to" mean? –  Chris Eagle Dec 13 '12 at 17:51
@RedPotatoe,You wrote "Prove that A[x]/ is isomorphic to A"...something seems to be missing, or else the claim's false. –  DonAntonio Dec 13 '12 at 17:51
Are you asking about the definition of ring isomorphism? A ring isomorphism is a bijective ring homomorphism. –  Alex B. Dec 13 '12 at 17:53
I believe <x> is the principal ideal generated by the element x. Is that correct? So A[x]/(principal ideal generated by x) is isomorphic to A. –  RedPotatoe Dec 13 '12 at 17:58
Well, technically you should say that $x$ is an indeterminate; i.e. a generator of the free $A$-algebra on one variable. Otherwise if $x\in A$ then the result is not true. –  Jason Polak Dec 13 '12 at 18:01

1 Answer 1

up vote 8 down vote accepted

Define $f: A[x] \to A$ as $p(x) \mapsto p(0)$. The kernel of this map is $\langle x \rangle$. Hence by the first isomorphism theorem $A[x]/ \langle x \rangle \cong A$.

It remains to be verified that $f$ is indeed a ring homomorphism that is, that the "product goes to the product" and the "sum goes to the sum" as you say, so you are on the right track. You should also convince yourself that $\mathrm{ker}f = \langle x \rangle$ and $\mathrm{im}f = A$.

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.