I.2.5

2/3/2021

Another projective version of an affine thingy:

Yeah, the coordinate ring of P^{n} is the same as the coordinate ring of A^{n+1}, and the inclusion reversy stuff still
works the same, so, basically, same proof for (a).

And having done (a), part (b) follows from:

So we're done. Yes. That's it. That's the whole exercise.

So, ummmm, I'm actually going to leave it at that for today, because, as I alluded to in the last post, 2.6 is going to be a
gigantic fucking mess. This post is me giving myself a breather before that beast. Wanna take a peek at it? Okay,
here:

EWWWWW. TRANSCENDENCE DEGREES. EWWWWWW. The hint looks like it's holding your hand
through the proof, well, maybe it is, but I'm the type that needs to be princess carried through math.