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
.