I.3.17a_ERRATA

5/19/2021

I found my error. It took a long time but I found my error. Everything is fine, I
think, up till here:

Now lets plug in P into (1)

This is where the ☆*:.｡. magic .｡.:*☆ BS begins. Let's look at equation (1):

0 | = h^{n} + c_{
n-1}h^{n-1} +
+ c_{
1}h + c_{0} | (1) |

The error is definitely subtle for an amateur like me. When I "plug in P" into this equation, what exactly am I doing? I'm treating both sides of this equation as functions.

Now, for elements of S = S(Y )

So what does the equality in (1) mean? It means that if you cross multiply the elements, they're equal in S, at which point we can treat them like functions. But this cross-multiplication is precisely what I did in an earlier step, to get to equation (2):

0 | = (f∕g)^{n} + c_{
n-1}(a∕b)(f∕g)^{n-1} +
+ c_{
1}(a∕b)^{n-1}(f∕g) + c_{
0}(a∕b)^{n} | (2) |

And I already went over what happens when you plug in P in here. In particular: c

The actual proof is "easy". Remember that S(Y ) = k[x,y]. That is integrally closed And the localization S(Y )

I knew I had to fix this error before moving on, or else the entire rest of the exercise (and, in fact, the next one as well) would have been screwed.

By the way,

A new week is upon us, let's see how we do.

We're midway through. Let's check the performance meter to see how we're doing:

Phew. *Wipes forhead*. Just barely made it out of *Bonk* x3 thanks to this errata. I am still in the sub-rub a dub dub hub, however (give me your strength, commie subs). I'd like my next post to be the rest of the exercise in one swoop, rather than having to split it up into letter-by-letter parts, but we'll see.