Thanks ... but I still need some clarification ...
My thinking ... and then some of my issues/problems follow ...
Following an example I found in Gallian (page 257), first consider where is the ring of polynomials with real co-efficients.
But is a Euclidean Domain and hence possesses a Division Algorithm, so we may write:
where r(x) = 0 or r(x) has degree less than 2.
so we can write r(x) = ax + b where a, b
= since the ideal absorbs the term
Now, by a similar argument we can demonstrate that
which makes the two rings and look to have the same structure?
One of my questions is how exactly are these two ring structures different?
A second worry is that the above demonstration works because is a Euclidean Domain ... so the same argument as above does not apply to
because is not a Euclidean Domain and hence we cannot use the Division algorithm.
How do we rigorously demonstrate that
Can someone please help clarify the above problems and issues?
As for how the structures are different: let's look at the and . The first one introduces a non-trivial element which squares to zero. There is no such element in the second one, which introduces a square root for . It is easy to see that this second field is actually . If you try to write an ring isomorphism from the first ring to the second ring, you need to send this to a nilpotent element in , but there is no such element. As such, the rings are completely different.
Sorry to be slow but what is exactly?
Further you say that "one introduces a non-trivial element which squares to zero" - but the elements of are cosets.
Do you mean is the coset ? Then you would bbe saying that every element of this like, for example is nilpotent?
Please correct me if necessary.
It is true that every element of are cosets, but I was writing a ring homomorphism from that ring to . If you wish, does correspond to , in which case your third sentence is correct.