Today homomorphism (resp. isomorphism) means what Jordan (1870) had called isomorphism (resp. holoedric isomorphism). How did the switch happen?

“Homomorphic” (and “homomorphism” as “property of being homomorphic”) are e.g. in de Séguier (1904, pp. 65–66) and the last edition of Weber (1912, p. 195). “Homomorphism” as map of groups is e.g. in Schur (1924, p. 192). But none of these sound like a first.

I asked this on hsm a week ago, but got no answer there.

  • 1
    Remark: the earliest uses site says 1935, but even in English this is predated by Pontrjagin (1934, p. 362), Tucker (1933, p. 196), and for algebra homomorphisms, Levitzki (1932, p. 382). – Francois Ziegler Sep 3 '17 at 21:46
  • People were still using isomorphism onto and isomorphism into for surjective resp. injective homomorphisms, for far too long (IMHO). I've always found this weird, but I guess they were just not up to date with the change terminology. – David Roberts Sep 3 '17 at 21:52
  • 1
    @DavidRoberts Indeed, e.g., van der Waerden’s Moderne Algebra (1930, p. 32) still laments the absence of stable terminology. – Francois Ziegler Sep 3 '17 at 22:11
  • Note that in the linked paper by Jordan, "group" means "permutation group", i.e., something which more or less means a set endowed with a subgroup of its group of permutations. Isomorphic means isomorphic as groups (not as permutation group). In particular when he says "Problem: determine all groups isomorphic to a given group $G$", it more or less means "classify all (faithful) actions of $G$ [the underlying group, in the modern sense]". – YCor Sep 3 '17 at 22:14
up vote 48 down vote accepted

I found this footnote on page 195 of Fricke and Klein's Vorlesungen über die Theorie der automorphen Functionen (1897):

Translation:

The term "homomorphic" seems more appropriate than the previously$^\ast$ used "isomorphic", because it refers not to "equality" but to "similarity" of two groups. The term "isomorphism" will therefore from now on be used in the sense of "1-to-1 homomorphism".

$^*$l.c. = loco citato — this seems to refer to Fricke and Klein's Vorlesungen über die Theorie der elliptischen Modulfunctionen (1890).

  • 7
    Thank you. I now see that Frobenius (1902, p. 456) and de Séguier (1902, p. 257) also credit Felix Klein — despite Bourbaki (1981, p. VIII.462) attributing the word to Frobenius. – Francois Ziegler Sep 3 '17 at 20:30
  • 11
    Moreover Frobenius points to Math. Ann. 41 (1892) where papers of (Klein’s student) Ritter and Fricke already make the switch, attributing it to Klein in his lectures: pp. 22, 466. – Francois Ziegler Sep 3 '17 at 21:09

Your Answer

 
discard

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.