How were connections between different sorts of mathematical structures discovered?

116 Views Asked by At

The fundamental theorem of Galois theorem states that for a finite Galois field extension $E/F$, there is a one-to-one correspondence between the fields $K$ with $F\subset K\subset E$ and the subgroups of the Galois group $Gal(E/F)$ of the field extension $E/F$. I think this correspondence can be considered as an equivalence of categories if we consider the category of intermediate fields together with field homomorphisms fixing $E$ and the category of subgroups together with morphisms of corresponding $Gal(E/F)$-sets. (The details won't matter for my question.)

The Stone duality states that the category of Boolean rings is equivalent to the dual category of the category of zero-dimensional compact Hausdorff spaces.

There are many more one-to-one correspondences between different sorts of mathematical objects (Pontrjagin duality, Gelfand duality, ...).

My question isn't a precise mathematical one, but rather a soft-question: How on earth were such crazy correspondences discovered? Concerning the first example, I agree that both groups and fields are natural concepts to study, but I would never ever get the idea to conjecture that there is a correspondence between such-and-such groups and such-and-such fields, because fields and groups are rather different animals. Same with the second example. Rings are one thing, coming from algebra. Hausdorff spaces are quite another thing, coming from topology. How to even conjecture that there is a connection between the two?

I would be interested in rudimentary historic answers, but to me getting any clue on how one could have stumbled across these things matters more than historic correctness.

1

There are 1 best solutions below

0
On

A) The birth of the concept of group characters was somewhat "accidental". They were discovered through the factorization of ... determinants of (Cayley) group tables! Dedekind has played there a fundamental role. I wrote some time ago an answer about this issue here. See as well this very good reference.

$B_1$) The birth of Fourier Transform (and more generally other functional transforms) in the 1930s.... It wasn't evident to discover this kind of correspondence between multiplication and convolution just because the convolution operation hadn't received a full status ; one could even say that convolution has been co-discovered with Fourier Transform.

$B_2$) The birth of Discrete Fourier Transform (DFT), "co-discovered" by Numerical Analysts Cooley and Tuckey in the 1960s with an efficient algorithm for its computation, the Fast Fourier Transform (FFT), whose presence afterwards was found in Gauss works... It is a curious fact that many people, still now, are using FFT transform instead of DFT.