I came across a theorem called Dorroh Extension Theorem while reading a textbook on ring theory. What the theorem essentially says is that any ring $R$ can be embedded in a ring $R^{\prime}$ with identity, i.e. there exists a subring $S^{\prime}$ of $R^{\prime}$ such that $R\cong S^{\prime}$. What I cannot understand is the following question.

Why does not this theorem simplify ring theory to the study of rings with identity?

The fastest answer that comes to my mind is that a subring of a ring is not necessarily a ring with identity. But is this the only reason? I'll be grateful for any help provided.

Edit: Proof of the Dorroh Extension theorem.

Consider $R\times\mathbb{Z}$. Define the operations as $(a,m)+(b,n)=(a+b,m+n)$ and $(a,m)(b,n)=(ab+an+mb, mn)$. Then $R\times \mathbb{Z}$ is a ring with identity $(0,1)$. And $R\times\{0\}$ is a subring of $R\times\mathbb{Z}$. Moreover $f:R\to R\times\{0\}$ given by $f(a)=(a,0)$ is an isomorphism. Hence the theorem "Any ring can be embedded in a ring with identity".

| cite | improve this question | | | | |
  • $\begingroup$ Please give a reference where Dorroh's extension theorem is explicited. $\endgroup$ – Jean Marie May 21 '17 at 4:56
  • 3
    $\begingroup$ @JeanMarie At this point, Janitha357 would presumably just be googling a resource which you can do just as well. The only thing Janitha357 can provide beyond that is verifying that it does correspond to what is in the book. Alternatively, you could ask Janitha357 to provide the exact statement of the theorem. $\endgroup$ – Derek Elkins left SE May 21 '17 at 5:12
  • 1
    $\begingroup$ @JeanMarie I will edit my question so that you can see the exact statement of the theorem and it's proof. $\endgroup$ – Janitha357 May 21 '17 at 5:21
  • 2
    $\begingroup$ @Janitha357 : I think it's the same reason why Steinitz's theorem doesn't simplify the study of fields to algebraically closed fields. Indeed, any ring can be embedded in a unitary ring, but there are properties of non unitary rings that are special to them and that you can't see when looking at the bigger unitary field in which it is embedded. See this answer I gave that shows that some properties are drastically different in non unital rings : math.stackexchange.com/questions/2194671/… $\endgroup$ – Maxime Ramzi May 21 '17 at 10:08
  • 2
    $\begingroup$ Check this answer: math.stackexchange.com/a/16171/133781 $\endgroup$ – Xam May 21 '17 at 17:32

I have seen the embedding given as an excuse for not studying rngs more than once, but never a convincing justification.

For one thing, one would expect a robust demonstration of how properties of a rng are or are not preserved through the Dorroh extension. But that never appears, and in fact few people know such properties of the extension, and quite frequently properties are not preserved. Furthermore, examples of interesting rng theory exist, so it is not cut and dry as one is led to believe.

So the case for dismissing the study of rngs is not very substantive in print. It would be interesting to see someone implement and give a rigorous implementation of what can be remedied using Dorroh extensions, though.

| cite | improve this answer | | | | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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