Searching left me hanging. One of my professors told me the definition using the topological properties was the first one but I cannot find any resources. Is that true? If not, how was it originally defined? References would be lovely. Best regards
0
Add a comment
|
3 Answers
$\begingroup$
$\endgroup$
3
Profinite groups were first called "Groups of Galois type", see J.P. Serre's book "Cohomologie Galoisienne" of $1964$. The term "profinite" comes from Serre (if I am not mistaken). Of course, some profinite groups have a much older history, e.g., already Hensel defined in $1910$ the $p$-adic integers during his studies of algebraic numbers.
As to the definition, a profinite group is a Hausdorff, compact, and totally disconnected topological group. The other (equivalent) definition, better adapted to the name "profinite", is, that a profinite group is a group which is isomorphic to the inverse limit of an inverse system of discrete finite groups.
answered Jul 15, 2013 at 19:08
-
2$\begingroup$ So is the theorem that a topological group is isomorphic to an inverse limit of finite discrete groups iff it is compact and totally disconnected also due to Serre? $\endgroup$ Jul 15, 2013 at 22:34
-
$\begingroup$ Interesting history point, but the result is implicit in the Peter-Weyl theorem? Whose application to compact topological groups was left implicit for a decade or so? I was once left pondering the remark of Dennis Sullivan that compact groups are the inverse limits of compact Lie groups, which is probably similarly folkloric. $\endgroup$ Jul 16, 2013 at 8:18
-
$\begingroup$ Perhaps more can be found in the letters of the correspondence between Serre and Grothendieck (1955-1957), where they discuss (among other things) inductive and inverse limits, "topological groups" and "homological algebra". Grothendieck writes: "some of this theorems have been proved umpteen times in all kinds of special cases". $\endgroup$ Jul 16, 2013 at 8:56
$\begingroup$
$\endgroup$
Tate was the first to study the cohomology of profinite groups. In his unpublished 1958 article (reprinted as Chapter VII of Lang's notes "Topics in the Cohomology of Groups"). He writes: "We introduce a new category of groups and a cohomological functor, obtained as limits from finite groups. A topological group G will be said to be of Galois type if it is compact, and if the normal open subgroups form a fundamental system of neighborhoods of the identity e." He later points out that "every group of Galois type is the inverse limit of its factor groups G/U taken over all open normal subgroups. Thus one often says that a Group of Galois type is profinite."
Serre's "Cohomologie Galoisienne" is the notes of his 1962-63 course. As Serre notes (end of Chapter I), "almost all the results of Sections 1,2,3,4 are due to Tate, who published nothing". At the end of Chapter II, Serre writes "The situation is completely analogous to that of Chapter I: almost all the results are due to Tate." Serre is often mistakenly credited with these results by careless readers.
$\begingroup$
$\endgroup$
1
See also W.Krull-Galoische theorie der unendlichen algebraischen erweiterungen-Mathematische Annalen,100,1928 The concept is there,maybee not the name
-
$\begingroup$ And also there in the work of Prüfer. $\endgroup$ Jul 17, 2013 at 5:13