This particular piece of visual masterpiece is the closest to being the ultimate mixture of mathematics and art that I've ever seen in my life. The storytelling, the images, the examples, the fact that starting from a fun paradox for primary school 0 = 1 we end up discussing cutting edge research just make watching the video a touching and cosy, yet engaging and satisfying experience ❤❤ Huge congrats to Jeremiah Heller, Ivo and of course Elka! The suspense has more than paid off❤
please ignore comments trying to correct your content(why dont they create their video!), we want you to do this for fun! devoting time and putting effort into making video is already not easy, we dont want you to spending more efforts or create any mental stress, you dont have to be perfect and we still love your content!!!
Around 4:20, are you assuming that your flasque ring R is commutative? Unless P is a right module and M is a left module, I think we need R commutative for the tensor products to make sense. If I'm correct, then we have only shown that a commutative flasque ring must have vanishing K-theory. This is enough to set up the contradiction in argument that follows, but I thought it was worth pointing out anyway
We only gave an informal description. In the formal definition M is a bimodule which is finitely generated projective as a right module and the isomorphism between M and R+M is a bimodule isomorphism.