Another projective version of an affine thingy:



Yeah, the coordinate ring of Pⁿ is the same as the coordinate ring of Aⁿ⁺¹, 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.