On the theorem of Gelfand–Mazur. New blog post on Freedom Math Dance

I discuss several elementary proofs of this theorem that I learned by browsing at the online Bourbaki archives. They are due to Tornheim and Witt.

https://freedommathdance.blogspot.com/2026/04/on-theorem-of-gelfand-mazur.html

#math #bourbaki #FreedomMathDance

On the theorem of Gelfand-Mazur

In its classical statement, the theorem of Gelfand-Mazur is the following: Theorem 1 . — Let $K$ be a complete normed field which is an ext...

🤔📚🎶 Behold the blog that promises a "Freedom Math Dance"—a mystical journey where numbers frolic with #unicorns and #philosophy tries (and fails) to be interesting. The highlight? A poll on Mastodon that'll change the world as much as your last existential crisis. 🙄✨
https://freedommathdance.blogspot.com/2025/01/on-numbers-and-unicorns.html #FreedomMathDance #MastodonPoll #ExistentialCrisis #HackerNews #ngated
On numbers and unicorns

Reading a book on philosophy of mathematics, even if it's written lightly, such as that one, Why is there philosophy of mathematics at all? ...

#FreedomMathDance
New blog post : Associated prime ideals

I discuss the first results in the theory of associated prime ideals of modules over arbitrary rings. You'll see that a small variation in the definition can simultaneously free us of hypotheses and make the proofs simpler…

https://freedommathdance.blogspot.com/2023/02/associated-prime-ideals.html

Associated prime ideals

$\gdef\ann{\mathop{\mathrm{ann}}} \gdef\Ass{\mathop{\mathrm{Ass}}}\gdef\Spec{\mathop{\mathrm{Spec}}}$ I would like to go back to a quite del...

The Klein group, the centralizer of a permutation, and its relation with the alternating group.

New blog post at #FreedomMathDance

#algebra #Vierergruppe #Klein #signature #permutation #combinatorics

https://freedommathdance.blogspot.com/2023/01/the-klein-group-and-centralizer-of.html

The Klein group, the centralizer of a permutation, and its relation with the alternating group

The following reflexion came out of my irrepressible need to understand why the 3 double transpositions in $\mathfrak S_4$, together with th...

Blog post on #FreedomMathDance:
On positive real numbers, the choice of a the positive square root gives rise to a multiplicative square root: one has √(𝑎𝑏)=√𝑎·√𝑏 . In this blog post, I discuss (part of) a paper by William Waterhouse about when such multiplicative square roots do exist, and when they don't.

https://freedommathdance.blogspot.com/2022/12/multiplicative-square-roots.html

Multiplicative square roots

I will just discuss briefly the first section of a paper by William Waterhouse (2012), “ Square Root as a Homomorphism ” ( American Mat...