Freedom Math Dance

I would like to tell here a story that runs over some 150 years of mathematics, around the following question: given a power series $\sum a_...

$\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 following reflexion came out of my irrepressible need to understand why the 3 double transpositions in $\mathfrak S_4$, together with th...

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

Sophia Wood (@fractalkitty) had the good idea to set up a #Mathober project: for each day of october, she proposes you to react to one word ...

I see that I finally arrive to an end of my journey in formalizing in Lean the simplicity of the alternating group in 5 letters or more, so ...

\( \def\supp {\operatorname{supp}} \) As explained in the previous post, I wanted to formalize the proof that the alternating group on 5 let...