This is the story of Johan Commelin and myself working through the first sections of Hartshorne almost 10 years ago (nothing creates a bond like reading Hartshorne together…). This post is about problem I.1.1(b), which is essentially the following:
Exercise. Let be a field. Show that and are not isomorphic.
In my next post, I will explain why I’m coming back to exactly this problem. There are many ways to solve it, for example:
Solution 1. The -algebra represents the forgetful functor , whereas represents the unit group functor . These functors are not isomorphic, for example because the inclusion induces an isomorphism on unit groups, but not on additive groups.
A less fancy way to say the same thing is that all -algebra maps factor through , while the same evidently does not hold for -algebra maps .
However, we didn’t like this because it only shows that and are not isomorphic as -algebras (rather than as rings). Literal as we were (because we’re undergraduates? Lenstra’s influence?), we thought that this does not answer the question. After finishing all unstarred problems from section I.1 and a few days of being unhappy about this particular problem, we finally came up with:
Solution 2. The set is closed under addition, whereas is not.
This shows more generally that and are never isomorphic as rings for any fields and .