I.3.9

4/27/2021

Hello, Hartshorners. Last time I made a joke about the exercise being short (...yes, that was the joke, initially), but turns out: this one is even tinier. I ain't complaining. The only other gag would be to do the whole exercise in a tiny font. Hahahaha Err. STOP. DON'T SHRINK ME. I CHECKED THE BOTTLE. IT DIDN'T SAY POISON. AHHHHHH, I'M SHUTTING UP LIKE A TELESCOPE. Now i'm a smol holeinmyheart :<

Well, I guess you gotta do what you gotta do. Big or smol, the hart's gotta be shorned. As they say,3.4 tells us that X ≃ Y , so we just have to show that S(X) ≃ S(Y ). Now S(X) = k[r,s], and S(Y )? Well, instead of making the same mistake that I did in 3.1c , I'm going to actually look back at previous problems, and realize that in 3.1c itself, I discuss how Y is actually Z(xz - y²). Hence, S(Y ) = k[x,y,z]∕(xz - y²)

So we want to show k[x,y,z]∕(xz -y²) !
≃ k[r,s]. Suppose for contradiction that they were isomorphic. then we would have a surjective morphism ϕ : k[x,y,z] → k[r,s] whose kernel is (xz - y²). So let's say this morphism sends

x	f
y	g
z	h

Then we must have

ϕ(xz - y²)	= 0
fh - g²	= 0
fh = g²

Now, my little Hartshorners (since we are, indeed, little at the moment), this is one of those lovely points in time where as I am writing the post, I realize that I have a logic gap. I wanted to conclude that since k[r,s] is a UFD, we must have f = g = h... but this only applies if f,g,h were irreducible.

Errr... let's pass over to the quotient. ϕ induces an isomorphism ψ : k[r,s] → k[x,y,z]∕(xz - y²). Now, uh, my little reader. If you can believe that x,y,z are still irreducible in the quotient, then by virtue of being an isomorphism, so do f,g,h.... Post so small that no one will notice THAT I'M LEAVING THIS AS AN EXERCISE TO THE READER, MUAHAHAHAHAHAHA... so... f = g = h, rite. Now the contradiction comes up. that would mean that ψ(f) = ψ(g) = ψ(h) which implies that x = y = z, clearly a contradiction. Dun.

So that's today's exercise my little hartshorned babbies. Inb4 >is this a hartshorned post for ants Inb4 this is a bad gag. More like the way your mom was gagging on me last night was bad OOOOOOOOOHHHHH. Hahaha, but seriously. Since we're surfing in smoltext, I guess this is a chance for me to just say whatever. shitlickfuckanusballs. Hmm, that's a good start. Uhhhh, LiterallyHifumi, if you're reading this, hi. That's it. I just wanted to say hi. By the way, I'm now using Youtube links in my posts instead of invidious links because the latter doesn't work half the time. Are you guys cool with that? Also, as some of you may have noticed, I got a light theme fetish and applied it to the front page, but I can't apply it to the Hartshorned blog because the inline images were generated with the dark pink background color.... So hartshorned is gonna stay dark. THE HART STAYS DARK. By the way, maybe now would be a good time to make a confession. Okay. Here it goes. I love you, LiterallyHifumi jk. JK. JUST KIDDING. THAT'S A JOKE. I actually don't love anyone. I don't deserve love. Yes. When people ask me "Why don't you have a girlfriend?" I don't awkwardly stutter my way through the conversation and get defensive, unlike you pathetic, socially awkward losers. Instead, I stay calm, look to the side, and say "I don't deserve love." They're always impressed, speechless. Sometimes they even clap, because it's so beautiful, the way I say it. Sometimes they even tear up, actually. They're so emotionally moved by my words that they ask me if I've ever thought of becoming an actor or a writer, or maybe even a philosopher. And I just look down, smile, and reply: "...Mathematician." Also, speaking of LiterallyHifumi (incredible transition), maybe I should try that sideways text thing they mentioned in a blog post. Gimme a sec *copies CSS from their post*.

Did it work? OMG IT'S WORKING? WEEEEEEEEEEEEEEEEEEEEEEEEE EEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEE (as long as your browser supports it) oh no. oh no no no. I just had the idea ever, and I'm going to try it, and you're going to watch me fail. LiterallyHifumi, I'm about to use your educational post for a failed meme attempt. Here goes nothing.

This is supposed to be the cap of the O but God knows where it will go

Oh, almost forgot. Here's the actual confession: Everytime I post, I think "Well, this is the one."

"This is going to be the one that makes my readers turn against me"

Well, then, surely it's going to be this failed LOL that does me in. The failed "LOL" will be [cont]

[cont] the last straw for you, eh? Yes, behold: the final insult...

I could murder your kid, steal your waifu, cut off your arm. But this failed "LOL" will be the [cont]

[cont] will be the one that got away--I mean the crime that went too far. Well, you want an "LOL"???

THEN LAUGH, READER. LAUGH AT THIS. LOL AT THIS LOL LOLOLOLOLOLOLOLO

← I.3.8 I.3.10 →