Mizalign

20 year old math, Computer/Electrical Engineering, Java twerp.

Cruncher of ice.

[HarbgyRacoonMan @HarveyRacoon]

OH MY GOD I FOUND IT

[Mizalign @Talzux]

Beryllium

[Mizalign @Talzux]

@IsomorphicPhi The divisibility relation is the pullback of the inclusion relation on ideals through the principle ideal map x |-> (x)

[Mizalign @Talzux]

@TonyTheLion2500 Now, let’s say J = Jac(R) then x is in every max ideal M, thus rx is in every max ideal too. So adding a unit, like 1, boots xr + 1 out of every maximal ideal, and consequently EVERY proper ideal (all within maximals by Zorn’s) so it must be a unit

[Mizalign @Talzux]

@TonyTheLion2500 Units can be characterized in a comm ring to lie outside of **every** proper ideal (as they generate the whole ring, prove this :3).

So if we have a proper ideal J, and x in J, then adding a unit u to x boots it out of the ideal, since otherwise (u + x) - x = u in J

[Mizalign @Talzux]

@h4wktuah @IMadeItUp Check the album cover for BANSHEE

[Mizalign @Talzux]

@SamuelMarquis_ PEAK

[Mizalign @Talzux]

@SamuelMarquis_ Please man I beg of you make more tracks like the end of Board Warp

[Mizalign @Talzux]

@SamuelMarquis_ HOLY SHIT FINALLY.

Also you really fucking cooked with the last minute of the song. Peak.

[Mizalign @Talzux]

@Rashid5890 Take the sqrt (order preserving) of Cauchy-Schwarz on R^n lol

[Mizalign @Talzux]

@Sponge_Gabe I don’t know who he is but Sebastian is a hot name so I’ll also partake in the ball huffing

[Mizalign @Talzux]

@SamuelMarquis_ Tensor product jumpscare

[Mizalign @Talzux]

@BarbaraFantechi @vaiter I’ll take a peak once I finish Jacobson I & II. Thank you!

[Mizalign @Talzux]

@BarbaraFantechi @vaiter I am somewhat familiar with manifolds, (co)tangent bundles and the functorial algebras (tensor, symmetric, exterior) algebras on them, but not a super rigorous formal knowledge. I am following Spivak soon once I finish Folland’s book

[Mizalign @Talzux]

@BarbaraFantechi @vaiter I mainly want to get a grasp of sheaves, schemes and specifically the (quasi)-coherent sheave end of things.

Thank you for your insight btw

[Mizalign @Talzux]

@BarbaraFantechi @vaiter Though I do find the Analytic/Algebraic GAGA stuff interesting, it’s a bit over my head since I am currently studying Functional Analysis and not “pure” complex analysis

[Mizalign @Talzux]

@BarbaraFantechi @vaiter Do you recommend Hartshorne for AG? I do have an interest in AG and particularly Abelian variety stuff but I swear asking people for AG recs starts localized civil wars in any context I ask in